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

preferred inconsolata in some css files

Browse Source
This commit is contained in:
hyung-hwan 2019-12-26 15:10:31 +00:00
parent 3b7932c6f6
commit 7676695ed2
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
codepot/src/css/code.css
View File

@ -186,7 +186,7 @@
} }
#code_edit_result_code { #code_edit_result_code {
font-family: "DejaVu Sans Mono", consolas, monaco, "Andale Mono", monospace; font-family: inconsolata, "DejaVu Sans Mono", consolas, monaco, "Andale Mono", monospace;
/*overflow: auto;*/ /*overflow: auto;*/
overflow: initial; overflow: initial;

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

@ -14,7 +14,7 @@ body {
textarea { textarea {
font-size: inherit; font-size: inherit;
font-family: "DejaVu Sans Mono", consolas, monaco, "Andale Mono", monospace; font-family: inconsolata, "DejaVu Sans Mono", consolas, monaco, "Andale Mono", monospace;
tab-size: 5; tab-size: 5;
-moz-tab-size: 5; -moz-tab-size: 5;
@ -26,7 +26,7 @@ textarea {
} }
pre, code, tt { pre, code, tt {
font-family: "DejaVu Sans Mono", consolas, monaco, "Andale Mono", monospace; font-family: inconsolata, "DejaVu Sans Mono", consolas, monaco, "Andale Mono", monospace;
} }
.content { .content {

2
codepot/src/css/issue.css
View File

@ -125,7 +125,7 @@ textarea.codepot-issue-edit-comment {
white-space: -moz-pre-wrap; /* Mozilla, since 1999 */ white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
white-space: -pre-wrap; /* Opera 4-6 */ white-space: -pre-wrap; /* Opera 4-6 */
white-space: -o-pre-wrap; /* Opera 7 */ white-space: -o-pre-wrap; /* Opera 7 */
font-family: "DejaVu Sans Mono", consolas, monaco, "Andale Mono", monospace; font-family: inconsolata, "DejaVu Sans Mono", consolas, monaco, "Andale Mono", monospace;
} }
#issue_home_result_pages { #issue_home_result_pages {