diff --git a/lib/Quox/Pretty.idr b/lib/Quox/Pretty.idr index 1c3d63a..fddcc81 100644 --- a/lib/Quox/Pretty.idr +++ b/lib/Quox/Pretty.idr @@ -204,16 +204,16 @@ prettyStr unicode = export termHL : HL -> AnsiStyle -termHL Delim = color BrightBlack +termHL Delim = neutral termHL TVar = color BrightYellow termHL TVarErr = color BrightYellow <+> underline -termHL Dim = color BrightGreen <+> bold +termHL Dim = color BrightGreen termHL DVar = color BrightGreen termHL DVarErr = color BrightGreen <+> underline -termHL Qty = color BrightMagenta <+> bold -termHL Free = color BrightWhite +termHL Qty = color BrightMagenta +termHL Free = color BrightBlue termHL Syntax = color BrightCyan -termHL Tag = color BrightBlue +termHL Tag = color BrightRed export %inline prettyTerm : PrettyOpts -> PrettyHL a => a -> IO Unit