tweaks for making devtools look nicer
[themes.git] / LCARStrek / global / browser.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 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
6
7 /**
8  * Tabbrowser Tabs
9  */
10
11 .tabbrowser-tabs {
12 }
13
14 .tabbrowser-tabs[overflow="true"] {
15   -moz-padding-start: 0px;
16 }
17
18 /**
19  * Tab
20  */
21
22 .tabbrowser-tab {
23   padding: 1px 4px 2px;
24 }
25
26 .tabbrowser-tab[busy] > .tab-image-middle > .tab-icon > .tab-icon-image {
27   list-style-image: url("chrome://global/skin/icons/loading.gif") !important;
28 }
29
30 .tabbrowser-tab[selected="true"] {
31   font-weight: bold;
32 }
33
34 .tab-icon-image {
35   margin-top: 1px;
36   -moz-margin-end: 3px;
37   width: 16px;
38   height: 16px;
39 }
40
41 .tabs-bottom {
42 }
43
44 tabpanels {
45 }
46
47 .tabs-left,
48 .tabs-right {
49   width: 3px;
50   border-bottom-width: 0px;
51 }
52
53 /* tabbrowser-tab focus ring */
54 .tabbrowser-tab >  .tab-image-middle > .tab-text {
55   border: 1px dotted transparent;
56 }
57
58 .tabbrowser-tab:-moz-focusring > .tab-image-middle > .tab-text {
59   border: 1px dotted #008484;
60 }
61
62 /**
63  * Tab Drag and Drop
64  */
65
66 .tab-drop-indicator-bar {
67     visibility: hidden;
68     height: 9px;
69     margin-top: -9px;
70     position: relative;
71 }
72
73 .tab-drop-indicator {
74     height: 11px;
75     width: 11px;
76     margin-bottom: -5px;
77     position: relative;
78     background: url('chrome://global/skin/icons/tab-drag-indicator.gif') 50% 50% no-repeat;
79 }
80
81 .tab-drop-indicator-bar[dragging="true"] {
82     visibility: visible;
83 }
84
85 /**
86  * In-tab close button
87  */
88 .tab-close-button > .toolbarbutton-icon {
89   -moz-margin-end: 0px !important;
90   margin-top: 1px;
91 }
92
93 .tab-close-button {
94   border: none !important;
95   padding: 0px;
96   cursor: default;
97   list-style-image: url("chrome://global/skin/icons/close-button.gif");
98 }
99
100
101 .tab-close-button:focus {
102   outline: none !important;
103 }
104
105 /**
106  * Tab Scrollbox Arrow Buttons
107  */
108
109 /**
110  * All Tabs Button
111  */
112
113 .tabs-alltabs-box {
114 }
115
116 .tabs-alltabs-button {
117 }
118
119 .tabs-alltabs-box-animate {
120 }
121
122 /**
123  * All Tabs Menupopup 
124  */
125
126 .alltabs-item > .menu-iconic-left > .menu-iconic-icon {
127 }
128
129 .alltabs-item[selected="true"] {
130   font-weight: bold;
131 }
132
133 .alltabs-item[busy] > .menu-iconic-left > .menu-iconic-icon {
134   list-style-image: url("chrome://global/skin/icons/loading.gif");
135 }