2007-03-01 01:38:52 +01:00
|
|
|
merror {display:inline;font-size:1em;}
|
|
|
|
math[display=block] {overflow:auto;}
|
|
|
|
math { white-space: nowrap }
|
|
|
|
.maruku-eq-number {float:right}
|
|
|
|
.blockquotesource {margin-left:1em;}
|
2007-03-01 17:50:06 +01:00
|
|
|
table.plaintable {
|
|
|
|
border-collapse:collapse;
|
|
|
|
margin-left:30px;
|
|
|
|
border:0;
|
|
|
|
}
|
|
|
|
.plaintable td {border:1px solid #000; padding: 3px;}
|
|
|
|
.plaintable th {padding: 3px;}
|
|
|
|
.plaintable caption {
|
|
|
|
font-weight: bold;
|
|
|
|
font-size:1.1em;
|
|
|
|
text-align:center;
|
|
|
|
margin-left:30px;
|
|
|
|
}
|
2007-08-30 19:19:10 +02:00
|
|
|
.noborder td, .noborder th {border:0}
|
2008-10-20 07:24:22 +02:00
|
|
|
body {counter-reset: theorem lemma proposition corollary definition example remark note}
|
2008-10-17 23:26:17 +02:00
|
|
|
.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;}
|
2008-10-20 07:24:22 +02:00
|
|
|
.proof span.theorem_label {font-style:italic;}
|
2008-10-17 23:26:17 +02:00
|
|
|
.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;}
|
2008-10-20 07:24:22 +02:00
|
|
|
.num_defn .theorem_label:after {
|
|
|
|
content: " " counter(definition); counter-increment: definition;}
|
2008-10-17 23:26:17 +02:00
|
|
|
.num_example .theorem_label:after {
|
|
|
|
content: " " counter(example); counter-increment: example;}
|
|
|
|
.num_remark .theorem_label:after {
|
|
|
|
content: " " counter(remark); counter-increment: remark;}
|
2008-10-20 07:24:22 +02:00
|
|
|
.num_note .theorem_label:after {
|
|
|
|
content: " " counter(note); counter-increment: note;}
|
2009-07-06 18:07:57 +02:00
|
|
|
|
2009-07-06 22:30:35 +02:00
|
|
|
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; }
|
2009-07-06 18:07:57 +02:00
|
|
|
|
2009-07-06 22:30:35 +02:00
|
|
|
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; }
|
2009-08-27 22:28:16 +02:00
|
|
|
|
|
|
|
/* 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;
|
|
|
|
}
|