Import Hyde theme
Some first tweaks for our purposes
Add some pages, MathJax, and more