Commit Graph

14 Commits

Author SHA1 Message Date
rr- bab88f4739 client/top-nav: reuse makeAccessLink 2016-05-29 12:40:53 +02:00
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