private void decreaseGrammarFontSizeButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_decreaseGrammarFontSizeButtonActionPerformed
        decreaseFontSizes();
    }//GEN-LAST:event_decreaseGrammarFontSizeButtonActionPerformed