8 commits

Author	SHA1	Message	Date
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