hooks/pre-receive: set .needsgc when many packs are present
[girocco.git] / html / girocco.css
blob445bf88a6f39f8983a64b3c52c5f16f9c595a744
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 {
50 padding-top: 0.3em;
51 padding-left: 0.75em;
52 line-height: 1.75em;
55 .ctxaction {
56 text-decoration: none;
59 .timestamp {
60 white-space: nowrap;
61 font-size: 1.5ex;
64 .updated {
65 white-space: nowrap;
66 color: green;
67 font-weight: bold;
68 font-size: 125%;
71 .failed {
72 white-space: nowrap;
73 color: #c00000;
74 font-weight: bold;
75 font-size: 125%;
78 .projectlist {
79 margin-left: 3ex;
82 .projectlist a {
83 color: inherit;
84 text-decoration: none;
85 border-bottom: thin dotted;
88 .projectlist a:hover {
89 border-bottom: thin solid;
92 .projectlist a:active {
93 color: red;
96 .projectlist .odd, .bundlelist .odd {
97 background-color: #f4f4f4;
100 .projectlist th, .projectlist td,
101 .bundlelist th, .bundlelist td {
102 padding: 0.5ex 0.75ex;
105 .projectlist th, .bundlelist th {
106 text-align: left;
109 .projectlist th.desc {
110 min-width: 40ex;
113 .projectlist th,
114 .projectlist td:first-child,
115 .projectlist td.sizecol,
116 .projectlist td.type,
117 .projectlist td.change,
118 .projectlist td.idle,
119 .bundlelist th,
120 .bundlelist td {
121 white-space: nowrap;
124 .projectlist th.sizecol,
125 .projectlist td.sizecol {
126 text-align: right;
129 .nowrap {
130 white-space: nowrap !important;
131 min-width: 0 !important;
134 .indent {
135 margin-left: 3ex !important;
138 .hover {
139 position: relative;
140 border-bottom: thin dotted;
143 .hover:hover {
144 border-bottom: hidden;
145 background-color: #ffffe4;
148 .hover > span:first-child {
149 position: absolute;
150 left: 0;
151 top: +100%;
152 margin-top: 1ex;
153 margin-left: 1.25ex;
154 border: thin solid;
155 padding: 1ex;
156 background-color: white;
157 min-width: 45ex;
158 z-index: 1;
159 white-space: normal;
160 font-weight: normal;
161 text-align: left;
162 visibility: hidden;
165 .hover .head {
166 display: block;
167 font-weight: bold;
168 margin-bottom: 0.5em;
171 .hover:hover > span:first-child {
172 visibility: visible;