19,582
edits
MediaWiki:Common.css: Difference between revisions
whoops, missed that this was a fix for css and js pages, not just Geshi
(paring down fixes to what I know we need) |
(whoops, missed that this was a fix for css and js pages, not just Geshi) |
||
| Line 789: | Line 789: | ||
.wikiEditor-ui-toolbar .section-help .page-table td.syntax { | .wikiEditor-ui-toolbar .section-help .page-table td.syntax { | ||
font-family: monospace, "Courier New"; | font-family: monospace, "Courier New"; | ||
} | |||
/* Fix so <syntaxhighlight> tags and .css and .js pages get normal text size. | |||
[[Bugzilla:26204]] */ | |||
div.mw-geshi div, | |||
div.mw-geshi div pre, | |||
span.mw-geshi, | |||
tt, | |||
code, | |||
pre { | |||
font-family: monospace, "Courier New" !important; | |||
font-size:100%; | |||
} | } | ||