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 */