:root{--font-body:Helvetica, Arial, sans-serif;--font-ui:Arial, Helvetica, sans-serif;--font-mono:monospace;--font-size:19px;--font-size-sm:14px;--bg-primary:#fff;--bg-secondary:#ececec;--bg-tertiary:#ebf0f6;--bg-code-block:#f0f0f0;--bg-code-output:#fafafa;--bg-table-head:#eae9f4;--bg-callout:#eef3f5;--bg-input:#fff;--text-primary:#1a1a1a;--text-secondary:#001b40;--text-muted:#a6a2a0;--text-accent:var(--text-secondary);--link-primary:#1476c0;--link-visited:#584a7f;--border-color:#ddd;--border-strong:lightgray;--accent-color:#7a7a7a;--callout-border:#4c9cf1;--blockquote-border:#a8a8a8;--spf-primary-r:64;--spf-primary-g:151;--spf-primary-b:234;--spf-secondary-r:20;--spf-secondary-g:118;--spf-secondary-b:192;--pagefind-ui-font:Helvetica, Arial, sans-serif}@media (prefers-color-scheme:dark){:root{--bg-primary:#222323;--bg-secondary:#434549;--bg-tertiary:#1d1d21;--bg-code-block:#27272a;--bg-code-output:#1f1f22;--bg-table-head:#1e2040;--bg-callout:#1a2535;--bg-input:#222323;--text-primary:#ebf0f6;--text-secondary:#55b1f1;--text-muted:#71717a;--text-accent:var(--text-secondary);--link-primary:#55b1f1;--link-visited:#baabf7;--border-color:#3f3f46;--border-strong:#52525b;--accent-color:#52525b;--callout-border:#55b1f1;--blockquote-border:#52525b;--spf-primary-r:96;--spf-primary-g:165;--spf-primary-b:250;--spf-secondary-r:59;--spf-secondary-g:130;--spf-secondary-b:246;--pagefind-ui-font:Helvetica, Arial, sans-serif;--pagefind-ui-primary:#ebf0f6;--pagefind-ui-text:#ebf0f6;--pagefind-ui-background:#222323;--pagefind-ui-border:#222323}}html{font-family:var(--font-body);font-size:var(--font-size);color:var(--text-primary);background-color:var(--bg-primary)}body{counter-reset:eqnum;margin:0;padding:0}.content{background-color:var(--bg-primary);color:var(--text-primary);padding-left:12.5%;padding-right:12.5%;line-height:1.35em;position:relative}@media (width>=940px){.content{width:705px;margin-left:auto;margin-right:auto}}@media (width<=480px){.content{padding-left:6%;padding-right:6%}}.content .row{display:block}.content .left{float:left;margin-right:15px}.content .right{float:right}.content .container img{border-radius:10px;width:auto;padding-left:0}.content .footnote{font-size:70%;position:relative;top:-.5em}.content h1,.content h2,.content h3,.content h4,.content h5,.content h6{text-align:left;color:var(--text-primary)}.content h1{font-size:24px}.content h2{font-size:22px}.content h3{font-size:20px}.content h1{border-bottom:3px double var(--border-color);margin-top:1.5em;margin-bottom:1em;padding-bottom:.5em}.content h2{border-bottom:1px solid var(--border-color);margin-top:2em;margin-bottom:1em;padding-bottom:.3em}.content h1 a,.content h2 a,.content h3 a,.content h4 a,.content h5 a,.content h6 a{color:inherit}.content h1 a:hover,.content h2 a:hover,.content h3 a:hover,.content h4 a:hover,.content h5 a:hover,.content h6 a:hover{text-decoration:none}.content a{color:var(--link-primary);text-decoration:none}.content a:visited{color:var(--link-visited)}.content a:hover{text-decoration:underline}.content li p{margin:10px 0}.franklin-toc li{margin:.6rem 0}.franklin-toc ol ol{list-style-type:lower-alpha}.content blockquote{background:var(--bg-code-block);border-left:7px solid var(--blockquote-border);color:var(--text-primary);margin:1.5em 10px;padding:.5em 10px;font-style:italic}.content blockquote p{display:inline}.content table{border-collapse:collapse;text-align:center;margin-bottom:1.5em;margin-left:auto;margin-right:auto;line-height:1em}.content thead tr:first-of-type,.content tr:first-of-type{background:var(--bg-table-head)}.content tr:first-of-type>th{text-align:center}.content th,.content td{font-size:var(--font-size-sm);border:1px solid var(--border-strong);padding:10px}.content tbody tr td{border:1px solid var(--border-strong)}spf-text{height:3rem}.content img{text-align:center;width:100%;height:auto}.content hr{border:none;border-top:1px solid var(--border-color);margin:1.5em 0}code{background-color:var(--bg-code-block);font-size:var(--font-size-sm);color:var(--text-primary);border-radius:2px;padding:.1em .2em}.hljs{font-size:var(--font-size-sm);border-radius:10px;line-height:1.35em}.hljs-meta{font-weight:700}.hljs-meta.shell_{color:#dc143c}.hljs-meta.prompt_{color:#19b333}.code-output{background:var(--bg-code-output);border:1px dashed #dbdbdb}pre{position:relative}.copy-button{cursor:pointer;text-transform:uppercase;color:var(--link-primary);background-color:#0000;border:0;padding:6px 10px 10px;font-size:10px;font-weight:500;position:absolute;top:0;right:0}.copy-button:hover,.copy-button:focus,.copy-button:active{background-color:var(--bg-tertiary);outline:0}.katex{font-size:1em!important}.katex-display .katex{white-space:normal;display:inline-block}.katex-display:after{counter-increment:eqnum;content:"(" counter(eqnum) ")";float:right;padding-right:5px;position:relative}.nonumber .katex-display:after{counter-increment:nothing;content:""}.content .eqref a,.content .bibref a{color:green}.content sup{vertical-align:super;font-size:70%;line-height:0}.content table.fndef{margin:0 0 10px}.content .fndef tr,.content .fndef td{text-align:left;border:0;padding:0}.content .fndef tr{border-left:2px solid var(--border-strong)}.content .fndef td.fndef-backref{vertical-align:top;padding-left:5px;font-size:70%}.content .fndef td.fndef-content{width:100%;padding-left:10px;font-size:80%}.content .colbox-blue{background-color:var(--bg-callout);border-left:5px solid var(--callout-border);border-radius:0 10px 10px 0;margin:5px;padding:5px 10px}.content .box-double-space{line-height:2em}.content .box-works-cited p{text-indent:-1em;padding-left:1em}.banner{border-bottom:3px double var(--border-color);margin-top:1.5em;margin-bottom:1em;padding-bottom:.5em}.anchor-icon{transition:transform .1s;transform:translateY(0)}.anchor-icon.clicked{transform:translateY(-.1rem)}.page-foot{color:var(--text-muted);text-align:center;border-top:1px solid var(--border-color);margin-bottom:4em;padding-top:2em;font-family:Arial,serif;font-size:80%}.content .page-foot a{color:var(--text-muted);text-decoration:underline}#footer-design{opacity:.18;width:100%;margin-top:6em;padding:0;bottom:0}.nav-button,.sub-nav-button,.search-input,.search-button{font-family:var(--font-ui)}.border-bottom{border:none;border-bottom:1px solid var(--accent-color)}.border-left{border:none;border-bottom:1px solid var(--accent-color);border-bottom-left-radius:4px}.border-right{border:none;border-bottom:1px solid var(--accent-color);border-bottom-right-radius:4px}.aligned-flex{flex-direction:row;justify-content:space-between;align-items:center;width:100%;height:100%;display:flex}.simple-flex{flex-direction:row;align-items:stretch;width:100%;height:100%;display:flex}.aligned-item-right{margin:0;padding:0;display:flex}header{border-style:none;border-bottom:1px solid var(--border-color);background-color:var(--bg-primary);flex-direction:column;max-width:calc(100vw - 40px);margin-top:50px;margin-bottom:50px;padding:15px 20px;display:flex;box-shadow:0 2px #0000000d}.name-tag{display:flex}.avatar{border-radius:50%;align-self:center;width:1.8rem;height:1.8rem;margin-right:8px}#social-name{color:var(--text-primary);align-self:center;text-decoration:none}#social-icon{width:1rem;height:1rem;image-rendering:pixelated;align-self:center;margin-left:4px}#social-name:hover{color:var(--link-primary)}#social-next-button{color:var(--text-primary);cursor:pointer;background-color:#0000;border:none}#social-next-button:hover{color:var(--link-primary)}input[type=text]{background-color:var(--bg-input);color:var(--text-primary);border:none;border-bottom:1px solid #0000;outline:none;margin:0;padding:8px 12px;font-size:1rem;transition:border-color .2s ease-in-out,box-shadow .2s ease-in-out}input[type=submit]{background-color:var(--bg-input);color:var(--text-primary);cursor:pointer;border:none;outline:none;margin:0;padding:8px 12px;font-size:1rem;transition:border-color .2s ease-in-out,box-shadow .2s ease-in-out}input[type=text]::placeholder{color:var(--text-secondary)}input[type=text]:focus{border-color:var(--link-primary)}input[type=submit]:hover{color:var(--link-primary)}nav{padding-bottom:16px;overflow-x:scroll}nav::-webkit-scrollbar-track{background:var(--bg-secondary)}nav::-webkit-scrollbar-thumb{background:var(--accent-color)}nav::-webkit-scrollbar-thumb:hover{background:var(--link-primary)}.nav-item{align-items:stretch;height:100%;display:flex;position:relative}.nav-item a{text-decoration:none}.nav-button{cursor:pointer;color:var(--link-primary);background-color:#0000;justify-content:stretch;align-items:stretch;padding:10px 15px;font-size:1rem;text-decoration:none;display:flex;position:relative}.nav-button:hover{color:var(--text-primary)}.nav-item.expanded .sub-nav{display:flex}.sub-nav{flex-direction:row;flex-shrink:0;justify-content:stretch;align-self:flex-end;align-items:flex-end;min-width:max-content;height:100%;display:none;position:relative}.sub-nav-button{color:var(--link-primary);cursor:pointer;background-color:#0000;justify-content:stretch;align-self:stretch;max-width:180px;height:auto;padding:8px;font-size:.6rem;display:flex;position:relative}.sub-nav-button:hover{color:var(--text-primary)}@media (width<=480px){header{margin-top:16px;padding-left:6%;padding-right:6%}.aligned-flex{flex-direction:column;align-items:flex-start}.aligned-item-right{flex-direction:row;justify-content:space-between}.search-input{max-width:180px}}@media (width>=940px){header{width:705px;margin-left:auto;margin-right:auto}}