diff options
| author | Petr Vorel <pvorel@suse.cz> | 2026-01-13 14:36:10 +0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2026-01-16 21:19:06 +0300 |
| commit | 653793b8a3e502fe379daef5995d5a052fb1b04f (patch) | |
| tree | cb07a0fcc821e73d5268038d665b3b4cefd0bf8e | |
| parent | 9088a767e745ca6bc72cba565090f678c5934650 (diff) | |
| download | linux-653793b8a3e502fe379daef5995d5a052fb1b04f.tar.xz | |
Documentation: CSS: Improve man page font
Define man page font as monospace and bold, i.e. the same as what is
used for .code and <pre>.
Signed-off-by: Petr Vorel <pvorel@suse.cz>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Message-ID: <20260113113612.315748-4-pvorel@suse.cz>
| -rw-r--r-- | Documentation/sphinx-static/custom.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Documentation/sphinx-static/custom.css b/Documentation/sphinx-static/custom.css index 06cedbae095c..e7ddf3eae7ed 100644 --- a/Documentation/sphinx-static/custom.css +++ b/Documentation/sphinx-static/custom.css @@ -20,7 +20,7 @@ div.sphinxsidebar { font-size: inherit; overflow-y: auto; } /* Tweak document margins and don't force width */ div.document { - margin: 20px 10px 0 10px; + margin: 20px 10px 0 10px; width: auto; } @@ -151,3 +151,9 @@ div.sphinxsidebar a:hover { text-decoration: underline; text-underline-offset: 0.3em; } + +a.manpage { + font-style: normal; + font-weight: bold; + font-family: "Courier New", Courier, monospace; +} |