Small modifications of html and css