diff --git a/codepot/src/css/code.css b/codepot/src/css/code.css index 70d14322..7b86de44 100644 --- a/codepot/src/css/code.css +++ b/codepot/src/css/code.css @@ -186,7 +186,7 @@ } #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: initial; diff --git a/codepot/src/css/common.css b/codepot/src/css/common.css index b26c2700..d59b365b 100644 --- a/codepot/src/css/common.css +++ b/codepot/src/css/common.css @@ -14,7 +14,7 @@ body { textarea { 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; -moz-tab-size: 5; @@ -26,7 +26,7 @@ textarea { } 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 { diff --git a/codepot/src/css/issue.css b/codepot/src/css/issue.css index 819eb88b..fec1f8c4 100644 --- a/codepot/src/css/issue.css +++ b/codepot/src/css/issue.css @@ -125,7 +125,7 @@ textarea.codepot-issue-edit-comment { white-space: -moz-pre-wrap; /* Mozilla, since 1999 */ white-space: -pre-wrap; /* Opera 4-6 */ 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 {