nav { display:none }
html { color:black; background:none }
main { font-size:70%; line-height:100% }
article, table { break-inside:avoid-page; }
article { break-after:page }
article:first-of-type { break-inside:revert; }
h1 code, h2 code, h3 code { font-weight:500 }
h1 { margin-top:0em; margin-bottom:0.3em; font-size:2em }
h2 { margin-top:2em; margin-bottom: 0.5em }
h3 { margin-top:1.4em; margin-bottom:0em }
p { margin:0.4em 0 0.8em 0; text-align:justify; text-justify:inter-word }
code { font-size:1em; font-family:"Fira Code"; font-weight:400 }
a { color:black; text-decoration-style:dotted; padding:0.1em 0.2em }
a:hover { background:black; color:white }
table { border-collapse:collapse; margin:1em 0 }
td, th { border:1px solid #ccc; padding:0.08em 0.2em; font-size:0.8em }
aside { line-height:110%; padding-left:0.4em; border-left:2px solid black }
div.math-rendered { font-size:80% }
#floating-buttons { display:none }

pre, table { margin:2em 0 }
ul { padding-left:1em }
ul > li { padding-left:0.5em; text-indent:-0.5em; margin-bottom:0.4em }
ul > li.checkbox { list-style:none; text-indent:-2em }