@charset "utf-8"; :root{--block-background:#f8f8f8;--small:12px;--normal:16px;--text-color:hsv(0,0%,20%)}@font-face{font-family:DejaVu;src:url(/assets/DejaVuSerif.woff2) format("woff2")}@font-face{font-family:FiraMono;src:url(/assets/firamono.woff2) format("woff2")}html{font-family:DejaVu,serif;font-size:var(--normal);color:var(--text-color)}pre{margin:0}.franklin-content .row{display:block}.franklin-content .left{float:left;margin-right:15px}.franklin-content .right{float:right}.franklin-content .container img{width:auto;padding-left:0;border-radius:10px}.franklin-content .footnote{position:relative;top:-0.5em;font-size:70%}.franklin-content .page-foot a{text-decoration:none;color:#a6a2a0;text-decoration:underline}.page-foot{font-size:80%;font-family:Arial,serif;color:#a6a2a0;text-align:center;margin-top:6em;border-top:1px solid lightgrey;padding-top:2em;margin-bottom:4em}.franklin-toc li{margin:.6rem 0}p{margin-top:20px;margin-bottom:20px}.franklin-content{text-align:justify;position:relative;padding-left:5%;padding-right:5%;line-height:1.8em}@media (min-width:940px){.franklin-content{width:800px;margin-left:auto;margin-right:auto}}@media (max-width:480px){.franklin-content{padding-left:2%;padding-right:2%}}.franklin-content h1{font-size:24px}.franklin-content h2{font-size:22px}.franklin-content h3{font-size:20px}.franklin-content h1,h2,h3,h4,h5,h6{text-align:left}.franklin-content h1{padding-bottom:0;border-bottom:3px double lightgrey;margin-top:1.5em;margin-bottom:0}.franklin-content h2{padding-bottom:0;border-bottom:1px solid lightgrey;margin-top:2em;margin-bottom:0}.franklin-content h1 a{color:inherit;text-decoration:none}.franklin-content h1 a:hover{text-decoration:none}.franklin-content h1 a:visited{color:inherit;text-decoration:none}.franklin-content h2 a{color:inherit;text-decoration:none}.franklin-content h2 a:hover{text-decoration:none}.franklin-content h2 a:visited{color:inherit;text-decoration:none}.franklin-content h3 a{color:inherit;text-decoration:none}.franklin-content h3 a:hover{text-decoration:none}.franklin-content h3 a:visited{color:inherit;text-decoration:none}.franklin-content h4 a{color:inherit;text-decoration:none}.franklin-content h4 a:hover{text-decoration:none}.franklin-content h4 a:visited{color:inherit;text-decoration:none}.franklin-content h5 a{color:inherit}.franklin-content h5 a:hover{text-decoration:none}.franklin-content h5 a:visited{color:inherit;text-decoration:none}.franklin-content h6 a{color:inherit}.franklin-content h6 a:hover{text-decoration:none}.franklin-content h6 a:visited{color:inherit;text-decoration:none}.franklin-content table{margin-left:auto;margin-right:auto;border-collapse:collapse;text-align:center}.franklin-toc ol{list-style-type:disc}.franklin-toc ol ol{list-style-type:circle}.toc-header{font-size:22px;padding-bottom:.3em;margin-top:2em}.franklin-toc{background-color:#fafafa;padding-top:5px;padding-right:10px;padding-left:10px;padding-bottom:5px;margin-left:5px;margin-top:5px;margin-bottom:5px;border-radius:0 10px 10px 0;border:1px solid grey}.franklin-content th,td{font-size:var(--small);padding:10px;border:1px solid black}.franklin-content blockquote{background:var(--block-background);border-left:7px solid #a8a8a8;margin:1.5em 10px;padding:.5em 10px;font-style:italic}.franklin-content blockquote p{display:inline}.franklin-content ul{text-align:left;padding-left:15px}.franklin-content ol{text-align:left;padding-left:15px}.franklin-content li p{margin:10px 0}.franklin-content a{text-decoration:underline}.franklin-content a:hover{text-decoration:underline}.franklin-content a:visited{text-decoration:underline;color:#5a7ad7}.franklin-toc li a{text-decoration:none;color:inherit}.franklin-toc li a:visited{text-decoration:none;color:inherit}.franklin-content .eqref a{color:green}.franklin-content .bibref a{color:green}.franklin-content sup{font-size:70%;vertical-align:super;line-height:0}.franklin-content table.fndef{margin:0;margin-bottom:10px}.franklin-content .fndef tr,td{padding:0;border:0;text-align:left}.franklin-content .fndef tr{border-left:4px solid lightgray}.franklin-content .fndef td.fndef-backref{vertical-align:top;font-size:70%;padding-left:5px}.franklin-content .fndef td.fndef-content{font-size:80%;padding-left:10px;width:100%}.franklin-content img{width:70%;text-align:center;padding-left:10%}.franklin-content .img-small img{width:50%;text-align:center;padding-left:20%}body{counter-reset:eqnum}.katex{font-size:1em !important}.katex-display .katex{display:inline-block;white-space:normal}.katex-display::after{counter-increment:eqnum;content:"(" counter(eqnum) ")";position:relative;float:right;padding-right:5px}code{font-family:FiraMono,monospace;background-color:var(--block-background);padding:.1em .2em;border-radius:2px}.hljs{line-height:1.3em;border-radius:10px}.hljs-meta,.hljs-metas,.hljs-metap{font-weight:bold}.hljs-meta{color:#19b333}.hljs-metas{color:red}.hljs-metap{color:#3383e7}.franklin-content .colbox-blue{background-color:#eef3f5;padding-top:5px;padding-right:10px;padding-left:10px;padding-bottom:5px;margin-left:5px;margin-top:5px;margin-bottom:5px;border-radius:0 10px 10px 0;border-left:5px solid #4c9cf1}.shellcode{--block-background:#262626;color:#e2e2ee}.juliacode{--block-background:#fff8ff;color:#inherit;border:1px solid purple;border-radius:10px}.pythoncode{--block-background:#f8f8ff;color:#inherit;border:1px solid blue;border-radius:10px}.rustcode{--block-background:#fff8f8;color:#inherit;border:1px solid orange;border-radius:10px}