* 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: #efefef; }
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 */