Fix code formatting bugs; fix code highlighting in many places; add script for easily generating production site.