6 Commits

Author	SHA1	Message	Date
Will McGugan	dd8b11be87	Merge branch 'css' into add-web-colors-management-and-prefix-ansi-ones	2022-04-29 10:47:40 +01:00
Will McGugan	8e821d4113	lazy parse_rules	2022-04-29 10:34:35 +01:00
Will McGugan	233c2c4075	fix css reload	2022-04-29 10:20:32 +01:00
Olivier Philippon	eedec6c863	[colors] Merge the first 16 ANSI colors with the named Web ones, add "transparent"	2022-04-28 15:00:26 +01:00
Olivier Philippon	a304334628	[colors] Add management of named Web colors to our CSS processing, prefix ANSI ones with ansi_	2022-04-28 14:21:02 +01:00
Olivier Philippon	d0b8cacc35	[css][bugfix] CSS colors can now have digits at the end of their names	2022-04-28 10:44:05 +01:00