toolbox/update-all-config.pl: quiet means quiet
[girocco.git] / html / girocco.css
blobbe3cf3b6889f1cce80230bcc35b450aa9fe7aaf9
1 /* Girocco CSS */
3 .form {
4 padding: 0;
7 .projectlist, .bundlelist, p, pre {
8 margin-left: 1ex;
9 margin-right: 1ex;
12 div.htmlcgi .projectlist,
13 div.htmlcgi .bundlelist,
14 div.htmlcgi p,
15 div.htmlcgi pre {
16 margin-left: 0;
17 margin-right: 0;
20 div.htmlcgi {
21 margin-left: 1ex;
22 margin-right: 1ex;
25 div.htmlcgi h1 {
26 font-size: 150%;
29 div.htmlcgi h2 {
30 font-size: 125%;
33 div.htmlcgi h3 {
34 font-size: 110%;
37 div.htmlcgi h4 {
38 font-size: 100%;
41 .formlabel {
42 margin-right: 0.5em;
43 padding-top: 0.3em;
44 text-align: right;
45 background-color: #d9d8d1;
46 line-height: 1.75em;
49 .formdata, .formdatatd {
50 padding-top: 0.3em;
51 line-height: 1.75em;
54 .formdata {
55 padding-left: 0.75em;
58 .ctxaction {
59 text-decoration: none;
62 .timestamp {
63 white-space: nowrap;
64 font-size: 1.5ex;
67 .updated {
68 white-space: nowrap;
69 color: green;
70 font-weight: bold;
71 font-size: 125%;
74 .failed {
75 white-space: nowrap;
76 color: #c00000;
77 font-weight: bold;
78 font-size: 125%;
81 .projectlist {
82 margin-left: 3ex;
85 .projectlist a {
86 color: inherit;
87 text-decoration: none;
88 border-bottom: thin dotted;
91 .projectlist a:hover {
92 border-bottom: thin solid;
95 .projectlist a:active {
96 color: red;
99 .projectlist .odd, .bundlelist .odd {
100 background-color: #f4f4f4;
103 .projectlist th, .projectlist td,
104 .bundlelist th, .bundlelist td {
105 padding: 0.5ex 0.75ex;
108 .projectlist th, .bundlelist th {
109 text-align: left;
112 .projectlist th.desc {
113 min-width: 40ex;
116 .projectlist th,
117 .projectlist td:first-child,
118 .projectlist td.sizecol,
119 .projectlist td.type,
120 .projectlist td.change,
121 .projectlist td.idle,
122 .bundlelist th,
123 .bundlelist td {
124 white-space: nowrap;
127 .projectlist th.sizecol,
128 .projectlist td.sizecol {
129 text-align: right;
132 .nowrap {
133 white-space: nowrap !important;
134 min-width: 0 !important;
137 .indent {
138 margin-left: 3ex !important;
141 .hover {
142 position: relative;
143 border-bottom: thin dotted;
146 .hover:hover {
147 border-bottom: hidden;
148 background-color: #ffffe4;
151 .hover > span:first-child {
152 position: absolute;
153 left: 0;
154 top: +100%;
155 margin-top: 1ex;
156 margin-left: 1.25ex;
157 border: thin solid;
158 padding: 1ex;
159 background-color: white;
160 min-width: 45ex;
161 z-index: 1;
162 white-space: normal;
163 font-weight: normal;
164 text-align: left;
165 visibility: hidden;
168 .hover .head {
169 display: block;
170 font-weight: bold;
171 margin-bottom: 0.5em;
174 .hover .head:before {
175 Content: attr(_data);
178 .hover:hover > span:first-child {
179 visibility: visible;
182 .none {
183 display: none;
186 .before:before {
187 Content: attr(_data);
190 sup.sup {
191 position: relative;
192 font-size: 100%;
193 vertical-align: baseline;
194 bottom: +1ex;
196 sup.sup > span:first-child {
197 position: relative;
198 font-size: smaller;
199 top: +1pt;
202 sub.sub {
203 position: relative;
204 font-size: 100%;
205 vertical-align: baseline;
206 top: +1pt;
208 sub.sub > span:first-child {
209 position: relative;
210 font-size: smaller;
211 top: +0.5ex;