diff options
| -rw-r--r-- | options/options.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/options/options.html b/options/options.html index f4264331..4a616328 100644 --- a/options/options.html +++ b/options/options.html @@ -64,7 +64,7 @@ color: black; } pre, code, .code { - font-family: Monaco, Consolas, "Liberation Mono", Courier, monospace; + font-family: Consolas, "Liberation Mono", Courier, monospace; } pre { margin: 5px; |