Fix border-radius on Firefox > 12

From https://developer.mozilla.org/en-US/docs/Web/CSS/border-radius :
Support for the prefixed version (-moz-border-radius) was removed in
Gecko 13.0 (Firefox 13.0 / Thunderbird 13.0 / SeaMonkey 2.10).

Fix to use "border-radius" instead.

Change-Id: Id39377bcd7107241b0dd8020675a3da44c3cde59

gerrit-gwtexpui/src/main/java/com/google/gwtexpui/globalkey/client/key.css

@@ -26,6 +26,7 @@
   width: 92%;
   z-index: 1002;
   opacity: 0.85;
+  border-radius: 10px;
  }
 
 @if user.agent safari {

gerrit-gwtui/src/main/java/com/google/gerrit/client/change/NewChangeScreenBar.ui.xml

@@ -31,9 +31,20 @@ limitations under the License.
       padding-right: 12px;
       text-align: center;
       background: #FFF1A8;
-      -webkit-border-radius: 10px;
-      -moz-border-radius: 10px;
+      border-radius: 10px;
     }
+
+    @if user.agent safari {
+      .popup {
+        \-webkit-border-radius: 10px;
+      }
+    }
+    @if user.agent gecko1_8 {
+      .popup {
+        \-moz-border-radius: 10px;
+      }
+    }
+
     a.action {
       color: #222;
       text-decoration: underline;

gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/PreferencesBox.ui.xml

@@ -37,8 +37,19 @@ limitations under the License.
       text-shadow: 1px 1px 7px #000000;
       min-width: 300px;
       z-index: 200;
-      -webkit-border-radius: 10px;
-      -moz-border-radius: 10px;
+      border-radius: 10px;
+    }
+
+    @if user.agent safari {
+      .dialog {
+        \-webkit-border-radius: 10px;
+      }
+    }
+
+    @if user.agent gecko1_8 {
+      .dialog {
+        \-moz-border-radius: 10px;
+      }
     }
 
     .box { margin: 10px; }

gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css

@@ -158,9 +158,15 @@ a:hover {
   border-top: 1px solid lightgray;
   border-left: 1px solid lightgray;
   border-right: 1px solid lightgray;
+  border-top-left-radius: 8px;
+  border-top-right-radius: 8px;
+  border-bottom-left-radius: 0px;
+  border-bottom-right-radius: 0px;
 }
 .commentPanelBorder.commentPanelLast {
   border-bottom: 1px solid lightgray;
+  border-bottom-left-radius: 8px;
+  border-bottom-right-radius: 8px;
 }
 
 @if user.agent safari {