Michael Noronha 1fa9afaa77 Add option to exclude any headings from navbar ...

This implementation is somewhat messy, but I think the resulting default
is sane and it allows customizability. The motivation was it felt weird
to me to be linking to a blog, when the home link right above linked to
a slighly different version of the same page.

2018-08-14 23:15:09 -07:00

1.9 KiB

Raw Blame History

View Raw