fix servlet xhr url computation
Problems view: use the new icon font for the view mode switch.