Improve button font size via explicit inheritance
[infodrom.org/service.infodrom.org] / src / infodrom.css
1 /*
2  * General settings
3  */
4 body {
5   font-family: Verdana, Helvetica, Arial, sans-serif;
6   font-size: 13px;
7   line-height: 18px;
8   background-color: #f7f7f7;
9   color: #000000;
10 }
11
12 /*
13  * No underline for links
14  */
15 a:link {
16   text-decoration: none;
17   cursor: pointer;
18 }
19 a:visited {
20   text-decoration: none;
21   cursor: pointer;
22 }
23
24 /*
25  * General layout
26  */
27 .font {
28   font-size: 13px;
29 }
30 .smallfont {
31   font-size: 11px;
32   line-height: 14px;
33 }
34 .height {
35   line-height: 15px;
36 }
37 .none {
38   display: none;
39 }
40 .border {
41   border: 1px solid #9b9b9b;
42 }
43 h3.bar {
44   padding-left: 5px;
45   padding-bottom: 2px;
46   font-size: 14px;
47   background: #98c5e5;
48 }
49 .jsaction {
50     color: #666;
51 }
52 img.border {
53   border: 2px solid #e5e5e5;
54 }
55 div.webgraph {
56   margin-left: 20px;
57   margin-bottom: 15px;
58 }
59 table.webgraph td {
60   border: 1px solid #CCC;
61   font-size: small;
62   text-align: center;
63 }
64 table.webgraph td:hover {
65   background: #DDD;
66 }
67 td.leftcol {
68   padding-left: 2px;
69 }
70 td.rightcol {
71   padding-right: 2px;
72 }
73 tr.head {
74   background: #a7ddff;
75 }
76 tr.t0 {
77   background: #ffffff;
78 }
79 tr.t1 {
80   background: #d9e2ea;
81 }
82 tr.t2 {
83   background: #ffff00;
84 }
85 td.in {
86   color: #2f9a00;
87 }
88 td.out {
89   color: #ff0000;
90 }
91 .left {
92   text-align: left;
93 }
94 .right {
95   text-align: right;
96 }
97
98 pre {
99   border: 1pt solid #cfcfcf;
100   background-color: #F3F5F7;
101   padding: 2px;
102   padding-left: 2px;
103   font-family: courier, monospace;
104   white-space: pre;
105   /* begin css 3 or browser specific rules - do not remove!
106    * see: http://forums.techguy.org/archive/index.php/t-249849.html
107    */
108   white-space: pre-wrap;
109   word-wrap: break-word;
110   white-space: -moz-pre-wrap;
111   white-space: -pre-wrap;
112   white-space: -o-pre-wrap;
113   /* end css 3 or browser specific rules */
114 }
115
116 p.img img {
117   display: block;
118   margin-left: auto;
119   margin-right: auto;
120   border: 1px solid #cfcfcf;
121 }
122
123 /*
124  * Menu
125  */
126 p.menurule {
127   height: 3px;
128   width: 100%;
129   background-color: #999999;
130   padding: 0;
131   margin-top: 7px;
132   margin-bottom: 7px;
133 }
134
135 /*
136  * Formulare
137  */
138 input, select, textarea {
139   border: 1px solid #aaaaaa;
140   font-size: inherit;
141 }
142 button {
143   font-size: inherit;
144 }
145 input.button {
146   width: auto;
147   display: inline;
148   border: 1px solid #aaaaaa;
149 }
150 input.button:hover {
151   border: 1px solid #9b9b9b;
152   background-color: #bfbfbf;
153 }
154
155 /*
156  * Popups
157  */
158 div.popup {
159   background: white;
160   border: 1px solid #777;
161   height: auto;
162   position: absolute;
163 }
164 div.popup_title {
165   top: 0px;
166   width: 100%;
167   background: #b0e2ff;
168   margin-top: -1em;
169   margin-bottom: 0px;
170   font-weight: bold;
171   padding-top: 0px;
172   padding-bottom: 1.35ex;
173   border-bottom: 1px solid #777;
174 }
175 div.popup_title p {
176   padding-left: 3px;
177   padding-bottom: 0px;
178   margin-bottom: -0.65em;
179   cursor: move;
180 }
181 div.popup_title img {
182     position: absolute;
183     right: 5px;
184     top: 3px;
185     cursor; pointer;
186 }
187 div.popup_body {
188   padding-left: 2px;
189   padding-right: 2px;
190   padding-bottom: 2px;
191 }
192 div.popup label {
193   margin-top: 2px;
194   display: block;
195 }
196 div.popup#errorwindow div.popup_title {
197   background: #ffa54f;
198   background: #ff3030;
199 }
200 div.popup#errorwindow div.popup_title p {
201   color: white;
202 }
203 div.popup#errorwindow div#errorbody {
204   padding: 5px;
205   font-weight: bold;
206   font-size: 110%;
207 }
208 div.popup#errorwindow div.popup_body {
209   background: #ffe4c4;
210 }
211
212 /*
213  * Calendar
214  */
215 table#fc {
216   z-index: 100;
217 }
218
219 div.popup div.caltitle {
220     font-weight: bold;
221 }
222
223 /*
224  * jQuery & Co.
225  */
226 div#message_div {
227     background: #ffffcd;
228     color: #555;
229     border: 1px solid limegreen;
230     font-size: 120%;
231     padding: 5px;
232 }
233
234 .autocomplete-suggestions {
235     background: white;
236     border-left: 1px solid #999;
237     border-right: 1px solid #999;
238     border-bottom: 1px solid #999;
239 }
240 .autocomplete-suggestion {
241     background: #eefaff;
242     cursor: default;
243 }
244 .autocomplete-suggestion:hover {
245     background: yellow;
246 }
247
248 [data-is-editing="1"] {
249     background: lightblue !important;
250 }
251
252 /*
253  * Footer
254  */
255 div.footer {
256   clear: both;
257   border-top: 1px solid #707070;
258 }
259 div.footerleft {
260   float: left;
261   font-size: xx-small;
262 }
263 div.footerright {
264   float: right;
265   font-size: xx-small;
266 }
267