diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-29 18:45:32 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-29 18:45:32 +0100 |
| commit | e6e33f91fae6eceb13ccf1e5c6cdad848d14a82d (patch) | |
| tree | 36c1aa45b4e8ff1cb319afba52625a38d2ed8d7d /provider/css | |
| parent | 34ecd7255797e1c2d6778a94fd9e0f7c805474a5 (diff) | |
| download | dirty-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
Diffstat (limited to 'provider/css')
| -rw-r--r-- | provider/css/math.css | 9 |
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 | ||
| 12 | div.theorem, div.lemma, div.definition, div.corollary, div.proof { | 12 | div.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 | ||
| 17 | div div { | ||
| 18 | margin-left: 2em; | ||
| 19 | } | ||
| 20 | |||
| 18 | div.theorem > p:first-child:before { | 21 | div.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 | ||
| 43 | div.proof > p:last-child:after { | 46 | div.proof > p:last-child:after { |
| 44 | content: " ∎"; | 47 | content: " ∎"; |
| 45 | } | ||
| 46 | |||
| 47 | div.theorem + div.proof { | ||
| 48 | margin-top: -1em; | ||
| 49 | } \ No newline at end of file | 48 | } \ No newline at end of file |
