diff options
| -rw-r--r-- | doc/docinfo.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/docinfo.html b/doc/docinfo.html index 8f3340d5b..3b594687d 100644 --- a/doc/docinfo.html +++ b/doc/docinfo.html @@ -227,8 +227,8 @@ h1, h2, h3, h4, h5 { } .literalblock pre { - font-family: monospace, 'Courier New', Courier; - line-height: normal; + font-family: "DejaVu Sans Mono", "Liberation Mono", "Lucida Console", monospace, 'Courier New', Courier; + line-height: inherit; } kbd { |