main article pre { font-size: 13px; }
main article code { font-size: 13px; color: #522; white-space: pre-wrap; }
pre span.grey { color: #666667; }
pre span.bin { color: #522 !important; }
pre span.ascii { color: #084B9F; text-shadow: 0 0 1px #084B9F33; }
pre.basic,pre span.token { color: #006800; text-shadow: 0 0 1px #0706; }
pre.tokenlist u, u.example { text-decoration-color: #c00; background-color: #2e02; color: #114; }
pre span.lbl { color: #070; }
pre span.hl { background-color: #22ee001c; color: #060; }
pre span.inst { color: #222 !important; }

main article ul.blue-bullet { margin: 0; border-radius: 1px; }
main article ul.blue-bullet li::marker { color: #99c7d9; }

main article pre span.cmt { color: #002b36; margin-left: 0.15em; }
main article a.label { color: #070; text-decoration: underline #070; text-decoration-color: unset; }
main article a.label:focus,main article a.label:hover { color: #080; background-color: #2e01; }
main article a.label:active { color: #c60; }
main article pre span.ltarget { color: #070; position: relative; }
main article pre span.highlighted { background-color: #22ee001c; border-radius: 2px; }
main article pre.hasHighlight { padding-left: 1.5em }
main article pre.hasHighlight span.ln { padding-left: 0.5em;  color: #522 !important; }
main article pre span.ltarget.highlighted:before,
main article pre > span.highlighted > span.ltarget:before
{
	content: '\2192';
	position: absolute;
	left: -1em;
	top: -0.1em;
	opacity: 0.85;
}

main article aside {
	display: block;
	color: #666667;
	margin: 2em 0 2.5em 0.2em;
	padding: 0 1em 0 1.9em;
	border-left: 1px rgba(155,224,239,0.7) solid;
	text-indent: 0;
}
main article aside p { margin-top: 0; }

div.side-by-side {
	display: flex;
	flex-wrap: nowrap;
	align-content: flex-start;
	align-items: start;
	gap: 3em;
}

.nobr { white-space: nowrap; }
main article h2 { margin: 3em 0 1.1em 0; }
main article h3 { margin: 2em 0 1.1em 0; }
main article h4 { margin: 2em 0 1.1em 0; }