Dexter's changes to the stylesheet