small css changes, to make publishing easier