13 commits

Author	SHA1	Message	Date
rr-	4b3640bf2e	client/css: remove margin above certain headings	2016-05-22 22:17:11 +02:00
rr-	519f606a39	client/build: Google Droid Sans → local Open Sans	2016-05-21 14:02:08 +02:00
rr-	2fade2f08c	client/css: improve appearance on small screens	2016-05-21 11:17:11 +02:00
rr-	5736b4adc1	views/tags: add autocomplete control	2016-05-17 11:34:47 +02:00
rr-	27cce56054	client/tags: add tag category editing	2016-05-10 13:26:17 +02:00
rr-	29b0fde9a7	client/paging: improve endless paging ... - Change page number indicator - Remove most of the scrolling cruft as it has no chance of working anyway, thanks to our benevolent browsers - Scroll to page header if the page is not the first one (I'm surprised this even works) - Use promises rather than timers - Simplify top page detection using .elementFromPoint rather than iterating over all pages. Coincidentally, this seems to work slightly better	2016-05-09 11:17:26 +02:00
rr-	29b57b0af0	client/nav: fix accesskey alignment	2016-04-29 13:24:01 +02:00
rr-	d67a1b2f1c	client/css: stylize focused elements	2016-04-29 12:58:56 +02:00
rr-	0ddbc64320	client/css: tweak help button appearance	2016-04-14 21:50:59 +02:00
rr-	286df9faf3	docs+client/users: document user filtering	2016-04-14 19:58:28 +02:00
rr-	7cf4e6c37d	client/paging: compact page no. for endless pager	2016-04-14 17:50:38 +02:00
rr-	c92c7b722f	client/css: don't use monospace fonts	2016-04-14 17:50:29 +02:00
rr-	28e85bd21a	client/css: switch to stylus	2016-04-13 20:13:10 +02:00