/* Aspects. */ :is(.light, .rust, body) .Agda .Comment { color: #B22222 } :is(.light, .rust, body) .Agda .Background {} :is(.light, .rust, body) .Agda .Markup { color: #000000 } :is(.light, .rust, body) .Agda .Keyword { color: #CD6600 } :is(.light, .rust, body) .Agda .String { color: #B22222 } :is(.light, .rust, body) .Agda .Number { color: #A020F0 } :is(.light, .rust, body) .Agda .Symbol { color: #404040 } :is(.light, .rust, body) .Agda .PrimitiveType { color: #0000CD } :is(.light, .rust, body) .Agda .Pragma { color: black } :is(.light, .rust, body) .Agda .Operator {} :is(.light, .rust, body) .Agda .Hole { background: #B4EEB4 } /* NameKinds. */ :is(.light, .rust, body) .Agda .Bound { color: black } :is(.light, .rust, body) .Agda .Generalizable { color: black } :is(.light, .rust, body) .Agda .InductiveConstructor { color: #008B00 } :is(.light, .rust, body) .Agda .CoinductiveConstructor { color: #8B7500 } :is(.light, .rust, body) .Agda .Datatype { color: #0000CD } :is(.light, .rust, body) .Agda .Field { color: #EE1289 } :is(.light, .rust, body) .Agda .Function { color: #0000CD } :is(.light, .rust, body) .Agda .Macro { color: #0000CD } :is(.light, .rust, body) .Agda .Module { color: #A020F0 } :is(.light, .rust, body) .Agda .Postulate { color: #0000CD } :is(.light, .rust, body) .Agda .Primitive { color: #0000CD } :is(.light, .rust, body) .Agda .Record { color: #0000CD } /* OtherAspects. */ :is(.light, .rust, body) .Agda .DottedPattern {} :is(.light, .rust, body) .Agda .UnsolvedMeta { color: black; background: yellow } :is(.light, .rust, body) .Agda .UnsolvedConstraint { color: black; background: yellow } :is(.light, .rust, body) .Agda .TerminationProblem { color: black; background: #FFA07A } :is(.light, .rust, body) .Agda .IncompletePattern { color: black; background: #F5DEB3 } :is(.light, .rust, body) .Agda .Error { color: red; text-decoration: underline } :is(.light, .rust, body) .Agda .TypeChecks { color: black; background: #ADD8E6 } :is(.light, .rust, body) .Agda .Deadcode { color: black; background: #808080 } :is(.light, .rust, body) .Agda .ShadowingInTelescope { color: black; background: #808080 } /* Standard attributes. */ :is(.light, .rust, body) .Agda a { text-decoration: none } :is(.light, .rust, body) .Agda a[href]:hover { background-color: #B4EEB4 } :is(.light, .rust, body) .Agda [href].hover-highlight { background-color: #B4EEB4; } /** Dark mode. **/ /* Aspects. */ :is(.ayu, .coal, .navy) .Agda .Comment { color: #B22222 } :is(.ayu, .coal, .navy) .Agda .Background {} :is(.ayu, .coal, .navy) .Agda .Markup { color: #000000 } :is(.ayu, .coal, .navy) .Agda .Keyword { color: #ff8e1c } :is(.ayu, .coal, .navy) .Agda .String { color: #B22222 } :is(.ayu, .coal, .navy) .Agda .Number { color: #dba1ff } :is(.ayu, .coal, .navy) .Agda .Symbol { color: #d1d1d1 } :is(.ayu, .coal, .navy) .Agda .PrimitiveType { color: #4285fa } :is(.ayu, .coal, .navy) .Agda .Pragma { color: black } :is(.ayu, .coal, .navy) .Agda .Operator {} :is(.ayu, .coal, .navy) .Agda .Hole { background: #006b00 } /* NameKinds. */ :is(.ayu, .coal, .navy) .Agda .Bound { color: white } :is(.ayu, .coal, .navy) .Agda .Generalizable { color: white } :is(.ayu, .coal, .navy) .Agda .InductiveConstructor { color: #1bbf1b } :is(.ayu, .coal, .navy) .Agda .CoinductiveConstructor { color: #8B7500 } :is(.ayu, .coal, .navy) .Agda .Datatype { color: #4285fa } :is(.ayu, .coal, .navy) .Agda .Field { color: #EE1289 } :is(.ayu, .coal, .navy) .Agda .Function { color: #4285fa } :is(.ayu, .coal, .navy) .Agda .Macro { color: #4285fa } :is(.ayu, .coal, .navy) .Agda .Module { color: #dba1ff } :is(.ayu, .coal, .navy) .Agda .Postulate { color: #4285fa } :is(.ayu, .coal, .navy) .Agda .Primitive { color: #4285fa } :is(.ayu, .coal, .navy) .Agda .Record { color: #4285fa } /* OtherAspects. */ :is(.ayu, .coal, .navy) .Agda .DottedPattern {} :is(.ayu, .coal, .navy) .Agda .UnsolvedMeta { color: black; background: yellow } :is(.ayu, .coal, .navy) .Agda .UnsolvedConstraint { color: black; background: yellow } :is(.ayu, .coal, .navy) .Agda .TerminationProblem { color: black; background: #FFA07A } :is(.ayu, .coal, .navy) .Agda .IncompletePattern { color: black; background: #F5DEB3 } :is(.ayu, .coal, .navy) .Agda .Error { color: red; text-decoration: underline } :is(.ayu, .coal, .navy) .Agda .TypeChecks { color: black; background: #ADD8E6 } :is(.ayu, .coal, .navy) .Agda .Deadcode { color: black; background: #808080 } :is(.ayu, .coal, .navy) .Agda .ShadowingInTelescope { color: black; background: #808080 } /* Standard attributes. */ :is(.ayu, .coal, .navy) .Agda a { text-decoration: none } :is(.ayu, .coal, .navy) .Agda a[href]:hover { background-color: #006b00 } :is(.ayu, .coal, .navy) .Agda [href].hover-highlight { background-color: #006b00; }