diff options
author | Philip Chimento <philip@endlessm.com> | 2015-05-15 22:50:48 -0700 |
---|---|---|
committer | Philip Chimento <philip@endlessm.com> | 2015-05-20 17:24:53 -0700 |
commit | 2415deaeef52fa484b4ed26e94baf212aa4eab39 (patch) | |
tree | ffcaa09e52fba2af41e9b5e565e4ceac79ead9d6 | |
parent | 76d0911286d6f5aeff68ecd558db77be9d55bf07 (diff) |
Tweak NaturalDocs CSS
Display a monospace font on systems that don't have DejaVu Sans Mono
installed.
[endlessm/eos-sdk#291]
-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 |