Some small css tweaks from the other day…