/*
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 */
html, body {
font-family: sans-serif; /* This is only necessary on mediawiki.org; if you
are on another wiki, it's probably better to remove it. */
}
div#content h1, /* h1 = titel; nodig hier? */
div#content h2, /* h2 = eerste header; formaat wordt hieronder bepaald */
div#content #firstHeading {
font-family: sans-serif; /* Lettertype sans-serif wordt hier ingesteld. This should only be necessary on Wikimedia wikis.
Third-party MediaWiki apparently doesn't have serif headers, so you can remove
this for a third-party wiki. */
}
div#content.mw-body {
color: #000;
}
/* Font size */
div#content.mw-body {
margin-left: 11em;
}
#bodyContent {
font-size: 0.8em;
}
div#content h1,
div#content #firstHeading {
font-size: 1.6em; /* formaat van titel */
margin-bottom: 0.1em;
}
div#content h2 {
font-size: 116%; /* formaat van eerste header */
}
div#content h3 {
font-size: 110%; /* formaat van eerste subheader */
}
div#content h4 {
font-size: 104%;
}
div#content h5 {
font-size: 100%;
}
div#content h6 {
font-size: 94%;
}
#bodyContent, .mw-body-content, div#content dd, div#content ol, div#content ul, td.diff-context {
line-height: 1.5em !important;
}