34082fbf94
Implement amsthm-like Theorem environments with Maruku.
Support is based on Maruku "div"s with special class-names.
Classes
num_*
produce numbered environments, and
un_*
produce un-numbered environments, where * is one of
theorem (for Theorem)
lemma (for Lemma)
prop (for Proposition)
cor (for Corollary)
def (for Definition)
example (for Example)
remark (for Remark)
note (for Note)
In addition, the class
proof
produces a Proof environment.
The LaTeX export works as expected, and these also work in the S5 view.
Bumped version number.
415 lines
5.8 KiB
CSS
415 lines
5.8 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;
|
|
padding:0;
|
|
}
|
|
|
|
h1#pageName small {
|
|
color:#444;
|
|
font-size:35%;
|
|
line-height:1em;
|
|
padding:0;
|
|
}
|
|
|
|
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;
|
|
}
|
|
|
|
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;
|
|
}
|
|
|
|
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;
|
|
color:#060;
|
|
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;
|
|
}
|
|
|
|
merror {display:inline;font-size:1em;}
|
|
math[display=block] {overflow:auto;}
|
|
math { white-space: nowrap }
|
|
.maruku-eq-number {float:right}
|
|
.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 example remark}
|
|
.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;}
|
|
.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_example .theorem_label:after {
|
|
content: " " counter(example); counter-increment: example;}
|
|
.num_remark .theorem_label:after {
|
|
content: " " counter(remark); counter-increment: remark;}
|
|
|