OK Site Beautifier

Applies a modern, material design with dark mode and syntax highlighting to okmij.org.