1 files changed, 49 insertions, 0 deletions

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