Järjestelmäviesti:Gadget-Typografiamuutos 20140403 fix.css
Siirry navigaatioon
Siirry hakuun
Huomautus: Selaimen välimuisti pitää tyhjentää asetusten tallentamisen jälkeen, jotta muutokset tulisivat voimaan.
- Firefox ja Safari: Napsauta Shift-näppäin pohjassa Päivitä, tai paina Ctrl-F5 tai Ctrl-R (⌘-R Macilla)
- Google Chrome: Paina Ctrl-Shift-R (⌘-Shift-R Macilla)
- Internet Explorer ja Edge: Napsauta Ctrl-näppäin pohjassa Päivitä tai paina Ctrl-F5
- Opera: Paina Ctrl-F5.
/*
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.
Kopioitu sivulta: https://www.mediawiki.org/wiki/User:Cathfolant/typographyrefreshoverride.css
*/
/* 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:99%;
}
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%;
}
div.thumbcaption {
font-size: 90%;
}
div.mw-warning-with-logexcerpt ul li {
font-size: 88%;
}
h1#firstHeading {
margin-bottom: 0 !important;
}