Some further CSS additions