diff options
Diffstat (limited to 'style.css')
-rw-r--r-- | style.css | 40 |
1 files changed, 20 insertions, 20 deletions
@@ -16,6 +16,11 @@ ul, ol, dl { margin-top: 0em; margin-bottom: 0em; } li, dt { margin-top: 1em; } +.center { + margin: auto; + width: 99%; +} + .permalink { border-bottom: thin dotted; color: inherit; font: inherit; @@ -57,9 +62,8 @@ td.foot-os { text-align: right; } .Nd { display: inline; } .Sh { margin-top: 1.2em; margin-bottom: 0.6em; -/* margin-left: 3.2em;*/ - font-size: 110%; - text-align: left;} + text-align: left; + font-size: 110%; } .Ss { margin-top: 1.2em; margin-bottom: 0.6em; margin-left: -1.2em; @@ -240,15 +244,16 @@ a.In { } font-family: monospace; } img { - padding: 10px; + padding: 5px; } + /* Overrides to avoid excessive margins on small devices. */ @media (max-width: 37.5em) { .manual-text { margin-left: 0.5em; } -.Sh, .Ss { margin-left: 0em; } +.Sh, .Ss { margin-left: 0; } .Bd-indent { margin-left: 2em; } .Bl-hang > dd { margin-left: 2em; } @@ -262,27 +267,22 @@ img { @media (prefers-color-scheme: dark) { /* If the operating system is using dark mode, then apply this CSS */ body { - background: #46494f; + background: #292b33; } td { - color: white; + color: #F5F5F5; } - h1 { - color: white; + h1,h2 { + color: #F5F5F5; } + p { - color: white; + color: #F5F5F5; } section { - color: white; + color: #F5F5F5; } - .permalink { - color: #6d8ecf; + a:link:not(.permalink),a:visited:not(.permalink) { + color: #b9cffb; } - a:link { - color: #6d8ecf; - } - a:visited { - color: #f6baff; - } -} +}
\ No newline at end of file |