1 files changed, 126 insertions, 10 deletions

diff --git a/static/css/default.css b/static/css/default.css
index 77a4bad..70612b2 100644
--- a/static/css/default.css
+++ b/static/css/default.css
@@ -27,7 +27,7 @@ header {
   border-bottom: 0.3rem solid #00c266;
 }
 
-nav {
+#navbar {
   text-align: right;
 }
 
@@ -120,14 +120,14 @@ th, td {
   text-align: left;
 }
 
-nav a, .logo a {
+#navbar a, .logo a {
   font-family: 'Iosevka Web', monospace;
   font-size: 1.3rem;
   font-weight: 800;
   text-decoration: none;
 }
 
-nav span {
+#navbar span {
   padding-left: 2em;
 }
 
@@ -150,6 +150,122 @@ nav span {
   font-size: 6rem;
 }
 
+.heading-anchor1 {
+  text-decoration: none;
+  float: left;
+  padding-right: 0.2em;
+  margin-left: -1.5em;
+  line-height: 1;
+}
+
+.heading-anchor1:hover {
+  text-decoration: underline;
+}
+
+.heading-anchor2 {
+  text-decoration: none;
+  float: left;
+  padding-right: 0.5em;
+  margin-left: -1.5em;
+  margin-top: 0.4em;
+  line-height: 1;
+}
+
+.heading-anchor2:hover {
+  text-decoration: underline;
+}
+
+.heading-anchor3 {
+  text-decoration: none;
+  float: left;
+  padding-right: 0.5em;
+  margin-left: -2em;
+  margin-top: 0.4em;
+  line-height: 1;
+}
+
+.heading-anchor3:hover {
+  text-decoration: underline;
+}
+
+.heading-anchor4 {
+  text-decoration: none;
+  float: left;
+  padding-right: 0.5em;
+  margin-left: -2em;
+  margin-top: 0.4em;
+  line-height: 1;
+}
+
+.heading-anchor4:hover {
+  text-decoration: underline;
+}
+
+.heading-anchor5 {
+  text-decoration: none;
+  float: left;
+  padding-right: 0.5em;
+  margin-left: -2em;
+  margin-top: 0.4em;
+  line-height: 1;
+}
+
+.heading-anchor5:hover {
+  text-decoration: underline;
+}
+
+.heading-anchor6 {
+  text-decoration: none;
+  float: left;
+  padding-right: 0.5em;
+  margin-left: -2em;
+  margin-top: 0.4em;
+  line-height: 1;
+}
+
+.heading-anchor6:hover {
+  text-decoration: underline;
+}
+
+#TableOfContents {
+  line-height: 1;
+  margin-left: 1em;
+}
+
+#TableOfContents a {
+  font-size: 0.8em;
+}
+
+#TableOfContents ul {
+  padding-left: 1.5em;
+}
+
+#TableOfContents > ul {
+    list-style-type: "** ";
+}
+
+#TableOfContents > ul > li > ul {
+    list-style-type: "*** ";
+}
+
+#TableOfContents > ul > li > ul > li > ul {
+    list-style-type: "**** ";
+}
+
+#TableOfContents li {
+  margin-bottom: 0.3em;
+  margin-top: 0.3em;
+}
+
+#TableOfContentsTitle {
+  margin-left: 1em;
+  font-family: 'Iosevka Web', sans-serif;
+}
+
+.tagcloud {
+  margin-left: 1em;
+}
+
 .codeblock {
   border-radius: 10px;
   margin: 0;
@@ -233,7 +349,7 @@ nav span {
     margin: 4.2rem 0;
   }
 
-  nav {
+  #navbar {
     margin: 0 auto 3rem;
     text-align: center;
   }
@@ -267,7 +383,7 @@ nav span {
     font-size: 2.0rem;
   }
 
-  nav a {
+  #navbar a {
     display: inline;
     margin: 0 0.6rem;
   }
@@ -288,7 +404,7 @@ nav span {
   .gallery-2 { display: none; }
   .gallery-4 { display: none; }
 
-  nav span {
+  #navbar span {
     padding-left: 0;
   }
 
@@ -319,12 +435,12 @@ nav span {
     padding: 1.2rem 0;
   }
 
-  nav {
+  #navbar {
     margin: 0;
     text-align: right;
   }
 
-  nav a {
+  #navbar a {
     margin: 0 0 0 1.2rem;
     display: inline;
   }
@@ -392,12 +508,12 @@ nav span {
     padding: 1.2rem 0;
   }
 
-  nav {
+  #navbar {
     margin: 0;
     text-align: right;
   }
 
-  nav a {
+  #navbar a {
     margin: 0 0 0 1.2rem;
     display: inline;
   }