Minor css improvement in example 25