Removed unused css for highlighting