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