.Arend .IDENTIFIER { color: #a9b7c6 }
.Arend .META_RESOLVER { color: #ffc66d }
.Arend .CONSTRUCTOR_PATTERN { color: #9876aa }
.Arend .NUMBER { color: #6897bb }
.Arend .STRING { color: #6a8759 }
.Arend .KEYWORD { color: #cc7832 }
.Arend .UNIVERSE { color: #cc7832 }
.Arend .IMPLICIT { color: #9876aa }
.Arend .DECLARATION { color: #ffc66d }
.Arend .CLASS_PARAMETER { color: #9876aa }
.Arend .OPERATORS { color: #cc7832 }
.Arend .DOT { color: #cc7832 }
.Arend .COMMA { color: #cc7832 }
.Arend .PIPE { color: #cc7832 }
.Arend .COLON { color: #cc7832 }
.Arend .ARROW { color: #cc7832 }
.Arend .BRACES { color: #000000 }
.Arend .PARENTHESIS { color: #000000 }
.Arend .BLOCK_COMMENT { color: #808080 }
.Arend .LINE_COMMENT { color: #808080 }
.Arend .DOC_COMMENT { color: #629755 }
.Arend .LONG_NAME { color: #9876aa }
.Arend .BAD_CHARACTER { color: #000000 }
.Arend .REFERENCE { color: #000000 }
.Arend .GOALS { color: #cc7832 }
.Arend .DOC_TOKENS { color: #77b767 }

.Arend a { text-decoration: none }
.Arend a[href]:hover { background-color: #8fbc8f }
.Arend [href].hover-highlight { background-color: #8fbc8f; }