in content/references/java-chassis/1.x/gitbook/gitbook-plugin-fontsettings/fontsettings.js [49:52]
function setThemes(themes) { THEMES = themes; updateButtons(); }