function setBodyFontSize() {
    if (screen.width <= 800) {
        document.body.style.fontSize = "10pt";
    }
}