s */
span.note, span.warning, span.XXX {
padding-top: 0;
padding-bottom: 0;
}
span.note {
padding-left: 3.5em;
}
span.warning {
padding-left: 6em;
}
span.note::before, span.warning::before {
left: 0;
top: -0.25em;
}
.domintro {
color: var(--note-text);
background: var(--note-bg);
}
.domintro::before {
color: var(--note-heading-text);
background: var(--note-heading-bg);
}
.domintro dt, .domintro dt * {
color: var(--text);
}
.domintro dd p {
margin: 0.5em 0;
}
.domintro dd p:first-child {
margin-top: 0;
}
.domintro dd p:last-child {
margin-bottom: 0;
}
.domintro dd p + p.note, .domintro dd p + p.warning {
/* Fix the gap above */
margin-top: 1.3em;
/* 1.3em = 0.5em + 0.8em */
/* 0.5em = margin-bottom of .domintro dd p */
/* 0.8em = top of .note::before */
}
.domintro dd span.note {
/* Differentiate inline notes from the background */
border: thin solid;
border-left: none;
padding-top: 0.15em; /* 0.15em = padding-top of .note::before */
padding-bottom: 0.15em;
}
.note {
color: var(--note-text);
background: var(--note-bg);
font-style: italic;
}
.note::before {
color: var(--note-heading-text);
background: var(--note-heading-bg);
}
.note em, .note i, .note var, .note cite {
font-style: normal;
}
.warning {
color: var(--warning-text);
background: var(--warning-bg);
font-weight: bolder;
font-style: italic;
}
.warning::before {
color: var(--warning-heading-text);
background: var(--warning-heading-bg);
}
.warning em, .warning i, .warning var, .warning cite {
font-style: normal;
}
.example {
color: var(--example-text);
background: var(--example-bg);
}
.example::before {
color: var(--example-heading-text);
background: var(--example-heading-bg);
}
td > .example, td > .note:not(span), td > .warning:not(span) {
margin-left: 0.8em;
}
td > .example:only-child {
margin: 0 0 0 0.1em;
padding: 0;
}
td > .example:only-child::before {
display: none;
}
.XXX {
color: var(--xxx-text);
background: var(--xxx-bg);
border: solid var(--xxx-border);
}
.critical {
color: var(--critical-text);
background: var(--critical-bg);
border: double thick var(--critical-border);
}
/* Diagrams generally have white backgrounds,
so keeping this color white in darkmode is necessary. */
figure.diagrams { border: thin solid black; background: white; padding: 1em; }
figure.diagrams img { display: block; margin: 1em auto; }
h2:not(.short) { page-break-before: always; }
h2#contents { page-break-before: avoid; }
h1, h2, h3, h4, h5, h6, dt { page-break-after: avoid; }
hgroup p, h1 + h2, hr + h2.no-toc { page-break-before: auto ! important; }
.brief { margin-top: 1em; margin-bottom: 1em; line-height: 1.1; }
.brief > li { margin: 0; padding: 0; }
.brief > li > p, .brief > li > ol, .brief > li > ul, .brief > li > dl {
margin-top: 0;
margin-bottom: 0;
padding-top: 0;
padding-bottom: 0;
}
.category-list { margin-top: -0.75em; margin-bottom: 1em; line-height: 1.5; }
.category-list::before { content: '\21D2\A0'; font-size: 1.2em; font-weight: 900; }
.category-list li { display: inline; }
.category-list li:not(:last-child)::after { content: ', '; }
.tablenote { margin: 0.25em 0; }
.tablenote small { font-size: 0.9em; }
.bookkeeping:before { display: block; content: 'Bookkeeping details'; font-weight: bolder; font-style: italic; }
.bookkeeping { font-size: 0.8em; margin: 2em 0; }
.bookkeeping p { margin: 0.5em 2em; display: list-item; list-style: square; }
.bookkeeping dt { margin: 0.5em 2em 0; }
.bookkeeping dd { margin: 0 3em 0.5em; }
h4 { position: relative; z-index: 3; }
h4 + .element, h4 + div.status + .element { margin-top: -2.75em; padding-top: 1.5em; }
.element { background: var(--element-bg); color: var(--element-text); margin: 0 0 1em -0.15em; padding: 0 1em 0.25em 1em; }
.element:not(:hover) > dt > :link, .element:not(:hover) > dt > :visited { color: inherit; text-decoration: none; }
table.css-property caption { text-align: left; font: inherit; font-weight: bolder; }
table.css-property th { font: inherit; font-style: italic; text-align: left; padding-left: 2em; }
td.non-rectangular-cell-continuation { border-left-style: hidden; }
td.non-rectangular-cell-indentation { border-top-style: hidden; min-width: 2em; }
.hide { display: none }
.head { margin: 0 0 1em; padding: 1em 0 0 0; display: block; }
.head p:not(hgroup p) { margin: 0; }
.head h1 { margin: 0 100px 0 0; }
hgroup p, .head h2 { margin: 0 100px 1em 0; }
@media (max-width: 767px) {
.head .logo img { width: 4em; height: 4em; }
.head h1, .head h2, hgroup p { margin-right: 5rem; }
}
.head dl { margin: 1em 0; }
p.copyright { font-size: 0.6em; font-style: oblique; margin: 0; }
nav { margin: 5em 0 0 0; }
header + nav { margin: 1em 0; }
#head nav {
text-align: center;
margin: auto;
}
#head nav > div {
display: inline-block;
}
#head nav > div > a {
display: inline-block;
white-space: nowrap;
font: 1em/1 Helvetica Neue, sans-serif, Droid Sans Fallback;
text-decoration: none;
width: auto;
margin: 0.5em;
color: var(--navblock-text);
text-align: center;
}
@keyframes stand-out {
0%, 95% { transform: scale(1.4); box-shadow: 0 2px 10px gray; }
}
html:not(.split) #multipage-link { animation: 10s ease 0s 1 stand-out; }
#head nav > div > a { box-shadow: 0 0 2px #3C790A; background: #3C790A; }
#head nav > div > a.comms { box-shadow: 0 0 2px #165FCC; background: #165FCC; } /* #165FCC #43679D #0B2F66 */
#head nav > div > a.feedback { box-shadow: 0 0 2px #FF3E3A; background: #FF3E3A; } /* #FF3E3A #CD6B6A #990300 */
#head nav > div > a.changes { box-shadow: 0 0 2px #54B29A; background: #54B29A; } /* #54B29A #6A9A8E #28584C */
#head nav > div > a.misc { box-shadow: 0 0 2px #FFA32D; background: #FFA32D; } /* #FFA32D #CB9D62 #945400 */
#head nav > div > a > * > * {
display: block;
padding: 0.1em 1em 0.1em;
background: var(--navblock-mask-bg);
color: var(--navblock-text);
font: inherit;
overflow: hidden;
text-overflow: ellipsis;
}
#head nav > div > a > * > *:first-child {
padding-top: 0.5em;
}
#head nav > div > a > * > *:last-child {
padding-bottom: 1em;
}
#head nav > div > a > * > strong {
color: var(--navblock-a-text);
text-decoration: underline;
padding-bottom: 0.5em;
}
#head nav > div > a > * > code {
font-size: 0.8em;
}
@media (max-width: 767px) {
#head nav { text-align: left; }
#head nav > div { display: inline; }
#head nav > div > a { width: 48%; margin: 0.1em; }
#head nav > div > a > * > * { padding: 0.1em 0.5em 0.5em; }
#head nav > div > a > * > code { font-size: 0.7em; }
}
p.copyright { text-align: center; }
p.copyright > span { display: inline-block; border: none; }
@media print {
html { font-size: 8pt; }
@page { margin: 1cm 1cm 1cm 1cm; }
@page :left {
@bottom-left {
font: 6pt Helvetica Neue, sans-serif, Droid Sans Fallback;
content: counter(page);
padding-top: 0em;
vertical-align: top;
}
}
@page :right {
@bottom-right {
font: 6pt Helvetica Neue, sans-serif, Droid Sans Fallback;
content: counter(page);
text-align: right;
vertical-align: top;
padding-top: 0em;
}
}
a[href^="#"]::after { font-size: 0.6em; vertical-align: super; padding: 0 0.15em 0 0.15em; content: "p" target-counter(attr("href"), page); }
.toc a::after { font: inherit; vertical-align: baseline; padding: 0; content: leader('.') target-counter(attr("href"), page); }
pre a[href^="#"]::after, blockquote a[href^="#"]::after { content: ""; padding: 0; }
table { font-size: smaller; }
}
/* DOM tree */
ul.domTree { color: var(--domtree-text); background: var(--domtree-bg); }
ul.domTree span { font-style: italic; font-family: serif, Droid Sans Fallback; }
ul.domTree .t1 > code { color: var(--domtree-t1); font-weight: bold; }
ul.domTree .t2 { color: var(--domtree-t2); font-style: normal; font-family: monospace, Droid Sans Fallback; }
ul.domTree .t2 .name { color: var(--domtree-t2-name); font-weight: bold; }
ul.domTree .t2 .value { color: var(--domtree-t2-value); font-weight: normal; }
ul.domTree .t3 > code { color: var(--domtree-t3); }
ul.domTree .t4 > code { color: var(--domtree-t4); }
ul.domTree .t5 > code { color: var(--domtree-t5); }
ul.domTree .t6 > code { color: var(--domtree-t6); }
ul.domTree .t7 > code { color: var(--domtree-t7); }
ul.domTree .t8 > code { color: var(--domtree-t8); }
ul.domTree .t9 > code { color: var(--domtree-t9); }
ul.domTree .t10 > code { color: var(--domtree-t10); }
ul.domTree code :link, ul.domTree code :visited { color: inherit; }
/* Note: Bikeshed uses pre.highlight/pre.idl; HTML uses pre > code */
/* Some s are not highlighted, e.g. output listings */
pre {
margin: 0.5em 2em;
white-space: pre-wrap;
font-style: normal;
}
pre > code, pre.highlight, pre.idl {
display: block;
padding: 0.5em 1em;
overflow: auto;
border-radius: 0.3em;
background: var(--pre-bg);
}
pre > code.idl,
pre.idl,
pre > code.css,
pre.highlight.lang-css {
border: solid 0.0625em;
border-top-left-radius: 0;
}
pre > code.idl::before,
pre.idl::before,
pre > code.css::before,
pre.highlight.lang-css::before {
font: bold 0.8rem Helvetica Nue, sans-serif;
padding: 0.5em;
position: absolute;
top: auto;
margin: -0.703125em 0 0 -3.75em /* 1em/0.8 + 1.5em + 0.5em*2 */;
width: 1.5em;
background: inherit;
border: 0.078125em;
border-style: solid none solid solid;
border-radius: 1em 0 0 1em;
}
pre > code.idl, pre.idl {
color: var(--pre-idl-text);
background: var(--pre-idl-bg);
}
pre > code.css, pre.highlight.lang-css {
color: var(--pre-css-text);
background: var(--pre-css-bg);
}
@media (max-width: 767px) {
pre > code.idl, pre.idl, pre > code.css, pre.highlight.lang-css {
padding-left: 0.33em;
}
pre > code.idl::before, pre.idl::before, pre > code.css::before, pre.highlight.lang-css::before {
width: 2.3em;
}
}
/* https://github.com/speced/bikeshed/blob/main/bikeshed/stylescript/var-click-highlighting.css: */
/*
Colors were chosen in Lab using https://nixsensor.com/free-color-converter/
D50 2deg illuminant, L in [0,100], a and b in [-128, 128]
0 = lab(85,0,85)
1 = lab(85,80,30)
2 = lab(85,-40,40)
3 = lab(85,-50,0)
4 = lab(85,5,15)
5 = lab(85,-10,-50)
6 = lab(85,35,-15)
For darkmode:
0 = oklab(50% 0% 108%)
1 = oklab(50% -51% 51%)
2 = oklab(50% -64% -20%)
3 = oklab(50% 6% 19%)
4 = oklab(50% -12% -64%)
5 = oklab(50% 44% -19%)
6 = oklab(50% 102% 38%)
*/
[data-algorithm] var { cursor: pointer; }
var[data-var-color] { background-color: var(--var-bg); box-shadow: 0 0 0 2px var(--var-bg); }
var[data-var-color] { --var-bg: #F4D200; }
var[data-var-color="1"] { --var-bg: #FF87A2; }
var[data-var-color="2"] { --var-bg: #96E885; }
var[data-var-color="3"] { --var-bg: #3EEED2; }
var[data-var-color="4"] { --var-bg: #EACFB6; }
var[data-var-color="5"] { --var-bg: #82DDFF; }
var[data-var-color="6"] { --var-vg: #FFBCF2; }
@media (prefers-color-scheme: dark) {
var[data-var-color] { --var-bg: #bc1a00; }
var[data-var-color="1"] { --var-bg: #007f00; }
var[data-var-color="2"] { --var-bg: #008698; }
var[data-var-color="3"] { --var-bg: #7f5b2b; }
var[data-var-color="4"] { --var-bg: #004df3; }
var[data-var-color="5"] { --var-bg: #a1248a; }
var[data-var-color="6"] { --var-vg: #ff0000; }
}