CSS changes for #81

Fix cosmetic remainders of #81