:root{--link-color:#732c2c;--sidebar-color:#732c2c;--body-bg:#fff;--body-color:#515151}@media(prefers-color-scheme:dark){:root{--body-bg:#707070;--body-color:#AAAAAA}}body{background-color:var(--body-bg);color:var(--body-color)}.sidebar{background-color:var(--sidebar-color)}.read-more-link a{border-color:var(--link-color)}.pagination li a{color:var(--link-color);border:1px solid var(--link-color)}.pagination li.active a{background-color:var(--link-color)}.pagination li a:hover{background-color:var(--link-color);opacity:.75}footer a,.content a,.related-posts li a:hover{color:var(--link-color)}.post-date{color:var(--body-color)}.toc{float:right;font-size:80%;width:25%}.not-mobile{display:none}@media only screen and (min-width:48em){.not-mobile{display:block}}pre{white-space:pre;word-wrap:normal;overflow-x:auto}.project-logo{float:right;margin-left:2em}.reprint{margin:2em;font-style:italic;color:var(--body-color)}.coauthor{font-style:italic;color:var(--body-color)}@media only screen and (max-width:48em){.sidebar{padding:.5rem .25rem}.sidebar li{text-align:left;display:inline-block;padding-left:.5em}.sidebar-about h1{font-size:1.5rem}}.sidebar-ad{margin-top:1em}.thumbnail-list{float:right;width:100px;margin-left:.25em;margin-bottom:.25em}.categories-list li{display:inline-block;padding:.25em;margin:.1em;border:1px solid;border-color:var(--link-color);border-radius:4px}.categories-list a:hover{text-decoration:none}.button{padding:.25em;margin:.1em;border:1px solid;border-color:var(--link-color);border-radius:4px}.button a:hover{text-decoration:none}