The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/toolkit/themes/windows/global/radio.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,100 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +/* ===== radio.css ===================================================
     1.9 +  == Styles used by the XUL radio element.
    1.10 +  ======================================================================= */
    1.11 +
    1.12 +@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
    1.13 +
    1.14 +/* ::::: radio ::::: */
    1.15 +
    1.16 +radio {
    1.17 +  -moz-appearance: radio-container;
    1.18 +  -moz-box-align: center;
    1.19 +  margin: 2px 4px;
    1.20 +  padding-top: 1px;
    1.21 +  padding-bottom: 1px;
    1.22 +  -moz-padding-start: 4px;
    1.23 +  -moz-padding-end: 2px;
    1.24 +}
    1.25 +
    1.26 +.radio-label-box {
    1.27 +  -moz-margin-start: 2px;
    1.28 +  border: 1px solid transparent;
    1.29 +  padding-top: 0px;
    1.30 +  padding-bottom: 1px;
    1.31 +  -moz-padding-start: 1px;
    1.32 +  -moz-padding-end: 0px;
    1.33 +}
    1.34 +
    1.35 +.radio-icon {
    1.36 +  -moz-margin-end: 2px;
    1.37 +}
    1.38 +
    1.39 +.radio-label {
    1.40 +  margin: 0 !important;
    1.41 +}
    1.42 +
    1.43 +/* ..... focused state ..... */
    1.44 +
    1.45 +radio[focused="true"] > .radio-label-box {
    1.46 +  border: 1px dotted ThreeDDarkShadow;
    1.47 +}
    1.48 +
    1.49 +/* ..... disabled state ..... */
    1.50 +
    1.51 +radio[disabled="true"] > .radio-check-box1 {
    1.52 +  background-color: -moz-Dialog;
    1.53 +}
    1.54 +
    1.55 +radio[disabled="true"] {
    1.56 +  color: GrayText;
    1.57 +}
    1.58 +
    1.59 +radio[disabled="true"]:-moz-system-metric(windows-classic) {
    1.60 +  color: ThreeDShadow;
    1.61 +  text-shadow: 1px 1px ThreeDHighlight;
    1.62 +}
    1.63 +
    1.64 +/* ::::: checkmark image ::::: */
    1.65 +
    1.66 +.radio-check-box1 {
    1.67 +  -moz-appearance: radio;
    1.68 +  margin: 1px 0px;
    1.69 +  border-top: 1px solid ThreeDShadow;
    1.70 +  border-right: 1px solid ThreeDHighlight;
    1.71 +  border-bottom: 1px solid ThreeDHighlight;
    1.72 +  border-left: 1px solid ThreeDShadow;
    1.73 +  border-radius: 50%;
    1.74 +  width: 12px;
    1.75 +  height: 12px;
    1.76 +  background-color: -moz-Field;
    1.77 +}
    1.78 +
    1.79 +.radio-check-box2 {
    1.80 +  border-top: 1px solid ThreeDDarkShadow;
    1.81 +  border-right: 1px solid ThreeDLightShadow;
    1.82 +  border-bottom: 1px solid ThreeDLightShadow;
    1.83 +  border-left: 1px solid ThreeDDarkShadow;
    1.84 +  border-radius: 50%;
    1.85 +  padding: 2px;
    1.86 +  width: 4px;
    1.87 +  height: 4px;
    1.88 +  list-style-image: none;
    1.89 +}
    1.90 +
    1.91 +radio:hover:active > .radio-check-box1 {
    1.92 +  background-color: -moz-Dialog;
    1.93 +}
    1.94 +
    1.95 +/* ..... selected state ..... */
    1.96 +
    1.97 +radio[selected="true"] > .radio-check-box1 > .radio-check-box2 {
    1.98 +  list-style-image: url("chrome://global/skin/radio/radio-check.gif");
    1.99 +}
   1.100 +
   1.101 +radio[selected="true"][disabled="true"] > .radio-check-box1 > .radio-check-box2 {
   1.102 +  list-style-image: url("chrome://global/skin/radio/radio-check-dis.gif") !important
   1.103 +}