Cherry pick from CSS fixups: breadcrumbs border color