[PATCH] style: prefer Lucida Console over Consolas font

[Thomas De Schampheleire]

# HG changeset patch
# User Thomas De Schampheleire <thomas.de_schampheleire at alcatel-lucent.com>
# Date 1432739913 -7200
#      Wed May 27 17:18:33 2015 +0200
# Node ID 42feaacb78feecb2a07a3ca19db6cf7ace3fd4c1
# Parent  d63188974baec38503601ef0efd33a75711280a2
style: prefer Lucida Console over Consolas font

The letter l and the number 1 are very similar in the Consolas font, unlike in
Lucida Console (available on almost all Windows versions [1]) where the
difference is more obvious.

In identifiers like
    foo_Vl_bar_V1
a clear visual difference is important during reviews.

[1] https://www.microsoft.com/typography/Fonts/font.aspx?FMID=1262

diff --git a/kallithea/public/css/style.css b/kallithea/public/css/style.css
--- a/kallithea/public/css/style.css
+++ b/kallithea/public/css/style.css
@@ -162,7 +162,7 @@ div.readme .readme_box pre,
 div.rst-block pre,
 .CodeMirror .CodeMirror-code pre {
     font-size: 12px;
-    font-family: Consolas, Monaco, Inconsolata, Liberation Mono, monospace;
+    font-family: Lucida Console, Consolas, Monaco, Inconsolata, Liberation Mono, monospace;
 }
 
 .top-left-rounded-corner {
@@ -4371,7 +4371,7 @@ div.comment-form {
 .comment-form textarea {
     width: 100%;
     height: 100px;
-    font-family: Consolas, Monaco, Inconsolata, Liberation Mono, monospace;
+    font-family: Lucida Console, Consolas, Monaco, Inconsolata, Liberation Mono, monospace;
 }
 
 form.comment-form {
@@ -4469,7 +4469,7 @@ div.comment-inline-form {
 .comment-inline-form textarea {
     width: 100%;
     height: 100px;
-    font-family: Consolas, Monaco, Inconsolata, Liberation Mono, monospace;
+    font-family: Lucida Console, Consolas, Monaco, Inconsolata, Liberation Mono, monospace;
 }
 
 form.comment-inline-form {
@@ -4931,7 +4931,7 @@ table.code-difftable .lineno.old {
 }
 table.code-difftable .lineno a {
     color: #aaa !important;
-    font: 11px Consolas, Monaco, Inconsolata, Liberation Mono, monospace !important;
+    font: 11px Lucida Console, Consolas, Monaco, Inconsolata, Liberation Mono, monospace !important;
     letter-spacing: -1px;
     padding-left: 10px;
     padding-right: 8px;