diff options
Diffstat (limited to 'skins')
-rw-r--r-- | skins/contrib/Dusk/global.css | 12 | ||||
-rw-r--r-- | skins/standard/global.css | 8 | ||||
-rw-r--r-- | skins/standard/show_bug.css | 2 |
3 files changed, 11 insertions, 11 deletions
diff --git a/skins/contrib/Dusk/global.css b/skins/contrib/Dusk/global.css index e1f8afda1..33f28965c 100644 --- a/skins/contrib/Dusk/global.css +++ b/skins/contrib/Dusk/global.css @@ -34,8 +34,8 @@ body, td, th, input { /* page title */ #titles { - -moz-border-radius-topleft: 5px; - -moz-border-radius-topright: 5px; + border-top-left-radius: 5px; + border-top-right-radius: 5px; } #header .links, #footer { @@ -44,8 +44,8 @@ body, td, th, input { } #header { - -moz-border-radius-bottomleft: 5px; - -moz-border-radius-bottomright: 5px; + border-bottom-left-radius: 5px; + border-bottom-right-radius: 5px; border: none; } @@ -65,7 +65,7 @@ body, td, th, input { border: 1px solid #747e93; padding: 10px; font-size: 10pt; - -moz-border-radius: 5px; + border-radius: 5px; } a { @@ -178,7 +178,7 @@ hr { #footer { border: 1px solid #747e93; width: 100%; - -moz-border-radius: 5px; + border-radius: 5px; } #footer #links-actions, diff --git a/skins/standard/global.css b/skins/standard/global.css index f95d4e644..f50ccd02d 100644 --- a/skins/standard/global.css +++ b/skins/standard/global.css @@ -55,8 +55,8 @@ border-left: 1px solid #747E93; border-right: 1px solid #747E93; border-bottom: 1px solid #747E93; - -moz-border-radius-bottomleft: 5px; - -moz-border-radius-bottomright: 5px; + border-bottom-left-radius: 5px; + border-bottom-right-radius: 5px; padding: 0.5em; } @@ -105,8 +105,8 @@ width: 100%; background-color: #404D6C; color: #fff; - -moz-border-radius-topleft: 5px; - -moz-border-radius-topright: 5px; + border-top-left-radius: 5px; + border-top-right-radius: 5px; font-size: 110%; margin: 0; padding: 0.5em; diff --git a/skins/standard/show_bug.css b/skins/standard/show_bug.css index 99c0b405e..8214ce5f4 100644 --- a/skins/standard/show_bug.css +++ b/skins/standard/show_bug.css @@ -2,7 +2,7 @@ margin: 8px 0; padding: 0.3em; background-color: rgb(208, 208, 208); - -moz-border-radius: 0.5em; + border-radius: 0.5em; font-size: 125%; font-weight: bold; } |