tweaks for making devtools look nicer
[themes.git] / LCARStrek / navigator / pageInfo.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 @import "chrome://global/skin/";
6
7 /* Misc */
8 tree {
9   margin: .5em;
10 }
11
12 .gridSeparator {
13   width: .5em;
14 }
15
16 textbox {
17   background: transparent !important;
18   border: none;
19   padding: 0px;
20   -moz-user-focus: none;
21 }
22
23 textbox.header {
24   -moz-margin-start: 0;
25 }
26
27 .iframe {
28   margin: .5em;
29   background: black;
30   overflow: auto;
31 }
32
33 .fixedsize {
34   height: 8.5em;
35 }
36
37 textbox[readonly="true"] {
38   color: #9C9CFF;
39 }
40
41 textbox[disabled] {
42   font-style: italic;
43 }
44
45 row > label {
46   padding: 3px 0;
47 }
48
49 /* General Tab */
50 #general-security-identity {
51   white-space: pre-wrap;
52   line-height: 2em;
53 }
54
55 /* Media Tab */
56 #imagetree {
57   min-height: 10em;
58 }
59
60 #thepreviewimage {
61   margin: 1em;
62 }
63
64 treechildren::-moz-tree-cell-text(broken) {
65   font-style: italic;
66   color: #8050B0;
67 }
68
69 /* Feeds Tab */
70 #feedListbox richlistitem {
71   padding-top: 6px;
72   padding-bottom: 6px;
73   -moz-padding-start: 7px;
74   -moz-padding-end: 7px;
75   min-height: 25px;
76   border-bottom: 1px dotted #9C9CFF;
77 }
78
79 .feedTitle {
80   font-weight: bold;
81 }
82
83 /* Permissions Tab */
84 #permList {
85   margin-top: .5em;
86   overflow: auto;
87 }
88
89 .permission {
90   padding-top: 6px;
91   padding-bottom: 6px;
92   -moz-padding-start: 7px;
93   -moz-padding-end: 7px;
94   min-height: 25px;
95   border-bottom: 1px dotted #9C9CFF;
96 }
97
98 .permissionLabel {
99   font-weight: bold;
100 }
101
102 /* Security Tab */
103 .fieldValue {
104   font-weight: bold;
105 }
106
107 #identity-icon {
108   width: 64px;
109   height: 64px;
110   list-style-image: url("chrome://navigator/skin/icons/identity.png");
111   -moz-image-region: rect(0px, 64px, 64px, 0px);
112 }
113
114 #identity-icon.verifiedDomain {
115   -moz-image-region: rect(64px, 64px, 128px, 0px);
116 }
117
118 #identity-icon.verifiedIdentity {
119   -moz-image-region: rect(128px, 64px, 192px, 0px);
120 }