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