Added syntax highlighting to JSON in autogenerated HTML docs.