version 1.45, 2019/03/01 10:57:18 |
version 1.46, 2019/06/02 16:57:13 |
|
|
|
|
/* Global defaults. */ |
/* Global defaults. */ |
|
|
html { max-width: 65em; } |
html { max-width: 65em; |
body { font-family: Helvetica,Arial,sans-serif; } |
--bg: #FFFFFF; |
|
--fg: #000000; } |
|
body { background: var(--bg); |
|
color: var(--fg); |
|
font-family: Helvetica,Arial,sans-serif; } |
|
h1 { font-size: 110%; } |
table { margin-top: 0em; |
table { margin-top: 0em; |
margin-bottom: 0em; |
margin-bottom: 0em; |
border-collapse: collapse; } |
border-collapse: collapse; } |
Line 69 td.foot-os { text-align: right; } |
|
Line 74 td.foot-os { text-align: right; } |
|
section.Sh { } |
section.Sh { } |
h1.Sh { margin-top: 1.2em; |
h1.Sh { margin-top: 1.2em; |
margin-bottom: 0.6em; |
margin-bottom: 0.6em; |
margin-left: -3.2em; |
margin-left: -3.2em; } |
font-size: 110%; } |
|
section.Ss { } |
section.Ss { } |
h2.Ss { margin-top: 1.2em; |
h2.Ss { margin-top: 1.2em; |
margin-bottom: 0.6em; |
margin-bottom: 0.6em; |
Line 310 h1.Sh::before, h2.Ss::before, .St::before, .Sx::before |
|
Line 314 h1.Sh::before, h2.Ss::before, .St::before, .Sx::before |
|
pointer-events: none; |
pointer-events: none; |
position: absolute; |
position: absolute; |
bottom: 100%; |
bottom: 100%; |
box-shadow: 0 0 .35em #000; |
box-shadow: 0 0 .35em var(--fg); |
padding: .15em .25em; |
padding: .15em .25em; |
white-space: nowrap; |
white-space: nowrap; |
font-family: Helvetica,Arial,sans-serif; |
font-family: Helvetica,Arial,sans-serif; |
font-style: normal; |
font-style: normal; |
font-weight: bold; |
font-weight: bold; |
color: black; |
background: var(--bg); |
background: #fff; } |
color: var(--fg); } |
.An:hover::before, .Ar:hover::before, .Cd:hover::before, .Cm:hover::before, |
.An:hover::before, .Ar:hover::before, .Cd:hover::before, .Cm:hover::before, |
.Dv:hover::before, .Em:hover::before, .Er:hover::before, .Ev:hover::before, |
.Dv:hover::before, .Em:hover::before, .Er:hover::before, .Ev:hover::before, |
.Fa:hover::before, .Fd:hover::before, .Fl:hover::before, .Fn:hover::before, |
.Fa:hover::before, .Fd:hover::before, .Fl:hover::before, .Fn:hover::before, |
Line 344 h1.Sh, h2.Ss { margin-left: 0em; } |
|
Line 348 h1.Sh, h2.Ss { margin-left: 0em; } |
|
margin-left: -2em; } |
margin-left: -2em; } |
.HP { margin-left: 2em; |
.HP { margin-left: 2em; |
text-indent: -2em; } |
text-indent: -2em; } |
|
} |
|
|
|
/* Overrides for a dark color scheme for accessibility. */ |
|
|
|
@media (prefers-color-scheme: dark) { |
|
html { --bg: #1E1F21; |
|
--fg: #EEEFF1; } |
|
:link { color: #BAD7FF; } |
|
:visited { color: #F6BAFF; } |
} |
} |