minor formatting in css