More minor css modifications. Particularly, the need for headers to have large margins has been reduced.