minor css tweek from problem set border