mirror of
https://github.com/torvalds/linux.git
synced 2026-05-31 10:33:41 +02:00
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>
This commit is contained in:
parent
9088a767e7
commit
653793b8a3
|
|
@ -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;
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user