body{color:#2c363a}html.dark-mode body{color:#c5d1d3}blockquote{padding:0 .4em;border-left:#1010ff 2px solid;margin:0}div.pre,pre{margin:0;padding:0;font-family:monospace}