Changed the default 'pre' style so that unhighlighted text is no longer dark gray.