5 commits

Author	SHA1	Message	Date
Starbeamrainbowlabs	e5d56badf3	Finish gui settings display. Currently it doesn't read them back in again.	2016-10-30 10:50:38 +00:00
Starbeamrainbowlabs	042479e6aa	Tweaked display of result numbers.	2016-08-19 13:51:38 +01:00
Starbeamrainbowlabs	aae9365f5a	Refine appearance of search contexts.	2016-08-19 13:47:56 +01:00
Starbeamrainbowlabs	12af85ee82	Made background of tags slightly lighter. ... Fixes #91.	2016-08-19 10:13:57 +01:00
Starbeamrainbowlabs	98e22de52f	re-add default theme as separate css file	2016-06-12 21:14:24 +01:00