Web: CSS: remove vendor prefixed border-radius

[lilypond.git] / Documentation / css / lilypond-manuals.css

diff --git a/Documentation/css/lilypond-manuals.css b/Documentation/css/lilypond-manuals.css
index 8950b847a712bdf7f169793a833c5ebe7ec57fee..04a6877d8dbd833ba2568d7d5834ec3b6757ba29 100644 (file)
--- a/Documentation/css/lilypond-manuals.css
+++ b/Documentation/css/lilypond-manuals.css
@@ -513,8 +513,7 @@ div#search p, div#search form {
   padding: 0;
   border: 1px solid green;
   /* Experimental rounded corners */
-  -moz-border-radius: 10px;
-  -webkit-border-radius: 10px;
+  border-radius: 10px;
   margin: 1em;
 }
 
@@ -532,7 +531,6 @@ body.contributor .warning { border-color: #000000; }
   padding: 0;
   border: 1px solid green;
   /* Experimental rounded corners */
-  -moz-border-radius: 10px;
-  -webkit-border-radius: 10px;
+  border-radius: 10px;
   margin: 0.5em 0.5em 2em 3em;
 }