pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2025-01-08 16:19:17 +03:00
Code Issues Packages Projects Releases Wiki Activity

Initial hack of proper Windows fonts

Browse Source
This commit is contained in:
Paul Betts 2013-11-20 12:47:32 -08:00
parent a6c791ce39
commit f094a86ae7
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
static/editor.less
View File

@ -8,7 +8,7 @@
-webkit-user-select: none;
position: relative;
z-index: 0;
font-family: Inconsolata, Monaco, Courier;
font-family: Inconsolata, Monaco, Consolas, Courier;
line-height: 1.3;
}

2
static/jasmine.less
View File

@ -20,7 +20,7 @@ body {
list-style: none;
}
#HTMLReporter { font-size: 11px; font-family: Monaco, monospace; line-height: 1.6em; color: #333333; }
#HTMLReporter { font-size: 11px; font-family: Monaco, Consolas, monospace; line-height: 1.6em; color: #333333; }
#HTMLReporter #jasmine_content { position: fixed; right: 100%; }
#HTMLReporter .symbolHeader {

2
static/variables/ui-variables.less
View File

@ -81,4 +81,4 @@
// Other
@font-family: 'Lucida Grande', Arial, sans-serif;
@font-family: 'Lucida Grande', 'Segoe UI', sans-serif;