Editorial and minor CSS changes