[css-page-3][editorial] Replaced inexistent border-short-style by border-style (w3c#9161)

Author: SebastianZ

css-page-3/Overview.bs

@@ -2269,7 +2269,7 @@ Appendix A: Applicable CSS2.1 Properties</h2>
 			<tr><td>border-right-style
 			<tr><td>border-bottom-style
 			<tr><td>border-left-style
-			<tr><td>border-short-style
+			<tr><td>border-style
 			<tr><td>border-top
 			<tr><td>border-right
 			<tr><td>border-bottom
@@ -2383,7 +2383,7 @@ CSS 2.1 properties that apply within the margin contexts</h3>
 			<tr><td>border-right-style
 			<tr><td>border-bottom-style
 			<tr><td>border-left-style
-			<tr><td>border-short-style
+			<tr><td>border-style
 			<tr><td>border-top
 			<tr><td>border-right
 			<tr><td>border-bottom