Fix default.css so that coloring of CSS works now that Tab's put the class directly on the <a> elements. (Probably, this should be assigned to a nested <code>. But for now, this fixes the lack of color.)