tweaks for making devtools look nicer
[themes.git] / LCARStrek / browser / preferences / applications.css
1 /* This Source Code Form is subject to the terms of the Mozilla Public
2  * License, v. 2.0. If a copy of the MPL was not distributed with this
3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
4
5 /**
6  * Line up the actions menu with action labels above and below it.
7  * Equalize the distance from the left side of the action box to the left side
8  * of the icon for both the menu and the non-menu versions of the action box.
9  * Also make sure the labels are the same distance away from the icons.
10  */
11 .actionsMenu {
12   margin: 0;
13 }
14
15 .typeIcon,
16 .actionIcon {
17   -moz-margin-start: 3px;
18   -moz-margin-end: 3px;
19 }
20
21 richlistitem > hbox > hbox > label {
22   -moz-margin-start: 1px;
23   margin-top: 2px;
24 }
25
26 richlistitem {
27   min-height: 22px;
28 }
29
30 richlistitem[appHandlerIcon="app"],
31 menuitem[appHandlerIcon="app"] {
32   list-style-image: url("chrome://browser/skin/preferences/application.png");
33 }
34
35 richlistitem[appHandlerIcon="ask"],
36 menuitem[appHandlerIcon="ask"] {
37   list-style-image: url("chrome://browser/skin/preferences/alwaysAsk.png");
38 }
39
40 richlistitem[appHandlerIcon="save"],
41 menuitem[appHandlerIcon="save"] {
42   list-style-image: url("chrome://browser/skin/preferences/saveFile.png");
43 }
44
45 richlistitem[appHandlerIcon="feed"],
46 menuitem[appHandlerIcon="feed"] {
47   list-style-image: url("chrome://browser/skin/feeds/feedIcon16.png");
48 }
49
50 richlistitem[appHandlerIcon="plugin"],
51 menuitem[appHandlerIcon="plugin"] {
52   list-style-image: url("chrome://mozapps/skin/plugins/pluginGeneric-16.png");
53 }
54
55 .actionsMenu > .menulist-label-box {
56   padding: 1px;
57   -moz-padding-start: 0;
58 }
59
60 .actionsMenu > .menulist-label-box > .menulist-icon {
61   margin: 0 2px;
62   height: 16px;
63   width: 16px;
64 }
65
66 .actionsMenu > .menulist-label-box > .menulist-label {
67   margin: 3px 2px 1px !important;
68 }
69
70 menuitem {
71   -moz-padding-start: 2px;
72 }
73
74 .menu-iconic-left {
75   -moz-margin-end: 4px !important;
76 }