diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2015-11-07 19:24:34 +0000 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2015-11-07 19:24:34 +0000 |
commit | bb296bb319a1d9a0050577dfed96e30298390db7 (patch) | |
tree | 44b60ff682669c718e7431aef39f0fcbd1bd3b90 /provider/css | |
parent | a1068fbdeea74a12e4f33069cf091302f87e8d17 (diff) | |
download | dirty-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.css | 2 | ||||
-rw-r--r-- | provider/css/math.css | 49 |
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 | ||
27 | p code { | 27 | p 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 @@ | |||
1 | span.inline-math { | ||
2 | display:inline; | ||
3 | } | ||
4 | |||
5 | span.display-math { | ||
6 | display:block; | ||
7 | text-align:center; | ||
8 | margin-top:0.2em; | ||
9 | margin-bottom:0.2em; | ||
10 | } | ||
11 | |||
12 | div.theorem, div.lemma, div.definition, div.corollary, div.proof { | ||
13 | margin-left: 2em; | ||
14 | margin-top: 1em; | ||
15 | margin-bottom: 1em; | ||
16 | } | ||
17 | |||
18 | div.theorem > p:first-child:before { | ||
19 | content: "Theorem. "; | ||
20 | font-weight: bold; | ||
21 | } | ||
22 | |||
23 | div.lemma > p:first-child:before { | ||
24 | content: "Lemma. "; | ||
25 | font-weight: bold; | ||
26 | } | ||
27 | |||
28 | div.definition > p:first-child:before { | ||
29 | content: "Definition. "; | ||
30 | font-weight: bold; | ||
31 | } | ||
32 | |||
33 | div.corollary > p:first-child:before { | ||
34 | content: "Corollary. "; | ||
35 | font-weight: bold; | ||
36 | } | ||
37 | |||
38 | div.proof > p:first-child:before { | ||
39 | content: "Proof. "; | ||
40 | font-style: italic; | ||
41 | } | ||
42 | |||
43 | div.proof > p:last-child:after { | ||
44 | content: " ∎"; | ||
45 | } | ||
46 | |||
47 | div.theorem + div.proof { | ||
48 | margin-top: -1em; | ||
49 | } \ No newline at end of file | ||