clean-up footer entries
responsive styles for Pygments Highlighter
Ability to use all Pygments styles (globally or locally)
update navbar menus for new entry related to source code highlight
introduce pygments-style new attribute