diff options
-rw-r--r-- | docs/reference/webhelper/eos.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reference/webhelper/eos.css b/docs/reference/webhelper/eos.css index 7c3a4b2..0bed010 100644 --- a/docs/reference/webhelper/eos.css +++ b/docs/reference/webhelper/eos.css @@ -41,6 +41,6 @@ p { .prettyprint *, .CBody pre, .CDLEntry { - font-family: "DejaVu Sans Mono"; + font-family: "DejaVu Sans Mono", Menlo, monospace; font-size: 12pt; }
\ No newline at end of file |