1 files changed, 27 insertions, 28 deletions

diff --git a/style.css b/style.css
index ef9e2a5..f614f8e 100644
--- a/style.css
+++ b/style.css
@@ -18,47 +18,46 @@ body {
     display: inline;
 }
 
-a {
-    color: inherit;
+div.theorem:before {
+    content: "Theorem.";
+    font-weight: bold;
 }
 
-p {
-    margin-bottom: 0
+div.theorem div.lemma div.proposition div.definition div.corollary {
+    text-indent: 2em;
+    margin-top: 1em;
+    margin-bottom: 1em;
 }
 
-p + p {
-    text-indent: 1.5em;
-    margin-top: 0
+div.lemma:before {
+    content: "Lemma.";
+    font-weight: bold;
 }
 
-nav#top-level {
-    border-bottom: 1px solid grey;
-    border-top: 1px solid grey;
-    display: table;
-    text-align: center;
-    width: 100%;
+div.proposition:before {
+    content: "Proposition.";
+    font-weight: bold;
 }
 
-nav#top-level ul {
-    display: table-row;
+div.definition:before {
+    content: "Definition.";
+    font-weight: bold;
 }
 
-nav#top-level ul li {
-    display: table-cell;
+div.corollary:before {
+    content: "Definition.";
+    font-weight: bold;
 }
 
-nav#top-level ul li a {
-    display: inline-block;
-    width: 100%;
-    text-align: center;
-    text-decoration: none;
+a {
     color: inherit;
-    text-transform: uppercase;
 }
 
-nav#top-level ul li a:hover {
-    display: inline-block;
-    width: 100%;
-    text-align: center;
-    background: lightgrey;
+p {
+    margin-bottom: 0
+}
+
+p + p {
+    text-indent: 1.5em;
+    margin-top: 0
 }