// JavaScript Document
function aumentarFonte() {
        document.getElementById("materia").style.fontSize = "16px";
}
function normalFonte() {
        document.getElementById("materia").style.fontSize = "14px";
}
function diminuirFonte() {
        document.getElementById("materia").style.fontSize = "12px";
}