minor changes to stylesheets, etc