webconfig: Make blue, green, red a bit brighter

These were hard to read in the browser, but not in the terminal.

The palette in color.cpp lists #000080 for blue, which is *even darker*. I'm not sure if that's actually a thing - I was under the impression that table was taken from xterm.

Either way, listing it in this color doesn't do anyone any favors. It's just a rough approximation anyway.
This commit is contained in:
Fabian Homborg 2021-04-17 19:05:48 +02:00
parent 152b0ef018
commit f21e015f1b

View File

@ -239,10 +239,10 @@ def parse_bool(val):
def html_color_for_ansi_color_index(val):
arr = [
"black",
"#AA0000",
"#00AA00",
"#FF0000",
"#00FF00",
"#AA5500",
"#0000AA",
"#0000FF",
"#AA00AA",
"#00AAAA",
"#AAAAAA",