1 files changed, 0 insertions, 31 deletions

diff --git a/style.css b/style.css
index fc81f60..21610b0 100644
--- a/style.css
+++ b/style.css
@@ -18,37 +18,6 @@ body {
     display: inline;
 }
 
-div.theorem:before {
-    content: "Theorem.";
-    font-weight: bold;
-}
-
-div.theorem, div.lemma, div.proposition, div.definition, div.corollary {
-    text-indent: 2em;
-    margin-top: 1em;
-    margin-bottom: 1em;
-}
-
-div.lemma:before {
-    content: "Lemma.";
-    font-weight: bold;
-}
-
-div.proposition:before {
-    content: "Proposition.";
-    font-weight: bold;
-}
-
-div.definition:before {
-    content: "Definition.";
-    font-weight: bold;
-}
-
-div.corollary:before {
-    content: "Corollary.";
-    font-weight: bold;
-}
-
 a {
     color: inherit;
 }