[css2] Changed <'border-width'> and <'border-style'> to

        <border-width> and <border-style> for
        'border' and all four border props

--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%401788

Author: ianbjacobs

css2/properties/properties.db

@@ -22,13 +22,13 @@
 
 
 /* border-top border-right border-bottom border-left;;
-   [ <'border-width'> || <'border-style'> || <color> ] | inherit;;
+   [ <border-width> || <border-style> || <color> ] | inherit;;
    see individual properties;;
    *;; no;; N/A ;; visual  
 */
 */
 /* border;;
-   [ <'border-width'> || <'border-style'> || <color> ] | inherit;;
+   [ <border-width> || <border-style> || <color> ] | inherit;;
    see individual properties;;
    *;; no;; N/A ;; visual  
 */