|
|
27c8037506
|
Fix & finish jump to comments button
|
2017-05-22 20:01:25 +01:00 |
|
|
|
b621c13c03
|
Add comments to recent changes
|
2017-05-20 15:18:22 +01:00 |
|
|
|
54f89296a1
|
Make more menu appear above page again... :P
|
2017-05-20 11:14:50 +01:00 |
|
|
|
367b6da149
|
Refine commenting form some more
|
2017-05-14 21:51:04 +01:00 |
|
|
|
7c2a0a2e91
|
Create commenting system for logged in users. It's currently untested!
|
2017-05-13 15:35:18 +01:00 |
|
|
|
e2661a5ebb
|
Add stacked bar to show where your space has gone
|
2017-04-17 14:01:19 +01:00 |
|
|
|
191d5370e0
|
Make editing textarea automatically expand with it's contents!
|
2017-03-05 16:15:50 +00:00 |
|
|
|
da5ed784d5
|
Tweak theming for labels to line inputs up.
|
2016-12-16 21:29:30 +00:00 |
|
|
|
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 |
|
