toolkit/themes/windows/global/xulscrollbars.css

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

michael@0 1 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 /* ===== xulscrollbars.css ==============================================
michael@0 6 == Styles used by XUL scrollbar-related elements.
michael@0 7 ======================================================================= */
michael@0 8
michael@0 9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
michael@0 10 @namespace html url("http://www.w3.org/1999/xhtml"); /* namespace for HTML elements */
michael@0 11
michael@0 12 /* ::::: scrollbar ::::: */
michael@0 13
michael@0 14 scrollbar {
michael@0 15 -moz-appearance: scrollbartrack-horizontal;
michael@0 16 -moz-binding: url("chrome://global/content/bindings/scrollbar.xml#scrollbar");
michael@0 17 cursor: default;
michael@0 18 background: url("chrome://global/skin/scrollbar/slider.gif") scrollbar;
michael@0 19 pointer-events: auto;
michael@0 20 }
michael@0 21
michael@0 22 @media all and (-moz-overlay-scrollbars) {
michael@0 23 scrollbar[root="true"] {
michael@0 24 position: relative;
michael@0 25 z-index: 2147483647; /* largest positive value of a signed 32-bit integer */
michael@0 26 }
michael@0 27
michael@0 28 scrollbar:not([active="true"]),
michael@0 29 scrollbar[disabled="true"] {
michael@0 30 visibility: hidden;
michael@0 31 }
michael@0 32 }
michael@0 33
michael@0 34 scrollbar[orient="vertical"]
michael@0 35 {
michael@0 36 -moz-appearance: scrollbartrack-vertical;
michael@0 37 }
michael@0 38
michael@0 39 /* ::::: borders for thumb and buttons ::::: */
michael@0 40
michael@0 41 thumb,
michael@0 42 scrollbarbutton {
michael@0 43 border: 2px solid;
michael@0 44 -moz-border-top-colors: ThreeDLightShadow ThreeDHighlight;
michael@0 45 -moz-border-right-colors: ThreeDDarkShadow ThreeDShadow;
michael@0 46 -moz-border-bottom-colors: ThreeDDarkShadow ThreeDShadow;
michael@0 47 -moz-border-left-colors: ThreeDLightShadow ThreeDHighlight;
michael@0 48 background-color: -moz-Dialog;
michael@0 49 }
michael@0 50
michael@0 51 /* ::::: thumb (horizontal) ::::: */
michael@0 52
michael@0 53 thumb {
michael@0 54 -moz-appearance: scrollbarthumb-vertical;
michael@0 55 min-height: 8px;
michael@0 56 }
michael@0 57
michael@0 58 thumb[orient="horizontal"] {
michael@0 59 -moz-appearance: scrollbarthumb-horizontal;
michael@0 60 min-width: 8px;
michael@0 61 }
michael@0 62
michael@0 63 /* ::::: scrollbar button ::::: */
michael@0 64
michael@0 65 scrollbarbutton {
michael@0 66 background: -moz-Dialog no-repeat 50% 50%;
michael@0 67 min-width: 16px;
michael@0 68 min-height: 16px;
michael@0 69 }
michael@0 70
michael@0 71 scrollbarbutton:hover:active, scrollbarbutton[active="true"] {
michael@0 72 -moz-border-top-colors: ThreeDShadow -moz-Dialog;
michael@0 73 -moz-border-right-colors: ThreeDShadow -moz-Dialog;
michael@0 74 -moz-border-bottom-colors: ThreeDShadow -moz-Dialog;
michael@0 75 -moz-border-left-colors: ThreeDShadow -moz-Dialog;
michael@0 76 background-position: 60% 60%;
michael@0 77 }
michael@0 78
michael@0 79 /* ::::: square at the corner of two scrollbars ::::: */
michael@0 80
michael@0 81 scrollcorner {
michael@0 82 /* XXX -moz-appearance: scrollcorner; */
michael@0 83 -moz-binding: url(chrome://global/content/bindings/scrollbar.xml#scrollbar-base);
michael@0 84 width: 16px;
michael@0 85 cursor: default;
michael@0 86 background-color: -moz-Dialog;
michael@0 87 }
michael@0 88
michael@0 89 /* ..... increment .... */
michael@0 90
michael@0 91 scrollbarbutton[type="increment"] {
michael@0 92 -moz-appearance: scrollbarbutton-right;
michael@0 93 background-image: url("chrome://global/skin/arrow/arrow-rit.gif")
michael@0 94 }
michael@0 95
michael@0 96 scrollbarbutton[type="increment"][disabled="true"] {
michael@0 97 background-image: url("chrome://global/skin/arrow/arrow-rit-dis.gif")
michael@0 98 }
michael@0 99
michael@0 100 scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
michael@0 101 -moz-appearance: scrollbarbutton-down;
michael@0 102 background-image: url("chrome://global/skin/arrow/arrow-dn.gif")
michael@0 103 }
michael@0 104
michael@0 105 scrollbar[orient="vertical"] > scrollbarbutton[type="increment"][disabled="true"] {
michael@0 106 background-image: url("chrome://global/skin/arrow/arrow-dn-dis.gif")
michael@0 107 }
michael@0 108
michael@0 109 /* ..... decrement .... */
michael@0 110
michael@0 111 scrollbarbutton[type="decrement"] {
michael@0 112 -moz-appearance: scrollbarbutton-left;
michael@0 113 background-image: url("chrome://global/skin/arrow/arrow-lft.gif")
michael@0 114 }
michael@0 115
michael@0 116 scrollbarbutton[type="decrement"][disabled="true"] {
michael@0 117 background-image: url("chrome://global/skin/arrow/arrow-lft-dis.gif")
michael@0 118 }
michael@0 119
michael@0 120 scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
michael@0 121 -moz-appearance: scrollbarbutton-up;
michael@0 122 background-image: url("chrome://global/skin/arrow/arrow-up.gif")
michael@0 123 }
michael@0 124
michael@0 125 scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"][disabled="true"] {
michael@0 126 background-image: url("chrome://global/skin/arrow/arrow-up-dis.gif")
michael@0 127 }
michael@0 128
michael@0 129 /* :::::::::::::::::::::::::::::::::::::::::::::::::::::::: */
michael@0 130 /* ::::::::::::::::::::: MEDIA PRINT :::::::::::::::::::::: */
michael@0 131 /* :::::::::::::::::::::::::::::::::::::::::::::::::::::::: */
michael@0 132 @media print {
michael@0 133 /* ::::: scrollbar ::::: */
michael@0 134
michael@0 135 html|div scrollbar {
michael@0 136 -moz-appearance: scrollbartrack-horizontal;
michael@0 137 -moz-binding: url("chrome://global/content/bindings/scrollbar.xml#scrollbar");
michael@0 138 cursor: default;
michael@0 139 background: url("chrome://global/skin/scrollbar/slider.gif") scrollbar;
michael@0 140 }
michael@0 141
michael@0 142 html|div scrollbar[orient="vertical"]
michael@0 143 {
michael@0 144 -moz-appearance: scrollbartrack-vertical;
michael@0 145 }
michael@0 146
michael@0 147 /* ::::: borders for thumb and buttons ::::: */
michael@0 148
michael@0 149 html|div thumb,
michael@0 150 html|div scrollbarbutton {
michael@0 151 border: 2px solid;
michael@0 152 -moz-border-top-colors: ThreeDLightShadow ThreeDHighlight;
michael@0 153 -moz-border-right-colors: ThreeDDarkShadow ThreeDShadow;
michael@0 154 -moz-border-bottom-colors: ThreeDDarkShadow ThreeDShadow;
michael@0 155 -moz-border-left-colors: ThreeDLightShadow ThreeDHighlight;
michael@0 156 background-color: -moz-Dialog;
michael@0 157 }
michael@0 158
michael@0 159 /* ::::: thumb (horizontal) ::::: */
michael@0 160
michael@0 161 html|div thumb {
michael@0 162 -moz-appearance: scrollbarthumb-vertical;
michael@0 163 min-height: 8px;
michael@0 164 }
michael@0 165
michael@0 166 html|div thumb[orient="horizontal"] {
michael@0 167 -moz-appearance: scrollbarthumb-horizontal;
michael@0 168 min-width: 8px;
michael@0 169 }
michael@0 170
michael@0 171 /* ::::: scrollbar button ::::: */
michael@0 172
michael@0 173 html|div scrollbarbutton {
michael@0 174 background: -moz-Dialog no-repeat 50% 50%;
michael@0 175 min-width: 16px;
michael@0 176 min-height: 16px;
michael@0 177 }
michael@0 178
michael@0 179 html|div scrollbarbutton:hover:active, html|div scrollbarbutton[active="true"] {
michael@0 180 -moz-border-top-colors: ThreeDShadow -moz-Dialog;
michael@0 181 -moz-border-right-colors: ThreeDShadow -moz-Dialog;
michael@0 182 -moz-border-bottom-colors: ThreeDShadow -moz-Dialog;
michael@0 183 -moz-border-left-colors: ThreeDShadow -moz-Dialog;
michael@0 184 background-position: 60% 60%;
michael@0 185 }
michael@0 186
michael@0 187 /* ..... increment .... */
michael@0 188
michael@0 189 html|div scrollbarbutton[type="increment"] {
michael@0 190 -moz-appearance: scrollbarbutton-right;
michael@0 191 background-image: url("chrome://global/skin/arrow/arrow-rit.gif")
michael@0 192 }
michael@0 193
michael@0 194 html|div scrollbarbutton[type="increment"][disabled="true"] {
michael@0 195 background-image: url("chrome://global/skin/arrow/arrow-rit-dis.gif")
michael@0 196 }
michael@0 197
michael@0 198 html|div scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
michael@0 199 -moz-appearance: scrollbarbutton-down;
michael@0 200 background-image: url("chrome://global/skin/arrow/arrow-dn.gif")
michael@0 201 }
michael@0 202
michael@0 203 html|div scrollbar[orient="vertical"] > scrollbarbutton[type="increment"][disabled="true"] {
michael@0 204 background-image: url("chrome://global/skin/arrow/arrow-dn-dis.gif")
michael@0 205 }
michael@0 206
michael@0 207 /* ..... decrement .... */
michael@0 208
michael@0 209 html|div scrollbarbutton[type="decrement"] {
michael@0 210 -moz-appearance: scrollbarbutton-left;
michael@0 211 background-image: url("chrome://global/skin/arrow/arrow-lft.gif")
michael@0 212 }
michael@0 213
michael@0 214 html|div scrollbarbutton[type="decrement"][disabled="true"] {
michael@0 215 background-image: url("chrome://global/skin/arrow/arrow-lft-dis.gif")
michael@0 216 }
michael@0 217
michael@0 218 html|div scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
michael@0 219 -moz-appearance: scrollbarbutton-up;
michael@0 220 background-image: url("chrome://global/skin/arrow/arrow-up.gif")
michael@0 221 }
michael@0 222
michael@0 223 html|div scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"][disabled="true"] {
michael@0 224 background-image: url("chrome://global/skin/arrow/arrow-up-dis.gif")
michael@0 225 }
michael@0 226
michael@0 227 }

mercurial