Utente:Gianfranco/vector.css: differenze tra le versioni

Versione delle 11:59, 6 apr 2014

Versione attuale delle 13:50, 30 mar 2021

(6 versioni intermedie di uno stesso utente non sono mostrate)

Riga 1:

/*

body { font-family: Verdana; text-align:justify; }

questa riga è solo per mia preferenza personale, il Verdana stanca meno la vista e consente una lettura più veloce;

*/

body { font-family: Verdana,Arial; text-align: justify; }

h2#mw-previewheader,

/* da qui in avanti dovrebbe essere utile */

div#mw-usercsspreview strong {

h1,h2,h3,h4 {

font-family: sans-serif !important;

colorfont-family: #c00Arial !important;

}

div#content #toc h2, div#content .toc h2,

h1#firstHeading {

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;

font-family: sans-serifArial !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%;

}