MediaWiki:Vector.css: difference between revisions
Jump to navigation
Jump to search
Content deleted Content added
make {was-wotd} behave like other RHS templates |
add pre.lua.source-lua to the list of selectors for which we work around small font sizes in some browsers. |
||
Line 10: | Line 10: | ||
pre.css.source-css, /* MediaWiki:*.css, User:*.css */ |
pre.css.source-css, /* MediaWiki:*.css, User:*.css */ |
||
pre.javascript.source-javascript, /* MediaWiki:*.js, User:*.js */ |
pre.javascript.source-javascript, /* MediaWiki:*.js, User:*.js */ |
||
pre.lua.source-lua, /* Module:* */ |
|||
div.mw-geshi pre, /* source enclose="pre" */ |
div.mw-geshi pre, /* source enclose="pre" */ |
||
div.mw-geshi div, /* source enclose="div" */ |
div.mw-geshi div, /* source enclose="div" */ |
Revision as of 05:00, 21 February 2013
/* CSS placed here will affect users of the Vector skin */
/* remove one blank line (1 em) between the "personal tools" and the tabs */
#left-navigation {top: 1.5em;}
#right-navigation {margin-top: 1.5em;}
/* Could also use #mw-page-base below */
#mw-head-base {height: 4em;}
/* workaround for small font sizes in some browsers: see https://bugzilla.wikimedia.org/show_bug.cgi?id=23708 */
pre.css.source-css, /* MediaWiki:*.css, User:*.css */
pre.javascript.source-javascript, /* MediaWiki:*.js, User:*.js */
pre.lua.source-lua, /* Module:* */
div.mw-geshi pre, /* source enclose="pre" */
div.mw-geshi div, /* source enclose="div" */
span.mw-geshi /* source enclose="none" */ {
font-family: monospace, sans-serif !important;
}