browser/themes/shared/devtools/markup-view.css@6474c204b198 (annotated)
browser/themes/shared/devtools/markup-view.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 | * { |
| michael@0 | 6 | padding: 0; |
| michael@0 | 7 | margin: 0; |
| michael@0 | 8 | } |
| michael@0 | 9 | |
| michael@0 | 10 | .more-nodes { |
| michael@0 | 11 | padding-left: 16px; |
| michael@0 | 12 | } |
| michael@0 | 13 | |
| michael@0 | 14 | .styleinspector-propertyeditor { |
| michael@0 | 15 | border: 1px solid #CCC; |
| michael@0 | 16 | } |
| michael@0 | 17 | |
| michael@0 | 18 | |
| michael@0 | 19 | /* Selected nodes in the tree should have light selected text. |
| michael@0 | 20 | theme-selected doesn't work in this case since the text is a |
| michael@0 | 21 | sibling of the class, not a child. */ |
| michael@0 | 22 | .theme-selected ~ .editor, |
| michael@0 | 23 | .theme-selected ~ .editor .theme-fg-color1, |
| michael@0 | 24 | .theme-selected ~ .editor .theme-fg-color2, |
| michael@0 | 25 | .theme-selected ~ .editor .theme-fg-color3, |
| michael@0 | 26 | .theme-selected ~ .editor .theme-fg-color4, |
| michael@0 | 27 | .theme-selected ~ .editor .theme-fg-color5, |
| michael@0 | 28 | .theme-selected ~ .editor .theme-fg-color6, |
| michael@0 | 29 | .theme-selected ~ .editor .theme-fg-color7 { |
| michael@0 | 30 | color: #f5f7fa; /* Light foreground text */ |
| michael@0 | 31 | } |
| michael@0 | 32 | |
| michael@0 | 33 | .tag-line { |
| michael@0 | 34 | padding-left: 2px; |
| michael@0 | 35 | } |
