Jens Reidel f2482d4fb3 Add fixed header links, fix some parts of mobile UI ...

Dynamic content width equal to old one if on 1080p

Fix mobile view

Disable fixed header on mobile

2020-05-25 22:37:01 -04:00

..

custom.js

Move table JS outside of scrolling

2020-05-25 12:17:13 -04:00

scorer.js

Use a new scorer to improve search results.

2019-06-29 02:36:26 -04:00

style.css

Add fixed header links, fix some parts of mobile UI

2020-05-25 22:37:01 -04:00