Sébastien Lerique e1f87858ad Make the website nav header's hysteresis a bit more robust ... In particular, this prevents the nav header from reappearing all the time while scrolling down on Firefox.		2017-02-08 15:08:33 +01:00
..
main.js	Make the website nav header's hysteresis a bit more robust	2017-02-08 15:08:33 +01:00
prism.js	Replace website with new version	2016-04-01 01:24:48 +11:00