Some small changes concerning stylesheets