Jana Deutschländer 82056ab5a3 #26 Use jQuery instead of Velocity.js for animations		2019-04-11 16:19:59 +02:00
..
base	#26 Use jQuery instead of Velocity.js for animations	2019-04-11 16:19:59 +02:00
plugins	keyboard access + direct link scrolling	2017-05-02 16:29:02 +02:00
direct.js	#26 Use jQuery instead of Velocity.js for animations	2019-04-11 16:19:59 +02:00
meta-box.js	SPR-980: close meta box after click on TOC anchor	2017-05-03 16:53:42 +02:00
sidebar.js	use a smooth animation to fade in the navigation	2019-03-21 11:36:05 +01:00