|
|
d7a3f88aa9
|
Fix width sizing of more menu
|
2016-12-08 20:37:47 +00:00 |
|
|
|
ac3f946442
|
Fix display issues in default stylesheet
|
2016-12-07 20:28:28 +00:00 |
|
|
|
743028ab10
|
Bugfix: Make sure images don't flow beyond edge of page
|
2016-11-24 07:17:36 +00:00 |
|
|
|
e5d56badf3
|
Finish gui settings display. Currently it doesn't read them back in again.
|
2016-10-30 10:50:38 +00:00 |
|
|
|
042479e6aa
|
Tweaked display of result numbers.
|
2016-08-19 13:51:38 +01:00 |
|
|
|
aae9365f5a
|
Refine appearance of search contexts.
|
2016-08-19 13:47:56 +01:00 |
|
|
|
12af85ee82
|
Made background of tags slightly lighter.
Fixes #91.
|
2016-08-19 10:13:57 +01:00 |
|
|
|
98e22de52f
|
re-add default theme as separate css file
|
2016-06-12 21:14:24 +01:00 |
|
