Removed redundant .highlight style

The Pygments .highlight-<lang> styles should be preferred. Thanks to
@terminalmage for the report.