This page contains a CSS stylesheet which may be used to change the appearance of the wiki.
/*
* Minimal markup, for that classic Wiki look.
*/
@import '/translations.css';
div.wikiheader a, div.wikifooter a, div.wikirc a {
text-decoration: none;
}
div.wikiheader a:hover, div.wikifooter a:hover, div.wikirc a:hover {
text-decoration: underline;
}
h1 {
border-bottom: medium solid;
}
table.wikidiffold { background-color: #FFAF9F; }
table.wikidiffnew { background-color: #CFFFCF; }
table.wikitable {
border-collapse: collapse;
border: 1px solid;
}
td.wikiborderlesstable {
padding-right: 2em;
}
td.wikitable {
padding-left: 1ex;
padding-right: 1ex;
border: 1px solid;
border-color: #000;
}
textarea {
font-family: monospace
}
span.topsearch {
float: right;
}
div.wikitestwarning {
background-color: #f00;
color: #fff;
text-align: center;
}
.diff-header { font-weight: bold } /* headers displaying paragraph indices */
.diff-para-ident { } /* unchanged complete paragraphs */
.diff-span-ident { } /* unchanged words in changed paragraphs */
.diff-para-changed { } /* changed paragraphs */
.diff-para-added { color: green } /* added complete paragraphs */
.diff-span-added { color: green } /* added words in changed paragraphs */
.diff-para-deleted { color: red } /* deleted complete paragraphs */
.diff-span-deleted { color: red } /* deleted words in changed paragraphs */