User:Turdas/vector.css

From Wiktionary, the free dictionary
Jump to navigation Jump to search

Note: You may have to bypass your browser’s cache to see the changes. In addition, after saving a sitewide CSS file such as MediaWiki:Common.css, it will take 5-10 minutes before the changes take effect, even if you clear your cache.

  • Mozilla / Firefox / Safari: hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (Command-R on a Macintosh);
  • Konqueror and Chrome: click Reload or press F5;
  • Opera: clear the cache in Tools → Preferences;
  • Internet Explorer: hold Ctrl while clicking Refresh, or press Ctrl-F5.

This CSS is applied for Turdas to every page, when User:Turdas is using the Vector skin.


/*
Overriding the typography refresh - see https://www.mediawiki.org/wiki/Typography_refresh
To use it, copy the following code to [[Special:Mypage/vector.css]].
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;
}
h2#mw-previewheader,
div#mw-usercsspreview strong {
	font-family: sans-serif !important;
	color: #c00 !important;
}
div#content #toc h2, div#content .toc h2,
h2.diff-currentversion-title {
	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%;
}
div#content h4 {
	font-size: 116%;
}
div#content h5 {
	font-size: 100%;
}
div#content h6 {
	font-size: 80%;
}
td.diff-deletedline,
td.diff-addedline,
td.diff-context {
	font-size: 85%;
}