a{color:#2f6fab;text-decoration:none}a:visited{color:#345366}abbr{cursor:help}h2 abbr{border-bottom:1px dotted}p abbr{border-bottom:1px dotted}a abbr{border-bottom:none}blockquote{font-style:italic;margin:1.5em 1em;padding:0 1em;margin-left:1vw;margin-right:1vw;padding-left:1vw;padding-right:1vw;color:#555;border-top:1px #999 solid;border-bottom:1px #999 solid}body{font-family:Vollkorn,georgia,serif;max-width:40em;margin:2em auto 1em auto;padding:0 2em}caption{font-style:italic;margin:1.5em 0;text-align:center}cite:before{content:"\2014"}cite{display:block;left:-2em;position:relative;text-align:right}dl dl{clear:left;margin-left:1.5em}li code,p code,dt code,dd code,.path,.flag,.var{background-color:#fefaf0!important;font-family:'IBM Plex Mono',monospace;font-size:87.5%;font-style:normal;white-space:nowrap}dt{clear:left;font-weight:bold;float:left;margin-right:.5em}dt a{font-weight:bold}dt:after{content:':'}em{font-style:italic}h1{font-size:175%;letter-spacing:.3em;line-height:1;text-transform:uppercase;margin:1.4em 0}h1 a{color:#685c82;text-decoration:none}h1 a:visited{color:#685c82}h2{font-size:150%;line-height:1;margin:1em 0;color:#d03a27}h3{font-size:110%;line-height:1.3636363636;margin:1.3636363636em 0}h3,th{color:#700;letter-spacing:.1em;text-transform:lowercase;font-variant:small-caps}h4{font-size:90%;font-weight:bold;line-height:1.666666667;margin:1.666666667em 0}h5{font-style:italic;margin:1.5em 0}html{color:#222;background-color:#ffe;font-size:20px}ol,ul{margin:1.5em 0 1.5em 2em;position:relative;left:-2em}ul ul,ol ul,dl ul{margin-left:4em}ol{list-style-type:lower-greek}ol ol,dl ol,ul ol{margin-left:4em}p{margin:1.5em 0}strong{font-weight:bold}sub{font-size:75%;vertical-align:sub}sup{font-size:75%;vertical-align:super}table{margin:1.5em auto}table.checklist th,table.checklist td{text-align:center}td,th{padding-right:3em}th{text-align:left;white-space:nowrap}tt{font-family:'IBM Plex Mono',monospace;font-size:87.5%;font-style:normal}ul{list-style-type:disc}var{font-style:italic;white-space:nowrap}.categories{white-space:nowrap}.categories:after{content:".";display:block;height:0;clear:both;visibility:hidden}ul.categories li:before{content:''}.categories>li{float:left;margin-right:3em}.centered{display:block;margin:0 auto}img.centered{margin-bottom:1.5em;margin-top:1.5em}.cleared{clear:both}.clearfix{display:block}.clearfix:after{content:".";display:block;height:0;clear:both;visibility:hidden}.cmd{font-family:'IBM Plex Mono',monospace;font-style:normal;font-size:87.5%;padding-bottom:0.5em;padding-top:0.5em;overflow-x:auto;white-space:pre}.cmd .prompt{color:#5274a0}.cmd .root.prompt{color:#af5473}.cmd .input{color:#222}.cmd .input,.cmd .output{margin:0;padding:0;padding-left:1em;text-indent:-1em}.code_wrapper{font-family:'IBM Plex Mono',monospace;font-size:87.5%;margin-bottom:1.5em;margin-left:1vw;overflow:auto;position:relative;width:100%}.code_wrapper pre{position:absolute;top:0;display:block;white-space:pre;left:1.3em;padding:0.5em;padding-right:0}.creepy-asterisks:before,.creepy-asterisks:after{content:"*"}.creepy-asterisks{font-weight:bold}.discontinued,.purchased,.redacted{text-decoration:line-through}.footnote{font-size:75%;position:relative;top:-.5em;font-style:italic;text-decoration:none;font-variant:normal;letter-spacing:normal}.footnote:hover{text-decoration:underline}.invisible{left:-10000px;position:absolute}.line_numbers{font-family:Vollkorn,georgia,'IBM Plex Mono',monospace;text-align:right;padding:0.5em .25em 0.5em 0;color:#700;width:1em;border-right:1px #700 dotted}.love{font-size:.75em}.mathbf{font-weight:bold}.program{font-style:italic;white-space:nowrap}.key{font-family:'IBM Plex Mono',monospace;font-size:87.5%;white-space:nowrap}.date-updated{margin-top:-2em}.posted-at{color:#555;font-size:75%;font-style:italic}.qed{display:block;float:right;line-height:1;font-size:150%}.results{clear:both;padding-left:1.5em;padding-right:1.5em;margin-bottom:1em}.results .screenshot{text-align:center;width:360px}.results .screenshot.before{float:left}.results .screenshot.after{float:right}.test-success{color:#090}p.theorem,p.proposition,p.corollary{font-style:italic}p.theorem h4,p.proposition h4,p.corollary h4{display:inline;font-weight:bold;font-size:inherit;line-height:inherit}p.theorem h4:after,p.proposition h4:after,p.corollary h4:after{content:'.'}a.title{font-style:italic}.tweets{list-style-type:decimal}#footer{clear:both;padding-top:3em;text-align:center;font-size:85%;font-style:italic;color:#555}ol#footnotes{border-top:1px #c03926 solid;padding-top:2.667em;font-size:75%;margin-right:20em;text-align:justify;list-style:decimal}#make-universe{float:right;margin:1em -3em 1em 1em;width:12em}p#rss{float:right;margin:0}