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 {
 }
 
 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