diff options
Diffstat (limited to 'mandoc.css')
| -rw-r--r-- | mandoc.css | 22 |
1 files changed, 16 insertions, 6 deletions
@@ -10,12 +10,15 @@ /* Global defaults. */ -html { max-width: 65em; - --bg: #FFFFFF; +html { --bg: #FFFFFF; --fg: #000000; } body { background: var(--bg); color: var(--fg); - font-family: Helvetica,Arial,sans-serif; } + font-family: monospace,Helvetica,Arial,sans-serif; + max-width: 80ch; + margin: 1em auto; + padding: 0 1ch; + font-family: monospace,Helvetica,Arial,sans-serif; } h1, h2 { font-size: 110%; } table { margin-top: 0em; margin-bottom: 0em; @@ -41,8 +44,13 @@ pre { font-family: inherit; } /* Search form and search results. */ +form { position: sticky; + top: 0px; + background-color: var(--bg); + z-index: 1; } + fieldset { border: thin solid silver; - border-radius: 1em; + border-radius: 0.3em; text-align: center; } input[name=expr] { width: 25%; } @@ -57,6 +65,7 @@ div[role=doc-pageheader] { display: flex; border-bottom: 1px dotted #808080; margin-bottom: 1em; + overflow-wrap: anywhere; font-size: smaller; } .head-ltitle { flex: 1; } .head-vol { flex: 0 1 auto; @@ -69,6 +78,7 @@ div[role=doc-pagefooter] { justify-content: space-between; border-top: 1px dotted #808080; margin-top: 1em; + overflow-wrap: anywhere; font-size: smaller; } .foot-left { flex: 1; } .foot-date { flex: 0 1 auto; @@ -361,8 +371,8 @@ h2.Sh, h3.Ss { margin-left: 0em; } /* Overrides for a dark color scheme for accessibility. */ @media (prefers-color-scheme: dark) { -html { --bg: #1E1F21; - --fg: #EEEFF1; } +html { --bg: #000000; + --fg: #FFFFFF; } :link { color: #BAD7FF; } :visited { color: #F6BAFF; } } |