From bb296bb319a1d9a0050577dfed96e30298390db7 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Sat, 7 Nov 2015 19:24:34 +0000
Subject: Working math support

---
 provider/css/default.css |  2 +-
 provider/css/math.css    | 49 ++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 50 insertions(+), 1 deletion(-)
 create mode 100644 provider/css/math.css

(limited to 'provider/css')

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 {
 }
 
 p code {
-		font-style:italic;
+    font-style:italic;
 }
\ 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 @@
+span.inline-math {
+    display:inline;
+}
+
+span.display-math {
+    display:block;
+    text-align:center;
+    margin-top:0.2em;
+    margin-bottom:0.2em;
+}
+
+div.theorem, div.lemma, div.definition, div.corollary, div.proof {
+    margin-left: 2em;
+    margin-top: 1em;
+    margin-bottom: 1em;
+}
+
+div.theorem > p:first-child:before {
+    content: "Theorem. ";
+    font-weight: bold;
+}
+
+div.lemma > p:first-child:before {
+    content: "Lemma. ";
+    font-weight: bold;
+}
+
+div.definition > p:first-child:before {
+    content: "Definition. ";
+    font-weight: bold;
+}
+
+div.corollary > p:first-child:before {
+    content: "Corollary. ";
+    font-weight: bold;
+}
+
+div.proof > p:first-child:before {
+    content: "Proof. ";
+    font-style: italic;
+}
+
+div.proof > p:last-child:after {
+    content: " ∎";
+}
+
+div.theorem + div.proof {
+    margin-top: -1em;
+}
\ No newline at end of file
-- 
cgit v1.2.3