1. 644ad9f Introduce pagination panel (fixes #141) by Akron · 3 years, 4 months ago
  2. 72f6a87 Turn pagination into button group by Akron · 3 years, 5 months ago
  3. 548ee67 Minor fixes in styles by Akron · 4 years, 2 months ago
  4. 7e5afce Refactoring of style files by Akron · 4 years, 3 months ago
  5. bd36c71 Fixed z-index definitions to avoid hiding of tree menus by Akron · 7 years ago
  6. 6a535d4 Improved tabbing by Akron · 9 years ago
  7. 9922edf Improved for Chrome by Nils Diewald · 10 years ago
  8. a898dac Lots of fixes to pagination, l10n, tutorial, css ... by Nils Diewald · 10 years ago
  9. ab4d3ca Improved tutorials by Nils Diewald · 10 years ago[Renamed (98%) from dev/scss/pagination.scss]
  10. 1c54692 Minor adjustments to fix Chrome bug with the hint helper by Nils Diewald · 10 years ago
  11. 2488d05 Fixed Hint view by Nils Diewald · 10 years ago
  12. a944fab Cleanup deployment by Nils Diewald · 10 years ago