Web: add W3C properties of border-*-radius after vendor ones (issue 2784)

diff --git a/Documentation/css/lilypond-website.css b/Documentation/css/lilypond-website.css
index 2ce622912549f6c78fa1944c1798b8f01f0466b1..9daf395dc6e6d978979b851dab0cbc001c23376c 100644 (file)
--- a/Documentation/css/lilypond-website.css
+++ b/Documentation/css/lilypond-website.css
@@ -76,6 +76,8 @@ div#tocframe {
   -moz-border-radius-bottomright: 7px;
   -webkit-border-bottom-left-radius: 7px;
   -webkit-border-bottom-right-radius: 7px;
+  border-bottom-left-radius: 7px;
+  border-bottom-right-radius: 7px;
   margin: 0;
 }
 
@@ -94,10 +96,9 @@ div#tocframe {
   text-indent: -999em;
   background: #6aec7c url(../pictures/lily-home-nav-bg.png) no-repeat 50% 50%;
   width: 9%;
-  /* css3 no go yet? */
-  border-bottom-left-radius: 30px;
   -moz-border-radius-bottomleft: 7px;
   -webkit-border-bottom-left-radius: 7px;
+  border-bottom-left-radius: 7px;
 }
 
 #tocframe > ul:first-child > li:first-child a:hover {
@@ -121,6 +122,7 @@ div#tocframe {
   width: 9%;
   -moz-border-radius-bottomright: 7px;
   -webkit-border-bottom-right-radius: 7px;
+  border-bottom-right-radius: 7px;
 }
 
 #tocframe li {
@@ -151,6 +153,8 @@ div#tocframe {
   -moz-border-radius-bottomright: 20px;
   -webkit-border-top-right-radius: 20px;
   -webkit-border-bottom-right-radius: 20px;
+  border-top-right-radius: 20px;
+  border-bottom-right-radius: 20px;
 }
 
 #tocframe li form input[type="hidden"] {
@@ -205,6 +209,8 @@ div#tocframe {
   -moz-border-radius-bottomleft: 7px;
   -webkit-border-top-left-radius: 7px;
   -webkit-border-bottom-left-radius: 7px;
+  border-top-left-radius: 7px;
+  border-bottom-left-radius: 7px;
 }
 
 #tocframe .toc .toc li:last-child a {
@@ -212,6 +218,8 @@ div#tocframe {
   -moz-border-radius-bottomright: 7px;
   -webkit-border-top-right-radius: 7px;
   -webkit-border-bottom-right-radius: 7px;
+  border-top-right-radius: 7px;
+  border-bottom-right-radius: 7px;
 }
 
 #tocframe .toc .toc li a {
@@ -929,6 +937,7 @@ div.color4 h3 {
   /* Experimental rounded corners */
   -moz-border-radius: 10px;
   -webkit-border-radius: 10px;
+  border-radius: 10px;
   margin: 1em;
 }