Style github css for pre tags