third_party/WebKit/Source/devtools/front_end/ui/radioButton.css

   1 /*
   2  * Copyright (c) 2014 The Chromium Authors. All rights reserved.
   3  * Use of this source code is governed by a BSD-style license that can be
   4  * found in the LICENSE file.
   5  */
   6
   7 ::content .dt-radio-button {
   8     height: 17px;
   9     width: 17px;
  10     min-width: 17px;
  11     border: 1px solid rgb(165, 165, 165);
  12     background-image: linear-gradient(to bottom, rgb(252, 252, 252), rgb(223, 223, 223));
  13     border-radius: 8px;
  14     -webkit-appearance: none;
  15     vertical-align: middle;
  16     margin: 0 5px 5px 0;
  17 }
  18
  19 ::content .dt-radio-button:active:not(:disabled) {
  20     background-image: linear-gradient(to bottom, rgb(194, 194, 194), rgb(239, 239, 239));
  21 }
  22
  23 ::content .dt-radio-button:checked {
  24     background: url(Images/radioDot.png) center no-repeat,
  25                 linear-gradient(to bottom, rgb(252, 252, 252), rgb(223, 223, 223));
  26 }
  27
  28 ::content .dt-radio-button:checked:active {
  29     background: url(Images/radioDot.png) center no-repeat,
  30                 linear-gradient(to bottom, rgb(194, 194, 194), rgb(239, 239, 239));
  31 }