sync both themes with toolkit windows/shared theme changes in Mozilla 26
[themes.git] / EarlyBlue / mozapps / pref / pref.css
CommitLineData
0697ec23 1/*
2# -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
9099c61d
RK
3# This Source Code Form is subject to the terms of the Mozilla Public
4# License, v. 2.0. If a copy of the MPL was not distributed with this
5# file, You can obtain one at http://mozilla.org/MPL/2.0/.
0697ec23 6#
9099c61d
RK
7# This Source Code Form is "Incompatible With Secondary Licenses", as
8# defined by the Mozilla Public License, v. 2.0.
0697ec23 9*/
10
11.listBox {
02920d2b 12 margin: 2px;
0697ec23 13 border: 1px inset #CCD0DD;
14 background-color: #FFFFFF;
15}
16
17.indent {
8caa872d
RK
18 -moz-margin-start: 23px;
19 -moz-margin-end: 23px;
0697ec23 20}
21
22.small-indent {
8caa872d 23 -moz-margin-start: 15px;
0697ec23 24}
25
26.uniWidthButton {
27 min-width: 8em;
28}
29
30/** Privacy/Advanced Panels Expander Boxes **/
31.settingsBox {
32 margin: 2px;
33 padding: 2px;
34}
35
36#fileExtension {
49037d9b 37 width: 5em;
0697ec23 38}
39
40#fileExtension.pluginsList {
49037d9b 41 width: 5.5em;
0697ec23 42}
43
49037d9b 44#typeIcon,
0697ec23 45.extensionChildren::-moz-tree-image(fileExtension),
46.pluginTypesChildren::-moz-tree-image(fileExtension) {
02920d2b
RK
47 margin: 0;
48 -moz-margin-end: 5px;
0697ec23 49}
50
51.pluginTypesChildren::-moz-tree-image(pluginEnabled) {
02920d2b
RK
52 margin: 0;
53 -moz-margin-end: 5px;
49037d9b 54 list-style-image: url("chrome://mozapps/skin/pref/dot.gif");
0697ec23 55}
56
57.pluginTypesChildren::-moz-tree-image(pluginEnabled, enabled) {
02920d2b
RK
58 margin: 0;
59 -moz-margin-end: 5px;
49037d9b 60 list-style-image: url("chrome://mozapps/skin/pref/check.gif");
0697ec23 61}
62
63.biggerIndent {
8caa872d 64 -moz-margin-start: 28px;
0697ec23 65}
66
67#typeField {
49037d9b 68 font-weight: bold;
0697ec23 69}
70
71#defaultAppName {
8caa872d 72 -moz-margin-start: 6px !important;
0697ec23 73}