updated to the latest topdoc-theme with embedded hamburger svg

Added the hamburger svg.