| Index: third_party/WebKit/Source/devtools/front_end/ui/radioButton.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/radioButton.css b/third_party/WebKit/Source/devtools/front_end/ui/radioButton.css
|
| index 47f4775bb47b27939ed2a260d6979f7cd4a08990..f0e77c659fdd8888b1fde5e88d6434064aa69d93 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/radioButton.css
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/radioButton.css
|
| @@ -4,7 +4,7 @@
|
| * found in the LICENSE file.
|
| */
|
|
|
| -::content .dt-radio-button {
|
| +.dt-radio-button {
|
| height: 17px;
|
| width: 17px;
|
| min-width: 17px;
|
| @@ -16,16 +16,16 @@
|
| margin: 0 5px 5px 0;
|
| }
|
|
|
| -::content .dt-radio-button:active:not(:disabled) {
|
| +.dt-radio-button:active:not(:disabled) {
|
| background-image: linear-gradient(to bottom, rgb(194, 194, 194), rgb(239, 239, 239));
|
| }
|
|
|
| -::content .dt-radio-button:checked {
|
| +.dt-radio-button:checked {
|
| background: url(Images/radioDot.png) center no-repeat,
|
| linear-gradient(to bottom, rgb(252, 252, 252), rgb(223, 223, 223));
|
| }
|
|
|
| -::content .dt-radio-button:checked:active {
|
| +.dt-radio-button:checked:active {
|
| background: url(Images/radioDot.png) center no-repeat,
|
| linear-gradient(to bottom, rgb(194, 194, 194), rgb(239, 239, 239));
|
| }
|
|
|