use consistent naming for css and favicon files so that themes can be
more easily copied and modified.