André Colomb a13bb926b7 gui: Tweak whitespace (#8587)		2022-10-07 08:10:17 +02:00
..
dev.css	gui: Prevent log bar from flashing up while page is loading	2016-05-30 13:16:15 +00:00
overrides.css	gui: Tweak whitespace (#8587)	2022-10-07 08:10:17 +02:00
theme.css	lib/api: Make theme paths relative (#6142)	2019-11-09 12:07:46 +00:00
tree.css	gui: Tweak the Restore Versions modal for better usability (#7972)	2022-01-25 23:08:27 +01:00