/* Adapted from `src/data/Agda.css' from the Agda package, see
   <http://code.haskell.org/Agda/LICENSE> for the license and the copyright
   information.
*/

/* Aspects. */
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      {}

/* NameKinds. */
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 }

/* OtherAspects. */
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        }

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