summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2016-01-29 18:45:32 +0100
committerGregor Kleen <gkleen@yggdrasil.li>2016-01-29 18:45:32 +0100
commite6e33f91fae6eceb13ccf1e5c6cdad848d14a82d (patch)
tree36c1aa45b4e8ff1cb319afba52625a38d2ed8d7d
parent34ecd7255797e1c2d6778a94fd9e0f7c805474a5 (diff)
downloaddirty-haskell.org-e6e33f91fae6eceb13ccf1e5c6cdad848d14a82d.tar
dirty-haskell.org-e6e33f91fae6eceb13ccf1e5c6cdad848d14a82d.tar.gz
dirty-haskell.org-e6e33f91fae6eceb13ccf1e5c6cdad848d14a82d.tar.bz2
dirty-haskell.org-e6e33f91fae6eceb13ccf1e5c6cdad848d14a82d.tar.xz
dirty-haskell.org-e6e33f91fae6eceb13ccf1e5c6cdad848d14a82d.zip
corrected math css
-rw-r--r--provider/css/math.css9
1 files changed, 4 insertions, 5 deletions
diff --git a/provider/css/math.css b/provider/css/math.css
index 4dc0dd7..e045853 100644
--- a/provider/css/math.css
+++ b/provider/css/math.css
@@ -10,11 +10,14 @@ span.display-math {
10} 10}
11 11
12div.theorem, div.lemma, div.definition, div.corollary, div.proof { 12div.theorem, div.lemma, div.definition, div.corollary, div.proof {
13 margin-left: 2em;
14 margin-top: 1em; 13 margin-top: 1em;
15 margin-bottom: 1em; 14 margin-bottom: 1em;
16} 15}
17 16
17div div {
18 margin-left: 2em;
19}
20
18div.theorem > p:first-child:before { 21div.theorem > p:first-child:before {
19 content: "Theorem. "; 22 content: "Theorem. ";
20 font-weight: bold; 23 font-weight: bold;
@@ -42,8 +45,4 @@ div.proof > p:first-child:before {
42 45
43div.proof > p:last-child:after { 46div.proof > p:last-child:after {
44 content: " ∎"; 47 content: " ∎";
45}
46
47div.theorem + div.proof {
48 margin-top: -1em;
49} \ No newline at end of file 48} \ No newline at end of file