hyung-hwan/codepot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added monaco to the fixed-width font list

Browse Source
This commit is contained in:
hyung-hwan 2015-04-20 12:21:21 +00:00
parent 0535c21438
commit 1ffe44458e
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
codepot/src/css/common.css
View File

@ -54,7 +54,7 @@ body {
.content pre, .content pre,
.content code { .content code {
font-family: consolas, "Andale Mono", monospace; font-family: consolas, monaco, "Andale Mono", monospace;
overflow: auto; overflow: auto;
border: none; border: none;
white-space: pre; white-space: pre;
@ -72,7 +72,7 @@ body {
} }
.content textarea { .content textarea {
font-family: consolas, "Andale Mono", monospace; font-family: consolas, monaco, "Andale Mono", monospace;
tab-size: 5; tab-size: 5;
-moz-tab-size: 5; -moz-tab-size: 5;

2
codepot/src/css/jquery-ui.css vendored
View File

@ -231,7 +231,7 @@ body .ui-tooltip { border-width: 2px; }
.ui-widget { font-family: Trebuchet MS,Tahoma,Verdana,Arial,sans-serif; font-size: 0.9em; } .ui-widget { font-family: Trebuchet MS,Tahoma,Verdana,Arial,sans-serif; font-size: 0.9em; }
.ui-widget .ui-widget { font-size: 0.9em; } .ui-widget .ui-widget { font-size: 0.9em; }
.ui-widget input, .ui-widget select, .ui-widget button { font-family: Trebuchet MS,Tahoma,Verdana,Arial,sans-serif; font-size: 0.9em; } .ui-widget input, .ui-widget select, .ui-widget button { font-family: Trebuchet MS,Tahoma,Verdana,Arial,sans-serif; font-size: 0.9em; }
.ui-widget textarea { font-family: consolas, "Andale Mono", monospace; font-size: 0.9em; padding: 0.2em 0.2em 0.2em 0.2em} .ui-widget textarea { font-family: consolas, monaco, "Andale Mono", monospace; font-size: 0.9em; padding: 0.2em 0.2em 0.2em 0.2em}
/*.ui-widget-content { border: 1px solid #dddddd; background: #eeeeee url("images/ui-bg_highlight-soft_100_eeeeee_1x100.png") 50% top repeat-x; color: #333333; }*/ /*.ui-widget-content { border: 1px solid #dddddd; background: #eeeeee url("images/ui-bg_highlight-soft_100_eeeeee_1x100.png") 50% top repeat-x; color: #333333; }*/
.ui-widget-content { border: 1px solid #dddddd; background: #eeeeee; color: #333333; } .ui-widget-content { border: 1px solid #dddddd; background: #eeeeee; color: #333333; }