From e15e0d22810063b79da891bbf472ecc39d09c02c Mon Sep 17 00:00:00 2001
From: Federico Bruni <fedelogy@gmail.com>
Date: Tue, 28 Aug 2012 22:40:26 +0200
Subject: [PATCH] Web: add W3C properties of border-*-radius after vendor ones
 (issue 2784)

---
 Documentation/css/lilypond-website.css | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/Documentation/css/lilypond-website.css b/Documentation/css/lilypond-website.css
index 2ce6229125..9daf395dc6 100644
--- 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;
 }
 
-- 
2.39.2