You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Matthias BUSSONNIER ed22684ef2 Use different threshold for (auto)scroll in output ... Allow, in particular to switch to scolling for longer input (or disable it) by still keeping the possibility to manually toggle the output to scroll.		13 years ago
..
css	Creating override.css for each page.	13 years ago
js	Use different threshold for (auto)scroll in output	13 years ago
less	remove outline from heading-anchor links	13 years ago