19 Commits (e5ee84ca9b7c2b95275fa7ea1100fe8c34a4d695)

Autor SHA1 Nachricht Datum
  Jan-Christoph Borchardt f24b150989 search: fix color hex code vor 10 Jahren
  Jan-Christoph Borchardt 0ad8e1b1e6 search: change date color to grey for less distraction vor 10 Jahren
  Jan-Christoph Borchardt d72269d361 increase height of result for better clickability vor 10 Jahren
  Jan-Christoph Borchardt ee6fe9718e make search results work on mobile as well vor 10 Jahren
  Jörn Friedrich Dreyer b40925ae17 initial scrollto implementation: vor 11 Jahren
  kondou 9e8a6b704d Add _many_ newlines at the end of files vor 11 Jahren
  Jörn Friedrich Dreyer cbf17617b0 update css properties with px based values vor 11 Jahren
  Jörn Friedrich Dreyer 627fd8ba8d add overflow-y scroll and clean up indents vor 11 Jahren
  Victor Dubiniuk 41d37446bb Fallback to border instead of box-shadow vor 11 Jahren
  Lukas Reschke 916e0fc343 Place the brackets in the first line vor 11 Jahren
  Lukas Reschke 1a9ba0bea4 radius can safely be used without vendor prefixes vor 11 Jahren
  Lukas Reschke 099245430e box-shadow can safely be used without vendor prefixes vor 11 Jahren
  Lukas Reschke 47be338f32 Format the CSS in a readable way…. vor 11 Jahren
  Jan-Christoph Borchardt 3ba9a9e6a8 adding proper copyright and license notice to the style files vor 12 Jahren
  Jan-Christoph Borchardt 90136b6e0a fix search, sane z-indexes vor 13 Jahren
  Jan-Christoph Borchardt ad45c78b44 pimped the search dropdown style a bit vor 13 Jahren
  Robin Appelman 5ef407d1c9 keyboard shortcuts for search results vor 13 Jahren
  Robin Appelman aa08196c32 some interface work on instant search vor 13 Jahren
  Robin Appelman b7aba15f17 add search functionality, for now only searches files but plugins/apps can extend that vor 13 Jahren