removing "Helvetica" from our css stylesheet due to conflicts -- in favor of "Arial". Somewhere, a small part of @gruber dies.