.Arend .IDENTIFIER { color: #000000 }
.Arend .META_RESOLVER { color: #00627a }
.Arend .CONSTRUCTOR_PATTERN { color: #871094 }
.Arend .NUMBER { color: #1750eb }
.Arend .STRING { color: #067d17 }
.Arend .KEYWORD { color: #0033b3 }
.Arend .UNIVERSE { color: #0033b3 }
.Arend .IMPLICIT { color: #871094 }
.Arend .DECLARATION { color: #00627a }
.Arend .CLASS_PARAMETER { color: #871094 }
.Arend .OPERATORS { color: #000000 }
.Arend .DOT { color: #000000 }
.Arend .COMMA { color: #000000 }
.Arend .PIPE { color: #000000 }
.Arend .COLON { color: #000000 }
.Arend .ARROW { color: #000000 }
.Arend .BRACES { color: #000000 }
.Arend .PARENTHESIS { color: #000000 }
.Arend .BLOCK_COMMENT { color: #8c8c8c }
.Arend .LINE_COMMENT { color: #8c8c8c }
.Arend .DOC_COMMENT { color: #8c8c8c }
.Arend .LONG_NAME { color: #871094 }
.Arend .BAD_CHARACTER { color: #000000 }
.Arend .REFERENCE { color: #000000 }
.Arend .GOALS { color: #000000 }
.Arend .DOC_TOKENS { color: #000000 }

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