@charset "UTF-8";body{font-size:2em!important}body.colorscheme-dark{background-color:#111}iframe[src*=disqus]{color-scheme:light}.container{max-width:100rem}.highlight div,.highlight pre{padding:1rem;border-radius:1rem;overflow-x:auto}pre{font-family:fira code,SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace;font-variant-ligatures:contextual;font-size:1.6rem;line-height:2.6rem;margin:0;padding:1rem;border-radius:1rem}code{font-family:fira code,SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace;font-variant-ligatures:contextual;font-size:1.6rem;background-color:#f0f0f0}body.colorscheme-dark code{background-color:#1a1a1a}blockquote{font-style:normal}p{white-space:normal;white-space:-moz-normal;white-space:-normal;white-space:-o-normal;margin:1rem 0}table td,table th{border:1px solid #000}.avatar video{width:20rem;height:auto;border-radius:50%}@media only screen and (max-width:768px){.avatar video{width:10rem}}.list ul li{font-size:2.4rem}.list ul li .date{color:#aaa}.list ul li .title{font-size:2.4rem}.content article header h1{font-size:3.8rem;line-height:4rem}@media only screen and (max-width:768px){.content article header h1{font-size:3.6rem;line-height:4rem}}.content article p{text-align:unset}.content hr{border:none;background-color:#fafafa;border-top:3px dotted #ddd;color:#fafafa}.content .post .post-image{text-align:center}body.colorscheme-dark hr{border:none;background-color:#212121;border-top:3px dotted #222;color:#212121}.centered .about ul li a{font-size:2.6rem}.centered .about h2{font-size:2rem;font-weight:400}body.colorscheme-dark .chroma{background-color:#1a1a1a}.chroma .hl{background-color:#f0f0f0}.chroma .cp{font-style:normal!important}.highlight{overflow:auto}.highlight>pre{border:1px solid #ddd;border-radius:.5rem}.colorscheme-dark .highlight>pre{border-color:#444}.colorscheme-dark .chroma .hl{background-color:#370037!important}.colorscheme-dark .highlight>pre{border:none}.quote2{margin:20px auto;font-style:normal;padding:2rem 4rem;border-left:8px solid #aaaaa;position:relative;line-height:3.2rem}.quote2-note{background-color:#7e57c21a;border-left-color:#5e35b1}.quote2-tip{background-color:#26a69a1a;border-left-color:#00897b}.quote2-example{background-color:#8d6e631a;border-left-color:#6d4c41}.quote2-question{background-color:#9ccc651a;border-left-color:#7cb342}.quote2-warning{background-color:#ffca281a;border-left-color:#ffb300}.quote2-error{background-color:#ef53501a;border-left-color:#e53935}.quote2:not(.no-quote)::before{font-family:Arial;content:"\201C";color:#888;font-size:5rem;font-style:italic;position:absolute;left:10px;top:18px}.quote2:not(.no-quote)::after{content:""}.quote2>.quote2-author{display:block;color:#888;font-style:normal;font-weight:700;font-size:1.5rem;margin-top:.8em;text-align:right}.messageText{fill:#999!important;stroke:none!important;font-weight:400!important;font-size:1.8rem!important}.messageLine0,.messageLine1,.messageLine2,.messageLine3{stroke:#999!important}#arrowhead path{stroke:#999!important;fill:#999!important}.actor{fill:#666!important;stroke:#444!important}text.actor>tspan{fill:#fff!important}.node path,.node-polygon,.node rect,.node polygon{fill:#666!important;stroke:#737373!important}.nodeLabel{color:#fff!important;font-weight:400!important;font-size:1.4rem!important}.activation0{stroke:#737373!important;fill:#fff!important}.note{stroke:none!important;fill:#444!important}.noteText>tspan{font-size:1.4rem!important}.divider{stroke:#444!important}.actor-man>text.actor>tspan{fill:#666!important}.actor-man circle{stroke:#666!important;fill:#666!important}.classTitle{font-weight:400!important}.edgeLabel{background:0 0!important;color:#aaa!important;font-size:1.4rem!important;padding:1rem}td.linenos .normal{color:inherit;background-color:initial;padding-left:5px;padding-right:5px}span.linenos{color:inherit;background-color:initial;padding-left:5px;padding-right:5px}td.linenos .special{color:#000;background-color:#ffffc0;padding-left:5px;padding-right:5px}span.linenos.special{color:#000;background-color:#ffffc0;padding-left:5px;padding-right:5px}.highlight .hll,.code .hll{background-color:#ffc}.highlight .c,.code .c{font-style:normal!important;color:#aaa}.highlight .err,.code .err{border:1px solid red}.highlight .k,.code .k{font-weight:700}.highlight .ch,.code .ch{font-style:normal!important}.highlight .cm,.code .cm{font-style:normal!important}.highlight .cpf,.code .cpf{font-style:normal!important}.highlight .c1,.code .c1{font-style:normal!important}.highlight .cs,.code .cs{font-style:normal!important}.highlight .ge,.code .ge{font-style:normal!important}.highlight .ges,.code .ges{font-weight:700;font-style:normal!important}.highlight .gh,.code .gh{font-weight:700}.highlight .gp,.code .gp{font-weight:700}.highlight .gs,.code .gs{font-weight:700}.highlight .gu,.code .gu{font-weight:700}.highlight .kc,.code .kc{font-weight:700}.highlight .kd,.code .kd{font-weight:700}.highlight .kn,.code .kn{font-weight:700}.highlight .kr,.code .kr{font-weight:700}.highlight .s,.code .s{font-style:normal!important}.highlight .nc,.code .nc{font-weight:700}.highlight .ni,.code .ni{font-weight:700}.highlight .ne,.code .ne{font-weight:700}.highlight .nn,.code .nn{font-weight:700}.highlight .nt,.code .nt{font-weight:700}.highlight .ow,.code .ow{font-weight:700}.highlight .sa,.code .sa{font-style:normal!important}.highlight .sb,.code .sb{font-style:normal!important}.highlight .sc,.code .sc{font-style:normal!important}.highlight .dl,.code .dl{font-style:normal!important}.highlight .sd,.code .sd{font-style:normal!important}.highlight .s2,.code .s2{font-style:normal!important}.highlight .se,.code .se{font-weight:700;font-style:normal!important}.highlight .sh,.code .sh{font-style:normal!important}.highlight .si,.code .si{font-weight:700;font-style:normal!important}.highlight .sx,.code .sx{font-style:normal!important}.highlight .sr,.code .sr{font-style:normal!important}.highlight .s1,.code .s1{font-style:normal!important}.highlight .ss,.code .ss{font-style:normal!important}kbd,pre,samp,tt,body code,body code.highlight,.docutils.literal{font-family:fira code,iosevka slab web,iosevka web,iosevka slab,iosevka,monospace;font-feature-settings:"COQX" 1,"XV00" 1,"calt" 1}div.document{margin:0 auto}h1.section-subtitle,h2.section-subtitle,h3.section-subtitle,h4.section-subtitle,h5.section-subtitle,h6.section-subtitle{margin-top:.4em}span.section-subtitle{font-size:80%}.figure{display:block;margin-left:auto;margin-right:auto}div.figure{margin-left:2em;margin-right:2em}img.align-left,.figure.align-left,object.align-left{clear:left;float:left;margin-right:1em}img.align-right,.figure.align-right,object.align-right{clear:right;float:right;margin-left:1em}img.align-center,.figure.align-center,object.align-center{display:block;margin-left:auto;margin-right:auto}div.align-right{text-align:inherit}object[type="image/svg+xml"],object[type="application/x-shockwave-flash"]{overflow:hidden}.docutils.literal{background-color:#eee;padding:0 .2em;border-radius:.1em}pre.address{margin-bottom:0;margin-top:0;font:inherit}pre.literal-block{border-left:solid 5px #ccc;padding:1em}span.pre{white-space:pre}pre.code .ln{color:grey}pre.code{border-style:none}pre.code .comment,code .comment{color:#888}pre.code .keyword,code .keyword{font-weight:700;color:#080}pre.code .literal.string,code .literal.string{color:#d20;background-color:#fff0f0}pre.code .literal.number,code .literal.number{color:#00d}pre.code .name.builtin,code .name.builtin{color:#038;color:#820}pre.code .name.namespace,code .name.namespace{color:#b06}pre.code .deleted,code .deleted{background-color:#fdd}pre.code .inserted,code .inserted{background-color:#dfd}table.field-list,table.footnote,table.citation,table.option-list{border:none}table.docinfo{margin:2em 4em}table.docutils{margin:1em 0}table.docutils th.field-name,table.docinfo th.docinfo-name{border:none;background:0 0;font-weight:700;text-align:left;white-space:nowrap;padding-left:0;vertical-align:middle}table.docutils.booktabs{border:none;border-top:solid;border-bottom:solid;border-collapse:collapse}table.docutils.booktabs *{border:none}table.docutils.booktabs th{border-bottom:thin solid;text-align:left}span.option{white-space:nowrap}ol.simple,ul.simple{margin-bottom:1em}ol.arabic{list-style:decimal}ol.loweralpha{list-style:lower-alpha}ol.upperalpha{list-style:upper-alpha}ol.lowerroman{list-style:lower-roman}ol.upperroman{list-style:upper-roman}dl.docutils dd{margin-bottom:.5em}dl.docutils dt{font-weight:700}div.sidebar{margin:0 0 .5em 1em;border-left:solid #111;padding:1em;width:40%;float:right;clear:right}div.sidebar{font-size:.9rem}p.sidebar-title{font-size:1rem;font-weight:700}p.sidebar-subtitle{font-weight:700}div.topic{border-left:thin solid #111;padding-left:1em}div.topic p{padding:0}p.topic-title{font-weight:700}div.header{font-family:century gothic,CenturyGothic,Geneva,AppleGothic,sans-serif;font-size:.9rem;margin:2em auto 4em;max-width:960px;clear:both}hr.header{border:0;height:1px;margin-top:1em;background-color:#111}div.footer{font-family:century gothic,CenturyGothic,Geneva,AppleGothic,sans-serif;font-size:.9rem;margin:6em auto 2em;max-width:960px;clear:both;text-align:center}hr.footer{border:0;height:1px;margin-bottom:2em;background-color:#aaa}div.admonition,div.attention,div.caution,div.danger,div.error,div.hint,div.important,div.note,div.tip,div.warning{border:solid thin #ccc;padding:0 1em}.colorscheme-dark div.admonition,.colorscheme-dark div.attention,.colorscheme-dark div.caution,.colorscheme-dark div.danger,.colorscheme-dark div.error,.colorscheme-dark div.hint,.colorscheme-dark div.important,.colorscheme-dark div.note,.colorscheme-dark div.tip,.colorscheme-dark div.warning{border-color:#222}div.error,div.danger{border-color:#a94442;background-color:#f2dede}div.hint,div.tip{border-color:#31708f;background-color:#d9edf7}div.attention,div.caution,div.warning{border-color:#aaa;background-color:#fcf8e3}div.hint p.admonition-title,div.tip p.admonition-title{color:#31708f;font-weight:700}div.note p.admonition-title,div.admonition p.admonition-title,div.important p.admonition-title{font-weight:700}div.attention p.admonition-title,div.caution p.admonition-title,div.warning p.admonition-title{color:#8a6d3b;font-weight:700}div.danger p.admonition-title,div.error p.admonition-title,.code .error{color:#a94442;font-weight:700}div.contents{margin:2em 0;border:none}ul.auto-toc{list-style-type:none}a.toc-backref{text-decoration:none;color:#111}div.line-block{display:block;margin-top:1em;margin-bottom:1em}div.line-block div.line-block{margin-top:0;margin-bottom:0;margin-left:1.5em}div.system-messages{margin:5em}div.system-messages h1{color:red}div.system-message{border:outset;padding:1em}div.system-message p.system-message-title{color:red;font-weight:700}.hidden{display:none}.align-left{text-align:left}.align-center{clear:both;text-align:center}.align-right{text-align:right}p.caption{font-style:italic;text-align:center}p.credits{font-style:italic;font-size:smaller}p.label{white-space:nowrap}p.rubric{font-weight:700;font-size:larger;color:maroon;text-align:center}p.attribution{text-align:right;margin-left:50%}blockquote.epigraph{margin:2em 5em}div.abstract{margin:2em 5em}div.abstract{font-weight:700;text-align:center}div.dedication{margin:2em 5em;text-align:center;font-style:italic}div.dedication{font-weight:700;font-style:normal}span.classifier{font-style:oblique}span.classifier-delimiter{font-weight:700}span.problematic{color:red}pre.literal-block{margin-bottom:1em!important;border-radius:0!important}.colorscheme-dark div.attention,.colorscheme-dark div.caution,.colorscheme-dark div.warning{border-color:#8a6d3b;background-color:#3b2e0f}.alectryon-io blockquote{line-height:inherit}.alectryon-io blockquote:after{display:none}.alectryon-io label{display:inline;font-size:inherit;margin:0}.alectryon-io small.alectryon-output{font-size:inherit}.alectryon-io blockquote.alectryon-goal,.alectryon-io blockquote.alectryon-message{font-weight:400;font-size:inherit}.alectryon-coqdoc .doc .code,.alectryon-coqdoc .doc .comment,.alectryon-coqdoc .doc .inlinecode,.alectryon-mref,.alectryon-block,.alectryon-io,.alectryon-toggle-label,.alectryon-banner{font-family:iosevka slab web,iosevka web,iosevka slab,iosevka,fira code,monospace;font-feature-settings:"COQX" 1,"XV00" 1,"calt" 1;line-height:initial}.alectryon-io,.alectryon-block,.alectryon-toggle-label,.alectryon-banner{overflow:visible;overflow-wrap:break-word;position:relative;white-space:pre-wrap}.alectryon-mref,.alectryon-mref-marker{align-self:center;box-sizing:border-box;display:inline-block;font-size:80%;font-weight:700;line-height:1;box-shadow:0 0 0 1pt black;padding:1pt .3em;text-decoration:none}.alectryon-block .alectryon-mref-marker,.alectryon-io .alectryon-mref-marker{user-select:none;margin:-.25em 0 -.25em .5em}.alectryon-inline .alectryon-mref-marker{margin:-.25em .15em -.25em .625em}.alectryon-mref{color:inherit;margin:-.5em .25em}.alectryon-goal:target .goal-separator .alectryon-mref-marker,:target>.alectryon-mref-marker{animation:blink .2s step-start 0s 3 normal none;background-color:#fcaf3e;position:relative}@keyframes blink{50%{box-shadow:0 0 0 3pt #fcaf3e,0 0 0 4pt black;z-index:10}}.alectryon-toggle,.alectryon-io .alectryon-extra-goal-toggle{display:none}.alectryon-bubble,.alectryon-io label,.alectryon-toggle-label{cursor:pointer}.alectryon-toggle-label{display:block;font-size:.8em}.alectryon-io .alectryon-input{padding:.1em 0}.alectryon-io .alectryon-sentence.alectryon-target .alectryon-input{font-weight:700!important}.alectryon-bubble:before,.alectryon-toggle-label:before,.alectryon-io label.alectryon-input:after,.alectryon-io .alectryon-goal>label:before{border:1px solid #babdb6;border-radius:1em;box-sizing:border-box;content:"";display:inline-block;font-weight:700;height:.25em;margin-bottom:.15em;vertical-align:middle;width:.75em}.alectryon-toggle-label:before,.alectryon-io .alectryon-goal>label:before{margin-right:.25em}.alectryon-io .alectryon-goal>label:before{margin-top:.125em}.alectryon-io label.alectryon-input{padding-right:1em}.alectryon-io label.alectryon-input:after{margin-left:.25em;margin-right:-1em}.alectryon-failed{text-decoration:red dotted underline;text-decoration-skip-ink:none}@media(any-hover:hover){.alectryon-bubble:hover:before,.alectryon-toggle-label:hover:before,.alectryon-io label.alectryon-input:hover:after{background:#eeeeec}.alectryon-io label.alectryon-input:hover{text-decoration:underline dotted #babdb6;text-shadow:0 0 1px rgba(46,52,54,.3)}.alectryon-io .alectryon-sentence:hover .alectryon-output{z-index:2}}.alectryon-toggle:checked+.alectryon-toggle-label:before,.alectryon-io .alectryon-sentence>.alectryon-toggle:checked+label.alectryon-input:after,.alectryon-io .alectryon-extra-goal-toggle:checked+.alectryon-goal>label:before{background-color:#babdb6;border-color:#babdb6}.alectryon-toggle:checked+label+.alectryon-container label.alectryon-input{cursor:unset;pointer-events:none}.alectryon-toggle:checked+label+.alectryon-container label.alectryon-input:after{display:none}.alectryon-io .alectryon-output{box-sizing:border-box;display:none;left:0;right:0;position:absolute;padding:.25em 0;overflow:visible;z-index:1}@media(any-hover:hover){.alectryon-io .alectryon-sentence:hover .alectryon-output:not(:hover){display:block}}.alectryon-io .alectryon-sentence.alectryon-target .alectryon-output{display:block}.alectryon-io .alectryon-sentence:hover .alectryon-output:not(:hover) .alectryon-messages,.alectryon-io .alectryon-sentence.alectryon-target .alectryon-output .alectryon-messages,.alectryon-io .alectryon-sentence:hover .alectryon-output:not(:hover) .alectryon-goals,.alectryon-io .alectryon-sentence.alectryon-target .alectryon-output .alectryon-goals{box-shadow:0 0 3px gray}.alectryon-io .alectryon-extra-goals .alectryon-goal .goal-hyps{display:none}.alectryon-io .alectryon-extra-goals .alectryon-extra-goal-toggle:not(:checked)+.alectryon-goal label.goal-separator hr{border-top-style:dashed}.alectryon-io .alectryon-extra-goals .alectryon-goal .goal-conclusion{max-height:5.2em;overflow-y:auto;vertical-align:middle}.alectryon-io .alectryon-goals,.alectryon-io .alectryon-messages{background:#eeeeec;border:thin solid #d3d7cf;display:block;padding:.25em}.alectryon-message::before{content:"";float:right;background:url("data:image/svg+xml,%3Csvg width='14' height='14' viewBox='0 0 3.704 3.704' xmlns='http://www.w3.org/2000/svg'%3E%3Cg fill-rule='evenodd' stroke='%23000' stroke-width='.264'%3E%3Cpath d='M.794.934h2.115M.794 1.463h1.455M.794 1.992h1.852'/%3E%3C/g%3E%3Cpath d='M.132.14v2.646h.794v.661l.926-.661h1.72V.14z' fill='none' stroke='%23000' stroke-width='.265'/%3E%3C/svg%3E")100% 0 no-repeat;height:14px;width:14px}.alectryon-toggle:checked+label+.alectryon-container{width:unset}.alectryon-toggle:checked+label+.alectryon-container label.alectryon-input+.alectryon-output,.alectryon-io .alectryon-sentence>.alectryon-toggle:checked~.alectryon-output{display:block;position:static;width:unset;background:unset;padding:.25em 0}.alectryon-toggle:checked+label+.alectryon-container label.alectryon-input+.alectryon-output .goal-hyps,.alectryon-io .alectryon-sentence>.alectryon-toggle:checked~.alectryon-output .goal-hyps{flex-flow:row wrap;justify-content:flex-start}.alectryon-toggle:checked+label+.alectryon-container .alectryon-sentence .alectryon-output>div,.alectryon-io .alectryon-sentence>.alectryon-toggle:checked~.alectryon-output>div{display:block}.alectryon-io .alectryon-extra-goal-toggle:checked+.alectryon-goal .goal-hyps{display:flex}.alectryon-io .alectryon-extra-goal-toggle:checked+.alectryon-goal .goal-conclusion{max-height:unset;overflow-y:unset}.alectryon-toggle:checked+label+.alectryon-container .alectryon-sentence>.alectryon-toggle~.alectryon-wsp,.alectryon-io .alectryon-sentence>.alectryon-toggle:checked~.alectryon-wsp{display:none}.alectryon-io .alectryon-messages,.alectryon-io .alectryon-message,.alectryon-io .alectryon-goals,.alectryon-io .alectryon-goal,.alectryon-io .goal-hyps>span,.alectryon-io .goal-conclusion{border-radius:.15em}.alectryon-io .alectryon-goal,.alectryon-io .alectryon-message{align-items:center;background:#d3d7cf;display:block;flex-direction:column;margin:.25em;padding:.5em;position:relative}.alectryon-io .goal-hyps{align-content:space-around;align-items:baseline;display:flex;flex-flow:column nowrap;justify-content:space-around;margin:-.15em -.25em;padding-bottom:.35em}.alectryon-io .goal-hyps>br{display:none}.alectryon-io .goal-hyps>span,.alectryon-io .goal-conclusion{background:#eeeeec;display:inline-block;padding:.15em .35em}.alectryon-io .goal-hyps>span{align-items:baseline;display:inline-flex;margin:.15em .25em}.alectryon-block var,.alectryon-inline var,.alectryon-io .goal-hyps>span>var{font-weight:600;font-style:unset}.alectryon-io .goal-hyps>span>var{flex-basis:min-content;flex-grow:1}.alectryon-io .goal-hyps>span b{font-weight:600;margin:0 0 0 .5em;white-space:pre}.alectryon-io .hyp-body,.alectryon-io .hyp-type{display:flex;align-items:baseline}.alectryon-io .goal-separator{align-items:center;display:flex;flex-direction:row;height:1em;margin-top:-.5em}.alectryon-io .goal-separator hr{border:none;border-top:thin solid #555753;display:block;flex-grow:1;margin:0}.alectryon-io .goal-separator .goal-name{font-size:.75em;margin-left:.5em}.alectryon-banner{background:#eeeeec;border:1px solid #babcbd;font-size:.75em;padding:.25em;text-align:center;margin:1em 0}.alectryon-banner a{cursor:pointer;text-decoration:underline}.alectryon-banner kbd{background:#d3d7cf;border-radius:.15em;border:1px solid #babdb6;box-sizing:border-box;display:inline-block;font-family:inherit;font-size:.9em;height:1.3em;line-height:1.2em;margin:-.25em 0;padding:0 .25em;vertical-align:middle}.alectryon-toggle-label{margin:1rem 0}@media(min-width:80rem){.alectryon-floating .alectryon-sentence.alectryon-target .alectryon-output,.alectryon-floating .alectryon-sentence:hover .alectryon-output{top:0;left:100%;right:-100%;padding:0 .5em;position:absolute}.alectryon-floating .alectryon-output{min-height:100%}.alectryon-floating .alectryon-sentence:hover .alectryon-output{background:#fff}.alectryon-floating .alectryon-sentence.alectryon-target .alectryon-output>div,.alectryon-floating .alectryon-sentence:hover .alectryon-output>div{margin-bottom:-200%;position:sticky;top:0}.alectryon-floating .alectryon-toggle:checked+label+.alectryon-container .alectryon-sentence .alectryon-output>div,.alectryon-floating .alectryon-io .alectryon-sentence>.alectryon-toggle:checked~.alectryon-output>div{margin-bottom:unset}}.alectryon-windowed{border:0 solid #2e3436;box-sizing:border-box}.alectryon-windowed .alectryon-sentence:hover .alectryon-output{background:#fff}.alectryon-windowed .alectryon-output{position:fixed}.alectryon-windowed .alectryon-sentence:hover .alectryon-output,.alectryon-windowed .alectryon-sentence.alectryon-target>.alectryon-toggle~.alectryon-output{padding:.5em;overflow-y:auto}.alectryon-windowed .alectryon-io .alectryon-sentence:hover .alectryon-output:not(:hover) .alectryon-messages,.alectryon-windowed .alectryon-io .alectryon-sentence.alectryon-target .alectryon-output .alectryon-messages,.alectryon-windowed .alectryon-io .alectryon-sentence:hover .alectryon-output:not(:hover) .alectryon-goals,.alectryon-windowed .alectryon-io .alectryon-sentence.alectryon-target .alectryon-output .alectryon-goals{box-shadow:none}.alectryon-windowed .alectryon-io .alectryon-sentence.alectryon-target .alectryon-output .goal-hyps{flex-flow:column nowrap;justify-content:space-around}.alectryon-windowed .alectryon-sentence.alectryon-target .alectryon-extra-goals .alectryon-goal .goal-conclusion{max-height:unset;overflow-y:unset}.alectryon-windowed .alectryon-output>div{display:flex;flex-direction:column-reverse}.alectryon-standalone{font-family:ibm plex serif,pt serif,merriweather,dejavu serif,serif;line-height:1.5}@media screen and (min-width:50rem){html.alectryon-standalone{margin-left:calc(100vw - 100%);margin-right:0}}.alectryon-coqdoc .doc .code,.alectryon-coqdoc .doc .inlinecode,.alectryon-coqdoc .doc .comment{display:inline}.alectryon-coqdoc .doc .comment{color:#eeeeec}.alectryon-coqdoc .doc .paragraph{height:.75em}.alectryon-standalone .alectryon-centered,.alectryon-standalone .alectryon-floating{max-width:50rem;margin:auto}@media(min-width:80rem){.alectryon-standalone .alectryon-floating{max-width:80rem}.alectryon-standalone .alectryon-floating>*{width:50%;margin-left:0}}.alectryon-standalone .alectryon-windowed{display:block;margin:0;overflow-y:auto;position:absolute;padding:0 1em}.alectryon-standalone .alectryon-windowed>*{margin-left:0;max-width:unset}.alectryon-standalone .alectryon-windowed .alectryon-io{box-sizing:border-box;width:100%}.alectryon-windowed .alectryon-sentence.alectryon-target>.alectryon-toggle~.alectryon-output{position:fixed}@media screen and (min-width:60rem){.alectryon-standalone .alectryon-windowed{border-right-width:thin;bottom:0;left:0;right:50%;top:0}.alectryon-standalone .alectryon-windowed .alectryon-sentence:hover .alectryon-output,.alectryon-standalone .alectryon-windowed .alectryon-sentence.alectryon-target .alectryon-output{bottom:0;left:50%;right:0;top:0}}@media screen and (max-width:60rem){.alectryon-standalone .alectryon-windowed{border-bottom-width:1px;bottom:40%;left:0;right:0;top:0}.alectryon-standalone .alectryon-windowed .alectryon-sentence:hover .alectryon-output,.alectryon-standalone .alectryon-windowed .alectryon-sentence.alectryon-target .alectryon-output{bottom:0;left:0;right:0;top:60%}}.strike{text-decoration:line-through}.alectryon-io .alectryon-goals,.alectryon-io .alectryon-messages{background:#f0f0f0!important;border:none!important}.alectryon-io .alectryon-goal,.alectryon-io .alectryon-message{background:#f0f0f0!important}body.colorscheme-dark .alectryon-io .alectryon-goals,body.colorscheme-dark .alectryon-io .alectryon-messages{background:#1a1a1a!important;border:none!important}body.colorscheme-dark .alectryon-io .alectryon-goal,body.colorscheme-dark .alectryon-io .alectryon-message{background:#1a1a1a!important}.alectryon-bubble:before,.alectryon-toggle-label:before,.alectryon-io label.alectryon-input:after,.alectryon-io .alectryon-goal>label:before{border:1px solid #babdb6;border-radius:1em;box-sizing:border-box;content:"";display:inline-block;font-weight:700;height:.6em!important;margin-bottom:0!important;vertical-align:middle;width:.6em!important}body.colorscheme-dark blockquote.alectryon-message,blockquote.alectryon-message{border-left:none}.alectryon-io .alectryon-output{padding:0}pre.alectryon-io,.alectryon-io pre{padding:0;margin:0;border-radius:0;line-height:1.4}.alectryon-toggle:checked+label+.alectryon-container label.alectryon-input+.alectryon-output,.alectryon-io .alectryon-sentence>.alectryon-toggle:checked~.alectryon-output{padding:0;margin-top:-1em}pre.alectryon-io>.alectryon-wsp{display:none}