From e8c255770feec5b8715c9f6aefe9aa3346dfb41e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= Date: Mon, 4 Jul 2022 23:42:36 +0200 Subject: doc: fix display of literal blocks This fixes: - height of lines in literal blocks (all browsers) - literal blocks in Japanese docs (Firefox) --- doc/docinfo.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/docinfo.html') 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 { -- cgit v1.2.3