Back to monospaced for the index page

Author: nedbat

coverage/htmlfiles/style.css

@@ -234,7 +234,7 @@ h2.stats { margin-top: .5em; font-size: 1em; }
 
 #source p .ctxs span { display: block; text-align: right; }
 
-#index { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; font-size: 0.875em; }
+#index { font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-size: 0.875em; }
 
 #index table.index { margin-left: -.5em; }
 

coverage/htmlfiles/style.scss

@@ -573,7 +573,7 @@ $context-panel-color: #aaeeff;
 
 // index styles
 #index {
-    font-family: $font-normal;
+    font-family: $font-code;
     font-size: 0.875em;
 
     table.index {

tests/gold/html/styled/style.css

@@ -234,7 +234,7 @@ h2.stats { margin-top: .5em; font-size: 1em; }
 
 #source p .ctxs span { display: block; text-align: right; }
 
-#index { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; font-size: 0.875em; }
+#index { font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-size: 0.875em; }
 
 #index table.index { margin-left: -.5em; }