small changes to CSS