/* Aspects. */
.Agda .Comment       { color: #B22222 }
.Agda .Background    {}
.Agda .Markup        { color: #000000 }
.Agda .Keyword       { color: #000000 }
.Agda .String        { color: #000000 }
.Agda .Number        { color: #000000 }
.Agda .Symbol        { color: #000000 }
.Agda .PrimitiveType { color: #0000CD }
.Agda .Pragma        { color: black   }
.Agda .Operator      {}
.Agda .Hole          { background: #9DFF9D }

/* NameKinds. */
.Agda .Bound                  { color: #606060 }
.Agda .Generalizable          { color: #606060 }
.Agda .InductiveConstructor   { color: #8B0000 }
.Agda .CoinductiveConstructor { color: #8B0000 }
.Agda .Datatype               { color: #0000CD }
.Agda .Field                  { color: #8B0000 }
.Agda .Function               { color: #006400 }
.Agda .Module                 { color: #006400 }
.Agda .Postulate              { color: #006400 }
.Agda .Primitive              { color: #006400 }
.Agda .Record                 { color: #0000CD }
.Agda .Argument               { color: #404040 }

/* OtherAspects. */
.Agda .DottedPattern        { color: black }
.Agda .UnsolvedMeta         { color: #FFD700 }
.Agda .UnsolvedConstraint   { color: #FFD700 }
.Agda .TerminationProblem   { color: #FF0000 }
.Agda .IncompletePattern    { color: #606060 }
.Agda .Error                { color: #F4A460}
.Agda .TypeChecks           { color: black; background: #ADD8E6        }
.Agda .Deadcode             { color: black; background: #808080        }
.Agda .ShadowingInTelescope { color: black; background: #808080        }

/* Standard attributes. */
.Agda a { text-decoration: none }
.Agda a[href]:hover { background-color: #9DFF9D }
.Agda [href].hover-highlight { background-color: #9DFF9D }