a rounded border.