2 files changed, 12 insertions, 2 deletions
diff --git a/source/blog/2015-06-12-the-tip-of-the-iceberg.md b/source/blog/2015-06-12-the-tip-of-the-iceberg.md
index bf4565f8..e5a747ab 100644
--- a/source/blog/2015-06-12-the-tip-of-the-iceberg.md
+++ b/source/blog/2015-06-12-the-tip-of-the-iceberg.md
@@ -7,6 +7,8 @@ date-display: June 12, 2015
 
 *By the way, I'm not sure if I'm going to stand by this post when I wake up tomorrow morning. It will stay either way, though.*
 
+---
+
 [^not-shaming]: In this case the campaign is too civilized to be called a shaming campaign.
 
 [^judge]: And I question if most shamers did.
diff --git a/source/css/theme.css b/source/css/theme.css
index c31ce02e..b692f963 100644
--- a/source/css/theme.css
+++ b/source/css/theme.css
@@ -22,6 +22,10 @@ article {
     text-align: justify;
 }
 
+article code {
+    font-size: 10.5pt;
+}
+
 h1.title {
     text-align: center;
     font-size: 18pt;
@@ -51,7 +55,7 @@ h3 {
 }
 
 code {
-    font-family: 'Consolas', 'Monaco', 'Andale Mono', 'Courier', monospace;
+    font-family: 'Droid Sans Mono', 'Courier', monospace;
     font-weight: thin;
 }
 
@@ -68,7 +72,7 @@ pre[class*=sourceCode] {
 }
 
 pre code {
-    font-size: 10.5pt;
+    font-size: 10pt;
 }
 
 .line-number {
@@ -101,6 +105,10 @@ div.footnotes {
     font-size: 10pt;
 }
 
+div.footnotes code {
+    font-size: 9.5pt;
+}
+
 img {
     display: block;
     max-width: 100%;