tastytea 94deef8600 Remove last bits of old theme.		2021-07-20 20:59:12 +02:00
..
nocolor@d82bdbfa52	Update theme.	2021-07-16 22:53:03 +02:00