At least in the sidebar. Not sure if it's possible for the toolbar.
(In reply to Paul Rouget [:paul] from comment #0) > At least in the sidebar. Not sure if it's possible for the toolbar. IMHO, it is more disturbing on the toolbar, I expect all buttons to respect my native GUI preferences. (I understand how it can be difficult to do with the toolbar(s))
variables.css --theme-code-font-size: 11px; defines this What should it be instead?
You need to log in before you can comment on or make changes to this bug.