Utente:Gpmat/vector.css
Questa pagina definisce alcuni parametri di aspetto e comportamento generale di tutte le pagine. Per personalizzarli vedi Aiuto:Stile utente.
Nota: dopo aver salvato è necessario pulire la cache del proprio browser per vedere i cambiamenti (per le pagine globali è comunque necessario attendere qualche minuto). Per Mozilla / Firefox / Safari: fare clic su Ricarica tenendo premuto il tasto delle maiuscole, oppure premere Ctrl-F5 o Ctrl-R (Command-R su Mac); per Chrome: premere Ctrl-Shift-R (Command-Shift-R su un Mac); per Konqueror: premere il pulsante Ricarica o il tasto F5; per Opera può essere necessario svuotare completamente la cache dal menù Strumenti → Preferenze; per Internet Explorer: mantenere premuto il tasto Ctrl mentre si preme il pulsante Aggiorna o premere Ctrl-F5.
.citation-comment {display: inline !important;} /* show all Citation Style 1 error messages */
/* 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%;
}
div.thumbcaption {
font-size: 90%;
}
div.mw-warning-with-logexcerpt ul li {
font-size: 88%;
}
h1#firstHeading {
margin-bottom: 0 !important;
}