summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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