Change font

This commit is contained in:
Tom Willemse 2014-11-02 15:35:43 +01:00
parent aa7889378b
commit 368a0bc422
2 changed files with 3 additions and 3 deletions

View file

@ -5,7 +5,7 @@
background-color: #111113; background-color: #111113;
border: none; border: none;
color: #EEEEEC; color: #EEEEEC;
font: 16px "PT Mono"; font: 17px "Fantasque Sans Mono";
} }
#minibuffer-input, #minibuffer-input * { #minibuffer-input, #minibuffer-input * {
@ -27,7 +27,7 @@ tree.completions {
background-color: #111113 !important; background-color: #111113 !important;
-moz-border-top-colors: -moz-initial !important; -moz-border-top-colors: -moz-initial !important;
color: #EEEEEC !important; color: #EEEEEC !important;
font: 18px "PT Mono"; font: 17px "Fantasque Sans Mono";
} }
tree.completions treechildren::-moz-tree-row { tree.completions treechildren::-moz-tree-row {

View file

@ -1,5 +1,5 @@
.mode-line { .mode-line {
font: 16px "PT Mono"; font: 17px "Fantasque Sans Mono";
padding: 0px; padding: 0px;
border: none; border: none;
color: #EEEEEC; color: #EEEEEC;