details{display:block}summary{display:block;border:1px solid #666;padding:0.5em}summary{cursor:pointer}summary:hover, summary:focus{background:#ddd}.no-details details > *{display:none}.no-details details > summary:before{float:left;width:20px;content:'► '}.no-details details.open > summary:before{content:'▼ '}.no-details details summary{display:block}body{color:black;font-size:16px;margin:0px auto 0px auto;width:720px;font-family:'CMUConcreteRoman', serif;background:#dfdfdf}div#header{border-bottom:2px solid black;margin-bottom:30px;padding:12px 0px 12px 0px}div#logo a{color:black;float:left;font-size:18px;font-weight:bold;text-decoration:none}div#header #navigation{text-align:right}div#header #navigation a{color:black;font-size:16px;margin-left:12px;position:relative;top:2px;text-decoration:none;text-transform:uppercase}#everything{border:solid;margin-top:15px;margin-bottom:15px;border-width:1px 1px 1px 1px;border-color:#aaaaaa;padding:25px 60px;background:#fffffd}div#footer{border-top:solid 2px black;color:#555;font-size:12px;margin-top:30px;padding:12px 0px 12px 0px;text-align:right}h1{font-size:24px}h2{font-size:20px}div.info{color:#555;font-size:14px;font-style:italic}@font-face{font-family:'Iosevka';src:url('/images/Iosevka.eot?#iefix') format('embedded-opentype'), url('/images/Iosevka.woff') format('woff'), url('/images/Iosevka.ttf') format('truetype'), url('images/Iosevka.svg#Iosevka') format('svg');font-weight:normal;font-style:normal}@font-face{font-family:'Iosevka';src:url('/images/Iosevka-Bold.eot?#iefix') format('embedded-opentype'), url('/images/Iosevka-Bold.woff') format('woff'), url('/images/Iosevka-Bold.ttf') format('truetype'), url('images/Iosevka-Bold.svg#Iosevka') format('svg');font-weight:bold;font-style:normal}@font-face{font-family:'Iosevka';src:url('/images/Iosevka-Italic.eot?#iefix') format('embedded-opentype'), url('/images/Iosevka-Italic.woff') format('woff'), url('/images/Iosevka-Italic.ttf') format('truetype'), url('images/Iosevka-Italic.svg#Iosevka') format('svg');font-weight:normal;font-style:italic}.math{}.display-math{display:block;margin:auto !important}.hyphenate{text-align:justify}code{white-space:pre}table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode{margin:0;padding:0;vertical-align:baseline;border:none}table.sourceCode{width:100%;line-height:100%;background-color:#f8f8f8}td.lineNumbers{text-align:right;padding-right:4px;padding-left:4px;color:#aaaaaa;border-right:1px solid #aaaaaa}td.sourceCode{padding-left:5px}pre, code{background-color:#f8f8f8;font-family:'PragmataPro','Iosevka', monospace;font-size:11pt;-webkit-font-feature-settings:"liga" 1;font-feature-settings:"liga" 1}code > span.kw{color:#204a87;font-weight:bold}code > span.dt{color:#204a87}code > span.dv{color:#0000cf}code > span.bn{color:#0000cf}code > span.fl{color:#0000cf}code > span.ch{color:#4e9a06}code > span.st{color:#4e9a06}code > span.co{color:#8f5902;font-style:italic}code > span.ot{color:#8f5902}code > span.al{color:#ef2929}code > span.fu{color:#116677}code > span.er{font-weight:bold}pre.Agda a.Comment{color:#B22222}pre.Agda a.Keyword{color:#CD6600}pre.Agda a.String{color:#B22222}pre.Agda a.Number{color:#A020F0}pre.Agda a.Symbol{color:#404040}pre.Agda a.PrimitiveType{color:#0000CD}pre.Agda a.Operator{}pre.Agda a.Bound{color:black}pre.Agda a.InductiveConstructor{color:#008B00}pre.Agda a.CoinductiveConstructor{color:#8B7500}pre.Agda a.Datatype{color:#0000CD}pre.Agda a.Field{color:#EE1289}pre.Agda a.Function{color:#0000CD}pre.Agda a.Module{color:#A020F0}pre.Agda a.Postulate{color:#0000CD}pre.Agda a.Primitive{color:#0000CD}pre.Agda a.Record{color:#0000CD}pre.Agda a.DottedPattern{}pre.Agda a.UnsolvedMeta{color:black;background:yellow}pre.Agda a.UnsolvedConstraint{color:black;background:yellow}pre.Agda a.TerminationProblem{color:black;background:#FFA07A}pre.Agda a.IncompletePattern{color:black;background:#F5DEB3}pre.Agda a.Error{color:red;text-decoration:underline}pre.Agda a.TypeChecks{color:black;background:#ADD8E6}pre.Agda a{text-decoration:none}pre.Agda a[href]:hover{background-color:#B4EEB4}.hidden{display:none}table{border-collapse:collapse}td{border:1px solid black;padding:3px;vertical-align:top}th{text-align:left}