1 files changed, 13 insertions, 1 deletions
diff --git a/static/style.css b/static/style.css
index bdc8a87..510d8c2 100644
--- a/static/style.css
+++ b/static/style.css
@@ -1,6 +1,6 @@
 /* Most people have Google Fonts preloaded in their browser */
 .monospace {
-    font-family: Consolas, Monaco, monospace;
+    font-family: "Inconsolata", monospace;
 }
 .sans-serif {
     font-family: "Noto Sans", sans-serif;
@@ -49,6 +49,14 @@ nav a:hover {
 nav a.active {
     font-weight: bold;
 }
+nav div.icons {
+    padding: 0.3em 1.3em;
+}
+nav div.icons a {
+    float: left;
+    padding: 0;
+    margin-right: 0.5em;
+}
 main {
     margin: 0;
     margin-left: 16em;
@@ -133,6 +141,10 @@ pre {
         padding: 0.3em;
         font-size: 1.2em;
     }
+    nav div.icons {
+        margin-top: 0.5em;
+        display: inline-block;
+    }
     main {
         margin-left: 0;
         font-size: 1em;