r5084 trivial CSS change