diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2021-03-30 19:26:20 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2021-03-30 19:26:20 +0000 |
commit | 861f9666a8c6cb002b94daafc3e04265d90c60db (patch) | |
tree | 8a7db4f7dfe780a0c7282c78025e812c04af0dcd /mandoc.css | |
parent | 6e220064abb2f2f7e5756999097a6db9c2064787 (diff) | |
download | mandoc-861f9666a8c6cb002b94daafc3e04265d90c60db.tar.gz mandoc-861f9666a8c6cb002b94daafc3e04265d90c60db.tar.zst mandoc-861f9666a8c6cb002b94daafc3e04265d90c60db.zip |
In HTML output, correctly render .Bd -unfilled in proportionally-spaced
font, rather than with the monospace font appropriate for .Bd -literal.
This fixes a minibug reported by anton@.
Implemented by no longer relying on the typical browser default of
"pre { font-family: monospace }" but instead letting <pre> elements
inherit the font family from their parent, then adding an explicit CSS .Li
class only for those displays where the manual page author requested it
by using the -literal option on the .Bd macro.
Diffstat (limited to 'mandoc.css')
-rw-r--r-- | mandoc.css | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,4 +1,4 @@ -/* $Id: mandoc.css,v 1.47 2020/10/30 21:34:30 schwarze Exp $ */ +/* $Id: mandoc.css,v 1.48 2021/03/30 19:26:20 schwarze Exp $ */ /* * Standard style sheet for mandoc(1) -Thtml and man.cgi(8). * @@ -31,6 +31,7 @@ td { vertical-align: top; ul, ol, dl { margin-top: 0em; margin-bottom: 0em; } li, dt { margin-top: 1em; } +pre { font-family: inherit; } .permalink { border-bottom: thin dotted; color: inherit; |