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