Noah Davis ed4d713ffb Use Header colors for top panel ... Apps use this colorset now. Not using this color set causes the top panel to look weird.		2021-02-28 00:23:21 -05:00
..
config	add missing files	2017-09-05 17:09:50 +02:00
ui	Use Header colors for top panel	2021-02-28 00:23:21 -05:00