summaryrefslogtreecommitdiff
path: root/provider/css
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2015-11-07 19:24:34 +0000
committerGregor Kleen <gkleen@yggdrasil.li>2015-11-07 19:24:34 +0000
commitbb296bb319a1d9a0050577dfed96e30298390db7 (patch)
tree44b60ff682669c718e7431aef39f0fcbd1bd3b90 /provider/css
parenta1068fbdeea74a12e4f33069cf091302f87e8d17 (diff)
downloaddirty-haskell.org-bb296bb319a1d9a0050577dfed96e30298390db7.tar
dirty-haskell.org-bb296bb319a1d9a0050577dfed96e30298390db7.tar.gz
dirty-haskell.org-bb296bb319a1d9a0050577dfed96e30298390db7.tar.bz2
dirty-haskell.org-bb296bb319a1d9a0050577dfed96e30298390db7.tar.xz
dirty-haskell.org-bb296bb319a1d9a0050577dfed96e30298390db7.zip
Working math support
Diffstat (limited to 'provider/css')
-rw-r--r--provider/css/default.css2
-rw-r--r--provider/css/math.css49
2 files changed, 50 insertions, 1 deletions
diff --git a/provider/css/default.css b/provider/css/default.css
index 8f796e0..2d2a777 100644
--- a/provider/css/default.css
+++ b/provider/css/default.css
@@ -25,5 +25,5 @@ pre {
25} 25}
26 26
27p code { 27p code {
28 font-style:italic; 28 font-style:italic;
29} \ No newline at end of file 29} \ No newline at end of file
diff --git a/provider/css/math.css b/provider/css/math.css
new file mode 100644
index 0000000..4dc0dd7
--- /dev/null
+++ b/provider/css/math.css
@@ -0,0 +1,49 @@
1span.inline-math {
2 display:inline;
3}
4
5span.display-math {
6 display:block;
7 text-align:center;
8 margin-top:0.2em;
9 margin-bottom:0.2em;
10}
11
12div.theorem, div.lemma, div.definition, div.corollary, div.proof {
13 margin-left: 2em;
14 margin-top: 1em;
15 margin-bottom: 1em;
16}
17
18div.theorem > p:first-child:before {
19 content: "Theorem. ";
20 font-weight: bold;
21}
22
23div.lemma > p:first-child:before {
24 content: "Lemma. ";
25 font-weight: bold;
26}
27
28div.definition > p:first-child:before {
29 content: "Definition. ";
30 font-weight: bold;
31}
32
33div.corollary > p:first-child:before {
34 content: "Corollary. ";
35 font-weight: bold;
36}
37
38div.proof > p:first-child:before {
39 content: "Proof. ";
40 font-style: italic;
41}
42
43div.proof > p:last-child:after {
44 content: " ∎";
45}
46
47div.theorem + div.proof {
48 margin-top: -1em;
49} \ No newline at end of file