Merge branch 'jc/waitpid' into next
[git] / gitweb / gitweb.css
1 body {
2        font-family: sans-serif;
3        font-size: 12px;
4        border:solid #d9d8d1;
5        border-width: 1px;
6        margin: 10px;
7        background-color: #ffffff;
8        color: #000000;
9 }
10
11 a {
12        color: #0000cc;
13 }
14
15 a:hover, a:visited, a:active {
16        color: #880000;
17 }
18
19 div.page_header {
20        height: 25px;
21        padding: 8px;
22        font-size: 18px;
23        font-weight: bold;
24        background-color: #d9d8d1;
25 }
26
27 div.page_header a:visited, a.header {
28        color: #0000cc;
29 }
30
31 div.page_header a:hover {
32        color: #880000;
33 }
34
35 div.page_nav {
36        padding:8px;
37 }
38
39 div.page_nav a:visited {
40        color: #0000cc;
41 }
42
43 div.page_path {
44        padding: 8px;
45        border: solid #d9d8d1;
46        border-width: 0px 0px 1px;
47 }
48
49 div.page_footer {
50        height: 17px;
51        padding: 4px 8px;
52        background-color: #d9d8d1;
53 }
54
55 div.page_footer_text {
56        float: left;
57        color: #555555;
58        font-style: italic;
59 }
60
61 div.page_body {
62        padding: 8px;
63 }
64
65 div.title, a.title {
66        display: block;
67        padding: 6px 8px;
68        font-weight: bold;
69        background-color: #edece6;
70        text-decoration: none;
71        color: #000000;
72 }
73
74 a.title:hover {
75        background-color: #d9d8d1;
76 }
77
78 div.title_text {
79        padding: 6px 0px;
80        border: solid #d9d8d1;
81        border-width: 0px 0px 1px;
82 }
83
84 div.log_body {
85        padding: 8px 8px 8px 150px;
86 }
87
88 span.age {
89        position: relative;
90        float: left;
91        width: 142px;
92        font-style:italic;
93 }
94
95 div.log_link {
96        padding: 0px 8px;
97        font-size: 10px;
98        font-family: sans-serif;
99        font-style:normal;
100        position: relative;
101        float: left;
102        width: 136px;
103 }
104
105 div.list_head {
106        padding: 6px 8px 4px;
107        border: solid #d9d8d1;
108        border-width: 1px 0px 0px;
109        font-style: italic;
110 }
111
112 a.list {
113        text-decoration: none;
114        color: #000000;
115 }
116
117 a.list:hover {
118        text-decoration: underline;
119        color: #880000;
120 }
121
122 a.text {
123        text-decoration: none;
124        color: #0000cc;
125 }
126
127 a.text:visited {
128        text-decoration: none;
129        color: #880000;
130 }
131
132 a.text:hover {
133        text-decoration: underline;
134        color: #880000;
135 }
136
137 table {
138        padding: 8px 4px;
139 }
140
141 th {
142        padding: 2px 5px;
143        font-size: 12px;
144        text-align: left;
145 }
146
147 tr.light:hover {
148        background-color: #edece6;
149 }
150
151 tr.dark {
152        background-color: #f6f6f0;
153 }
154
155 tr.dark:hover {
156        background-color: #edece6;
157 }
158
159
160 td {
161        padding: 2px 5px;
162        font-size: 12px;
163        vertical-align:top;
164 }
165
166 td.link {
167        padding: 2px 5px;
168        font-family: sans-serif;
169        font-size: 10px;
170 }
171
172 div.pre {
173        font-family: monospace;
174        font-size: 12px;
175        white-space: pre;
176 }
177
178 div.diff_info {
179        font-family: monospace;
180        color: #000099;
181        background-color: #edece6;
182        font-style: italic;
183 }
184
185 div.index_include {
186        border: solid #d9d8d1;
187        border-width: 0px 0px 1px;
188        padding: 12px 8px;
189 }
190
191 div.search {
192        margin: 4px 8px;
193        position: absolute;
194        top: 56px;
195        right: 12px
196 }
197
198 a.linenr {
199        color: #999999;
200        text-decoration: none
201 }
202
203 a.rss_logo {
204        float: right;
205        padding: 3px 0px;
206        width: 35px;
207        line-height: 10px;
208        border: 1px solid;
209        border-color: #fcc7a5 #7d3302 #3e1a01 #ff954e;
210        color: #ffffff;
211        background-color: #ff6600;
212        font-weight: bold;
213        font-family: sans-serif;
214        font-size: 10px;
215        text-align: center;
216        text-decoration: none;
217 }
218
219 a.rss_logo:hover {
220        background-color: #ee5500;
221 }
222
223 span.tag {
224        padding: 0px 4px;
225        font-size: 10px;
226        font-weight: normal;
227        background-color: #ffffaa;
228        border: 1px solid;
229        border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
230 }