`theme-clean:border` was not enough here to re-enable borders in the
clean theme because they had been set to `border: none`, which not only
turned off `border-width` but also reset color and style.