Small further visual improvements. Replaced margin-top etc. by their css
shorthands and deleted unneeded whitespace characters to save disk
space.