compact-boardlist.js: factor out styles to style.css; some are also to be used by watch.js
post-hover.js: fix long loop
Merge branch 'master' of github.com:vichan-devel/Tinyboard