4 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	9910758fe4	use affix plugin for reliable sticky detection	2016-03-12 20:21:47 +01:00
Matthias Kretschmann	866e504a82	toc.js: fix wrong link being highlighted when page length changes dynamically ... - from https://github.com/jgallen23/toc/pull/48	2016-03-12 19:25:24 +01:00
Matthias Kretschmann	5580ae658d	toc.js: fix wrong urls	2016-03-12 19:21:23 +01:00
Matthias Kretschmann	67fd915c24	switch to local copy of toc.js	2016-03-12 19:20:00 +01:00