[css-backgrounds-4] Rename border to border-area. #9456

Author: fantasai

css-backgrounds-4/Overview.bs

@@ -161,7 +161,7 @@ Painting Area: the 'background-clip' property</h3>
 	The syntax of the property is given with
 
 	<pre class=prod>
-	<dfn>&lt;bg-clip></dfn> = <<visual-box>> | border | text
+	<dfn>&lt;bg-clip></dfn> = <<visual-box>> | border-area| text
 	</pre>
 
 	Issue: Or should this be defining the <css>-webkit-background-clip</css> property,
@@ -180,7 +180,7 @@ Painting Area: the 'background-clip' property</h3>
 			the intersection of the border box
 			and the geometry of the text in the element and its in-flow and floated descendants.
 
-		<dt><dfn>border</dfn></dt>
+		<dt><dfn>border-area</dfn></dt>
 		<dd>
 			The background is clipped to the area painted by the border, taking 'border-width' and 'border-style' into account but ignoring any transparency introduced by 'border-color'.
 		</dd>