DESIGN: Finished conversion to LaTeX

- Has some rudamentary syntax highlighting, too.