private void setEditorFontSizes(float fontSize) {
        Font currentFont = grammarTextPane.getFont();
        Font newFont = currentFont.deriveFont(fontSize);

        grammarTextPane.setFont(newFont);
        initialisationTextPane.setFont(newFont);
        initialisationOutputTextArea.setFont(newFont);
    }