Changeset - d91c4f0a470b
[Not reviewed]
default
0 1 0
Thomas De Schampheleire - 10 years ago 2015-05-27 17:18:33
thomas.de_schampheleire@alcatel-lucent.com
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
1 file changed with 4 insertions and 4 deletions:
0 comments (0 inline, 0 general)
kallithea/public/css/style.css
Show inline comments
 
@@ -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;
0 comments (0 inline, 0 general)