Switched main.css back to DejaVu sans, etc.