Bruno Windels 8cd20eedeb make stick headers jump in a bit later so the transition is less jumpy		2020-07-03 16:52:28 +02:00
..
structures	make stick headers jump in a bit later so the transition is less jumpy	2020-07-03 16:52:28 +02:00
views	also blur the sticky headers	2020-07-03 16:50:01 +02:00