fix font issues: moving back to Droid Sans Mono for code

I just noticed that code font is crazy without Consolas installed (I
recently reinstalled my OS and got rid of Office for Mac 2011 — that's
probably why). The line numbers are all off (since the line heights are
carefully pre-calculated, and fallback fonts of different leadings won't
help). Therefore, I'm moving to the quite nice looking and controllable
Droid Sans Mono. Isn't as satisfactory as Consolas on the web, but
certainly better than Monaco.

Note: I originally copied my list Consolas, Monaco, 'Andale Mono',
monospace (I added Courier since I like it a lot as the primitive
monospace font) from MDN Wiki, but now it looks like a bad choice when I
don't have Consolas any more. By the way, MDN Wiki renders line numbers
using JS, so at least they are able to calculate the line heights. I'm
serving everything statically, so this is a problem.

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%;