Tweak font stack for Ubuntu

h/static/styles/base.scss

@@ -37,8 +37,8 @@ $link-color-hover:       $hypothered !default;
 // Typography
 // -------------------------
 $sans-font-family:        "Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif !default;
-$serif-font-family:       Georgia, "Times New Roman", Times, serif !default;
-$mono-font-family:        Monaco, Menlo, Consolas, "Courier New", monospace !default;
+$serif-font-family:       Georgia, "Bitstream Charter", "Times", "Times New Roman", serif !default;
+$mono-font-family:        Open Sans Mono, Menlo, DejaVu Sans Mono, monospace !default;
 
 $base-font-size:          16px !default;
 $base-font-family:        $sans-font-family !default;

h/static/styles/simple-search.scss

@@ -35,7 +35,7 @@
   color: $text-color;
   width: 100%;
   border: none !important; // Override base input styles.
-  padding: .4615em 0;
+  padding: .4615em 0 0;
 
   .simple-search-inactive &:not(:focus) {
     border-color: #f3f3f3 !important;

h/static/styles/styled-text.scss

@@ -97,7 +97,7 @@
   }
 
   code {
-    font-family: Open Sans Mono, Menlo, DejaVu Sans Mono, monospace;
+    font-family: $mono-font-family;
     font-size: .875em;
     color: black;
   }