@media (prefers-color-scheme: light){body{color:#222;background-color:#eee}body .secondary{color:gray}body a,body a:link,body a:visited{color:#5353ff}body a:hover{color:#0000b9}body blockquote{border-left:2px solid gray}body code{background-color:#ddd}body pre code{background-color:transparent}body .footnote-definition sup{color:gray}}@media (prefers-color-scheme: dark){body{color:#eee;background-color:#161616}body .secondary{color:#999}body a,body a:link,body a:visited{color:#5353ff}body a:hover{color:#8686ff}body blockquote{border-left:2px solid #999}body code{background-color:#444}body pre code{background-color:transparent}body .footnote-definition sup{color:#999}}.dark-mode-buttons{position:absolute;top:1em;right:1em}.dark-mode-button{border:none;background-color:transparent}.dark-mode-button:hover{cursor:pointer}body:not(.dark-mode){color:#222;background-color:#eee}body:not(.dark-mode) .secondary{color:gray}body:not(.dark-mode) a,body:not(.dark-mode) a:link,body:not(.dark-mode) a:visited{color:#5353ff}body:not(.dark-mode) a:hover{color:#0000b9}body:not(.dark-mode) blockquote{border-left:2px solid gray}body:not(.dark-mode) code{background-color:#ddd}body:not(.dark-mode) pre code{background-color:transparent}body:not(.dark-mode) .footnote-definition sup{color:gray}body:not(.dark-mode) #dark-mode-on{display:inline}body:not(.dark-mode) #dark-mode-off{display:none}body.dark-mode{color:#eee;background-color:#161616}body.dark-mode .secondary{color:#999}body.dark-mode a,body.dark-mode a:link,body.dark-mode a:visited{color:#5353ff}body.dark-mode a:hover{color:#8686ff}body.dark-mode blockquote{border-left:2px solid #999}body.dark-mode code{background-color:#444}body.dark-mode pre code{background-color:transparent}body.dark-mode .footnote-definition sup{color:#999}body.dark-mode #dark-mode-on{display:none}body.dark-mode #dark-mode-off{display:inline}html,body{margin:0;padding:0}body{font-family:Arial, Helvetica, sans-serif;font-size:14pt;line-height:1.3em;padding:5em 25%}.header-links a{margin-right:0.5em}.header-links a:last-of-type{margin-right:0}.space{margin-bottom:2em}.doublespace{margin-bottom:4em}h1,h2,h3,h4,h5,h6{line-height:1.25}img{max-width:100%}blockquote{margin-left:0;padding-left:1em}code{padding:0.1em 0.2em;font-size:12pt}pre{overflow:auto;padding:0.3em}pre code{padding:0}.footnote-definition{margin-top:1em}.footnote-definition:first-of-type{margin-top:3em}.footnote-definition p{display:inline}@media all and (max-width: 1200px){body{padding:3em 15%}}@media all and (max-width: 800px){body{padding:1em 1em}}