v7.13

Completed all ideas since the beginning (except for the questionable ones) and got as close to perfection, as possible (except for the player, which will be improved in an another milestone, but it is not mandatory, because it works fine even like this).

• The HTML is minified upon build time (wherever it makes sense)
• Layout improvements
  • Added titles to the playlist info buttons.
  • Refined the S and M screen dimensions, so that large smartphones wouldn't switch to M screen layout when they are in landscape mode. This includes older desktop browsers that display the M-size header somewhat broken. Breakpoints on modern browsers are preserved as before.
  • Fixed layout issues here and there, where elements were spaced using whitespace, instead of CSS.
• Navigation improvements
  • Fixed the language menu links. They were incorrectly "ajaxified" since version 7.11.
  • Ajax navigation is disabled after two consecutive slow navigations. This provides much better user experience on very slow or unstable networks. In some cases, clicking on a link did nothing at all or response occurred after many seconds (more than 10)!
• Player improvements
  • The playlist search field is automatically focused when the playlist opens (finally!)
  • SPACE can be used to toggle playback globally.