55 commits

Author	SHA1	Message	Date
Dean Attali	1f25488d56	update font in custom footer	2020-04-28 18:43:18 -04:00
Dean Attali	bd1f95de23	add YAML option footer-extra	2020-04-28 21:24:45 +00:00
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