HTML Help style and JSON brush

Added style sheet for HTML Help and a brush for JSON to document recent
JSON work.