@media (prefers-color-scheme:dark){body{background:#1e1e1e;color:#e9eeeb}:link{color:#fffa03}:visited{color:#ff8802}}b{color:red}pre{font-size:12px}body{font-family:sans-serif;font-size:small}table,td,th{empty-cells:hide;padding:3px;border:1px solid gray;border-collapse:collapse;font-size:inherit}tbody{text-align:left}td.num{text-align:right}