diff options
author | panda-z <panda.hust@gmail.com> | 2019-01-05 14:44:19 +0800 |
---|---|---|
committer | olOwOlo <26087907+olOwOlo@users.noreply.github.com> | 2019-01-05 14:44:19 +0800 |
commit | 8a727486e82ed9645d1abcf4f67eedbed2790a80 (patch) | |
tree | dd27b0e89a0b9002351edb42bc4545c260013496 | |
parent | ecb7935896012da551255711edb1b6e381948c2f (diff) |
style(font): change code-font-family (#120)
-rw-r--r-- | src/css/_variables.scss | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/css/_variables.scss b/src/css/_variables.scss index c9d9765..6a65623 100644 --- a/src/css/_variables.scss +++ b/src/css/_variables.scss @@ -193,7 +193,8 @@ $code-color: #c7254e !default; $code-font-size: 13px !default; // Font family of the code. -$code-font-family: Consolas, Monaco, Menlo, Consolas, monospace !default; +$code-font-family: Consolas, Monaco, Menlo, "DejaVu Sans Mono", + "Bitstream Vera Sans Mono", "Courier New", monospace !default; // Color of code highlight, solarized. $code-highlight-color: ( |