2 files changed, 28 insertions, 29 deletions

diff --git a/posts/blog-architecture.md b/posts/blog-architecture.md
index be969de..37cce77 100644
--- a/posts/blog-architecture.md
+++ b/posts/blog-architecture.md
@@ -1,4 +1,4 @@
-% General Architecture of this "Blogging" System
+% An Outline of the Architecture of math.kleen.org
 
 The main idea behind this system is that my site is supposed to consist of
 *posts* which are organized into *lists of posts*. This mapping is not assumed
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
 }