Jump to content

User:Luctor IV/vector.css

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Luctor IV (talk | contribs) at 12:58, 10 April 2014 (Created page with '/* Overriding the typography refresh - see https://www.mediawiki.org/wiki/Typography_refresh To use it, copy the following code to Special:Mypage/vector.css....'). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
/*
Overriding the typography refresh - see https://www.mediawiki.org/wiki/Typography_refresh
To use it, copy the following code to [[Special:Mypage/vector.css]].
Alternatively, choose a skin other than Vector in your preferences.
Works ok for me with Firefox 27.0.1 and Ubuntu 12.04 LTS, but has not been tested
in different environments. There may also still be glitches of one sort or another.
Let me know if you have any suggestions for improving it.
*/
/* Fonts and colours */
* {
	font-family: sans-serif;
}
div#content h2 {
	font-family: sans-serif !important;
}
div.mw-geshi div, div.mw-geshi div span, div.mw-geshi div pre, span.mw-geshi, span.mw-geshi span, pre.source-css, pre.source-css span, pre.source-javascript, pre.source-javascript span, pre.source-lua, pre.source-lua span {
	font-family: monospace !important;
	-moz-tab-size: 4;
}
div#content {
	font-size: 93%;
}
h1#firstHeading {
	font-size: 1.6em !important;
}
div#content.mw-body {
	margin-left: 11.8em;
	color: #000;
}
textarea#wpTextbox1,
pre {
	font-family: monospace;
}
 
/* Font size */
code a {
	font-family: monospace;
	font-size: 130%;
}
pre {
	font-size: 130%;
}
div#content h3 {
	font-size: 132% !important;
}
div#content h4 {
	font-sizeː 116% !important;
}
div#content h5 {
	font-size: 100% !important;
}
div#content h6 {
	font-size: 80% !important;
}
td.diff-deletedline,
td.diff-addedline,
td.diff-context {
	font-size: 85%;
}