Thread:Extension talk:Header Tabs/Change in 0.7.0/reply (4)

Hello Sergey and kgh, I encountered the same problem. In my situation however the changed font in the edit screen only occurred in combination with the new vector style sheet. When I changed my preferred skin back to monobook the problem was gone. Note that in mw16 it is now possible to set a user preferred font for the edit screen, setting this to "monospaced" did change it to courier but it showed in a very small font size.

This issue might be related to the vector skin more than this extension. I have a temporary fix in Mediawiki:Vector.css in order to let the pre, code and tt tagged text show in normal font size instead of very small. This might be a related issue. This is the vector.css repair code:

tt, code, pre { font-family: monospace, sans-serif; }

This is as far as I can add to this issue. Hope this info will help the problem solving...