Feature: Implement toc generation.
Feature(TOC): Further toc css styling.
Feature(NAVBAR): Navbar shrinking.
BugFix: Math symbols do not bleed through toc.
BugFix: Fix section links (href cannot target display:none element).

  -- also, remove special navbar-right styling.
Feature(NAVBAR): Add download menu.
Feature(TEXTPL): By default, color links in pdf in blue.

  -- taken from Svejdar's book header
BugFix: Do not add Proofs to automatically generated environments.
Feature(TEXTPL): Use automatically generated thm/def environments.
BugFix(TEX): Spacing & Escaping.

  -- do not put newlines after labels
  -- do not put spaces around math
  -- fix escaping of &