Wed, 31 Dec 2014 06:09:35 +0100
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 | %define WINDOWS_AERO |
michael@0 | 6 | %include allDownloadsViewOverlay.css |
michael@0 | 7 | %undef WINDOWS_AERO |
michael@0 | 8 | |
michael@0 | 9 | @media (-moz-windows-default-theme) { |
michael@0 | 10 | /* |
michael@0 | 11 | -moz-appearance: menuitem is almost right, but the hover effect is not |
michael@0 | 12 | transparent and is lighter than desired. |
michael@0 | 13 | |
michael@0 | 14 | Copied from the autocomplete richlistbox styling in |
michael@0 | 15 | toolkit/themes/windows/global/autocomplete.css |
michael@0 | 16 | |
michael@0 | 17 | This styling should be kept in sync with the style from the above file. |
michael@0 | 18 | */ |
michael@0 | 19 | #downloadsRichListBox > richlistitem.download[selected] { |
michael@0 | 20 | color: inherit; |
michael@0 | 21 | background-color: transparent; |
michael@0 | 22 | /* four gradients for the bevel highlights on each edge, one for blue background */ |
michael@0 | 23 | background-image: |
michael@0 | 24 | linear-gradient(to bottom, rgba(255,255,255,0.9) 3px, rgba(255,255,255,0) 3px), |
michael@0 | 25 | linear-gradient(to right, rgba(255,255,255,0.5) 3px, rgba(255,255,255,0) 3px), |
michael@0 | 26 | linear-gradient(to left, rgba(255,255,255,0.5) 3px, rgba(255,255,255,0) 3px), |
michael@0 | 27 | linear-gradient(to top, rgba(255,255,255,0.4) 3px, rgba(255,255,255,0) 3px), |
michael@0 | 28 | linear-gradient(to bottom, rgba(163,196,247,0.3), rgba(122,180,246,0.3)); |
michael@0 | 29 | background-clip: content-box; |
michael@0 | 30 | border-radius: 6px; |
michael@0 | 31 | outline: 1px solid rgb(124,163,206); |
michael@0 | 32 | -moz-outline-radius: 3px; |
michael@0 | 33 | outline-offset: -2px; |
michael@0 | 34 | } |
michael@0 | 35 | } |