3 commits

Author	SHA1	Message	Date
Dean Attali	f012084123	when linking to an intra-document point, don't scroll too much	2020-04-28 20:16:59 +00:00
Dean Attali	9bf17b2c40	add option nav-short to have navbar permanently collapsed	2020-04-28 20:09:00 +00:00
Gabriel	4fa9fc8ad4	Make theme compatible with remote_theme (#590); fixes #339	2020-04-26 14:31:05 -04:00