93ea19f567
Andrew Stacey reminded me that this bug https://bugzilla.mozilla.org/show_bug.cgi?id=449396 is still unfixed. But it's easy to work around...
514 lines
8.3 KiB
CSS
514 lines
8.3 KiB
CSS
body {
|
|
background-color:#FFF;
|
|
color:#333;
|
|
font-family:Verdana, Arial, Helvetica, sans-serif;
|
|
font-size:1em;
|
|
line-height:1.3em;
|
|
}
|
|
|
|
#Container {
|
|
margin:0 10px;
|
|
text-align:center;
|
|
}
|
|
|
|
#Content {
|
|
border-top:none;
|
|
margin:auto;
|
|
padding:0.3em;
|
|
text-align:left;
|
|
width:100%;
|
|
max-width:55em;
|
|
}
|
|
|
|
a:visited {
|
|
color:#555;
|
|
}
|
|
|
|
h1,h2,h3,h4,h5,h6 {
|
|
color:#333;
|
|
font-family:georgia, verdana, sans-serif;
|
|
}
|
|
|
|
h1 {
|
|
font-size:200%;
|
|
}
|
|
|
|
h2 {
|
|
font-size:173%;
|
|
}
|
|
|
|
h3 {
|
|
font-size:144%;
|
|
}
|
|
|
|
h4 {
|
|
font-size:120%;
|
|
}
|
|
|
|
h5,h6 {
|
|
font-size:100%
|
|
}
|
|
|
|
h1#pageName {
|
|
line-height:1em;
|
|
margin:0.2em 0 0.2em 0;
|
|
padding:0;
|
|
}
|
|
|
|
h1#pageName small {
|
|
color:#444;
|
|
font-size:35%;
|
|
line-height:1em;
|
|
padding:0;
|
|
}
|
|
|
|
#svg_logo {
|
|
float:left;
|
|
margin:.5em .25em 0 -.625em;
|
|
width:1.5em;
|
|
height:1.625em;
|
|
}
|
|
|
|
a.nav,a.nav:link,a.nav:visited {
|
|
background-color:#FFF;
|
|
color:#000;
|
|
}
|
|
|
|
table {
|
|
border:double #000;
|
|
border-collapse:collapse;
|
|
}
|
|
|
|
td {
|
|
border:thin solid #888;
|
|
}
|
|
|
|
li {
|
|
margin-bottom:0.5em;
|
|
}
|
|
|
|
.newWikiWord {
|
|
background-color:#DDD;
|
|
}
|
|
|
|
.newWikiWord a:hover {
|
|
background-color:#FFF;
|
|
}
|
|
|
|
.deleteWikiWord {
|
|
background-color:#FCC;
|
|
border: 3px solid blue;
|
|
padding: 2px;
|
|
}
|
|
|
|
.deleteWikiWord:hover, .deleteWikiWord a:hover {
|
|
background-color:#F88;
|
|
}
|
|
|
|
|
|
form#navigationSearchForm {
|
|
display:inline;
|
|
}
|
|
|
|
form#navigationSearchForm input {
|
|
font-size:80%;
|
|
}
|
|
|
|
.navigation {
|
|
color:#555;
|
|
font-size:90%;
|
|
margin-top:0.3em;
|
|
}
|
|
|
|
.navigation a:hover {
|
|
background-color:#000;
|
|
color:#FFF;
|
|
text-decoration:none;
|
|
}
|
|
|
|
.navigation a {
|
|
color:#000;
|
|
font-weight:bold;
|
|
}
|
|
|
|
.navigation small a {
|
|
font-size:90%;
|
|
font-weight:normal;
|
|
}
|
|
|
|
.navOn {
|
|
color:#444;
|
|
font-weight:bold;
|
|
text-decoration:none;
|
|
}
|
|
|
|
div.help {
|
|
font-family:verdana, arial, helvetica, sans-serif;
|
|
font-size:75%;
|
|
}
|
|
|
|
div.inputBox {
|
|
background-color:#EEE;
|
|
font-family:verdana, arial, helvetica, sans-serif;
|
|
font-size:80%;
|
|
margin-bottom:1.5em;
|
|
padding:0.3em;
|
|
}
|
|
|
|
blockquote {
|
|
display:block;
|
|
font-size:90%;
|
|
font-style:italic;
|
|
line-height:1.5em;
|
|
margin:0 0 1.5em;
|
|
padding:0 2.5em;
|
|
}
|
|
|
|
pre {
|
|
background-color:#DDD;
|
|
font-size:90%;
|
|
overflow:auto;
|
|
padding:1em;
|
|
}
|
|
|
|
ol.setup {
|
|
font-family:georgia, verdana, sans-serif;
|
|
font-size:110%;
|
|
margin-top:1em;
|
|
padding-left:1.5em;
|
|
}
|
|
|
|
.byline {
|
|
color:#666;
|
|
font-size:.8em;
|
|
font-style:italic;
|
|
margin-bottom:1em;
|
|
padding-top:1px;
|
|
}
|
|
|
|
p.show_diff {
|
|
background: #eee;
|
|
padding: 3px;
|
|
border: 1px solid silver;
|
|
font-size:.85em;
|
|
}
|
|
|
|
span.webName {
|
|
font-size:.5em;
|
|
}
|
|
|
|
span.views, span.linked {
|
|
font-size:.85em;
|
|
}
|
|
.views a, .linked a {
|
|
font-weight: normal
|
|
}
|
|
span.revisions {
|
|
font-size:.95em
|
|
}
|
|
|
|
#allPages, #wantedPages {
|
|
float: left;
|
|
width: 280px;
|
|
}
|
|
#allPages {
|
|
margin-right: 30px;
|
|
}
|
|
#allPages h2, #wantedPages h2 {
|
|
font-size: 1.2em;
|
|
}
|
|
|
|
.pageType {
|
|
font-size: .75em;
|
|
font-style: italic;
|
|
}
|
|
|
|
p.pageStats, span.unlock {
|
|
font-size: .85em;
|
|
}
|
|
|
|
.diffdel,del.diffmod, .diffdel *, del.diffmod * {
|
|
background-color:#FAA;
|
|
text-decoration:line-through;
|
|
}
|
|
|
|
.diffins,ins.diffmod, .diffins *, ins.diffmod * {
|
|
background-color:#AFA;
|
|
text-decoration:underline;
|
|
}
|
|
|
|
.diffmod, .diffmod * {
|
|
border: 2px solid #FE0;
|
|
}
|
|
|
|
#footer {
|
|
color:#666;
|
|
font-size:.75em;
|
|
font-style:italic;
|
|
line-height:1.2em;
|
|
padding-top:2em;
|
|
text-align:right;
|
|
}
|
|
|
|
#footer a:link,#footer a:visited {
|
|
color:#777;
|
|
font-style:italic;
|
|
}
|
|
#footer a:hover {
|
|
color:#FFF;
|
|
}
|
|
|
|
div.web_normal {
|
|
padding:4px;
|
|
}
|
|
|
|
div.web_protected {
|
|
padding:4px;
|
|
background-color:#DDD;
|
|
}
|
|
|
|
div.inputFieldWithPrompt {
|
|
margin:0.75em 0;
|
|
}
|
|
|
|
div.errorExplanation {
|
|
background-color:#FFA;
|
|
color:#900;
|
|
font-style:italic;
|
|
font-weight:bold;
|
|
margin:1.5em 0;
|
|
padding:1em;
|
|
width:100%;
|
|
}
|
|
|
|
div.errorExplanation h2 {
|
|
display:none;
|
|
}
|
|
|
|
div.errorExplanation ul {
|
|
border:none;
|
|
margin:0.5em 0 0 2em;
|
|
padding:0;
|
|
}
|
|
|
|
div.fieldWithErrors input {
|
|
border:1px solid #900;
|
|
}
|
|
|
|
div.info {
|
|
background-color:#DDD;
|
|
font-weight:bold;
|
|
margin-top:0.5em;
|
|
padding:0.5em;
|
|
width:100%;
|
|
}
|
|
|
|
div#editFormButtons {
|
|
margin:0.5em 0 0;
|
|
}
|
|
|
|
div#editFormButtons span {
|
|
white-space:nowrap;
|
|
}
|
|
|
|
div#editForm textarea#content {
|
|
}
|
|
|
|
div#MarkupHelp {
|
|
float:right;
|
|
margin-top:0.5em;
|
|
width:25%;
|
|
}
|
|
|
|
div#MarkupHelp table {
|
|
border-bottom:3px solid #BBB;
|
|
border-left:3px solid #999;
|
|
border-right:3px solid #BBB;
|
|
border-top:3px solid #999;
|
|
margin-bottom:0;
|
|
}
|
|
|
|
div#MarkupHelp td {
|
|
border:1px solid #999;
|
|
border-width:1px 0;
|
|
font-size:80%;
|
|
margin:0;
|
|
padding:0.2em;
|
|
vertical-align:top;
|
|
white-space:nowrap;
|
|
}
|
|
|
|
div#MarkupHelp td.arrow {
|
|
color:#666;
|
|
padding:0 0.75em;
|
|
}
|
|
|
|
div#MarkupHelp h3 {
|
|
font-size:90%;
|
|
font-weight:bold;
|
|
margin:0 0 5px;
|
|
padding:5px 0 0;
|
|
}
|
|
|
|
div#MarkupHelp p {
|
|
font-size:70%;
|
|
}
|
|
|
|
div.rightHandSide {
|
|
border-left:1px dotted #ccc;
|
|
border-bottom:1px dotted #ccc;
|
|
float:right;
|
|
font-size:80%;
|
|
margin-left:0.7em;
|
|
padding-left:1.5em;
|
|
width:25%;
|
|
}
|
|
|
|
.newsList {
|
|
margin-top:1.5em;
|
|
}
|
|
|
|
.newsList p {
|
|
margin-bottom:2.5em;
|
|
}
|
|
|
|
.property {
|
|
color:#666;
|
|
font-size:80%;
|
|
}
|
|
|
|
a,li span {
|
|
color:#000;
|
|
}
|
|
|
|
a:hover,a.nav:hover, a:hover math {
|
|
background-color:#000;
|
|
color:#FFF;
|
|
}
|
|
|
|
div.errorExplanation p,div.errorExplanation li {
|
|
border:none;
|
|
margin:0;
|
|
padding:0;
|
|
}
|
|
|
|
span.wikilink-error {
|
|
border: solid 2px red;
|
|
background-color: pink;
|
|
}
|
|
|
|
span.wikilink-error b {
|
|
font-size: 80%;
|
|
color: #009;
|
|
}
|
|
|
|
merror {display:inline;font-size:1em;}
|
|
math[display=block] {overflow:auto;}
|
|
math { white-space: nowrap }
|
|
.maruku-eq-number {float:right}
|
|
.maruku-equation {text-align:center}
|
|
.blockquotesource {margin-left:1em;}
|
|
fieldset.search {display:inline; border:none;padding:0;margin:0;top:5px;position:relative;}
|
|
span.keyboard {
|
|
background: #CCC;
|
|
color: #000;
|
|
border: outset 2px;
|
|
font-family:verdana, arial, sans-serif;
|
|
font-size: .7em;
|
|
margin-left:5px;
|
|
padding:1px 2px;
|
|
}
|
|
.centeredfigure {
|
|
position:relative;
|
|
margin:auto;
|
|
text-align:center;
|
|
}
|
|
|
|
body {counter-reset: theorem lemma proposition corollary definition example remark note}
|
|
.un_theorem *, .num_theorem *,
|
|
.un_lemma *, .num_lemma *,
|
|
.un_prop *, .num_prop *,
|
|
.un_cor *, .num_cor * {font-style: italic}
|
|
span.theorem_label {font-style:normal; font-weight:bold;}
|
|
.proof span.theorem_label {font-style:italic;}
|
|
.num_theorem .theorem_label:after {
|
|
content: " " counter(theorem); counter-increment: theorem;}
|
|
.num_lemma .theorem_label:after {
|
|
content: " " counter(lemma); counter-increment: lemma;}
|
|
.num_prop .theorem_label:after {
|
|
content: " " counter(proposition); counter-increment: proposition;}
|
|
.num_cor .theorem_label:after {
|
|
content: " " counter(corollary); counter-increment: corollary;}
|
|
.num_defn .theorem_label:after {
|
|
content: " " counter(definition); counter-increment: definition;}
|
|
.num_example .theorem_label:after {
|
|
content: " " counter(example); counter-increment: example;}
|
|
.num_remark .theorem_label:after {
|
|
content: " " counter(remark); counter-increment: remark;}
|
|
.num_note .theorem_label:after {
|
|
content: " " counter(note); counter-increment: note;}
|
|
|
|
pre.ruby .normal {}
|
|
pre.ruby span.attribute { color: #090; }
|
|
pre.ruby span.char { color: #F00; }
|
|
pre.ruby span.class { color: #A020F0; font-weight: bold; }
|
|
pre.ruby span.comment { color: #00F; }
|
|
pre.ruby span.constant { color: #008B8B; }
|
|
pre.ruby span.escape { color: #6A5ACD; }
|
|
pre.ruby span.expr { color: #22C; }
|
|
pre.ruby span.global { color: #1A4; }
|
|
pre.ruby span.ident { color: #004; }
|
|
pre.ruby span.keyword { color: #A52A2A; font-weight: bold; }
|
|
pre.ruby span.method { color: #008B8B; }
|
|
pre.ruby span.module { color: #A020F0; font-weight: bold; }
|
|
pre.ruby span.number { color: #D0D; }
|
|
pre.ruby span.punct { color: #6A5ACD; }
|
|
pre.ruby span.regex { color: #D0D; }
|
|
pre.ruby span.string { color: #D0D; }
|
|
pre.ruby span.symbol { color: #008B8B; }
|
|
|
|
pre.xml .normal {}
|
|
pre.xml .namespace { color: #D66; font-weight: bold; }
|
|
pre.xml .tag { color: #F55; }
|
|
pre.xml .comment { color: #070; font-style: italic; }
|
|
pre.xml .punct { color: #449; font-weight: bold; }
|
|
pre.xml .string { color: #949; }
|
|
pre.xml .number { color: #F99; }
|
|
pre.xml .attribute { color: #771; }
|
|
|
|
/* Hack for Mozilla bug 449396 */
|
|
[mathvariant="bold"] * {
|
|
font-style: normal;
|
|
font-variant: normal;
|
|
font-weight: bold;
|
|
}
|
|
[mathvariant="italic"] * {
|
|
font-style: italic;
|
|
font-variant: normal;
|
|
font-weight: normal;
|
|
}
|
|
[mathvariant="bold-italic"] * {
|
|
font-style: italic;
|
|
font-variant: normal;
|
|
font-weight: bold;
|
|
}
|
|
[mathvariant="sans-serif"] * {
|
|
font-style: normal;
|
|
font-variant: normal;
|
|
font-weight: normal;
|
|
}
|
|
[mathvariant="bold-sans-serif"] * {
|
|
font-style: normal;
|
|
font-variant: normal;
|
|
font-weight: bold;
|
|
}
|
|
[mathvariant="sans-serif-italic"] * {
|
|
font-style: italic;
|
|
font-variant: normal;
|
|
font-weight: normal;
|
|
}
|
|
[mathvariant="sans-serif-bold-italic"] * {
|
|
font-style: italic;
|
|
font-variant: normal;
|
|
font-weight: bold;
|
|
} |