1 files changed, 10 insertions, 2 deletions
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%;