6 commits

Author	SHA1	Message	Date
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-	f34e83b325	client/users: add filtering	2016-04-14 17:50:46 +02:00
rr-	334ff8edcd	client/css: align controls in horizontal forms	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