remove deprecated theme settings
generic example links in the top nav bar
better handling of sidebar when no entries, user-specified ToC title
proper footer, disables sidebar if user requests no sidebar