Inherit font-size for select and input elements
[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: 15px;
47   background: #98c5e5;
48 }
49 img.border {
50   border: 2px solid #e5e5e5;
51 }
52 div.webgraph {
53   margin-left: 20px;
54   margin-bottom: 15px;
55 }
56 table.webgraph td {
57   border: 1px solid #CCC;
58   font-size: small;
59   text-align: center;
60 }
61 table.webgraph td:hover {
62   background: #DDD;
63 }
64 td.leftcol {
65   padding-left: 2px;
66 }
67 td.rightcol {
68   padding-right: 2px;
69 }
70 tr.head {
71   background: #98c5e5;
72 }
73 tr.t0 {
74   background: #ffffff;
75 }
76 tr.t1 {
77   background: #d9e2ea;
78 }
79 tr.t2 {
80   background: #ffff00;
81 }
82 td.in {
83   color: #2f9a00;
84 }
85 td.out {
86   color: #ff0000;
87 }
88
89 pre {
90   border: 1pt solid #cfcfcf;
91   background-color: #F3F5F7;
92   padding: 2px;
93   padding-left: 2px;
94   font-family: courier, monospace;
95   white-space: pre;
96   /* begin css 3 or browser specific rules - do not remove!
97    * see: http://forums.techguy.org/archive/index.php/t-249849.html
98    */
99   white-space: pre-wrap;
100   word-wrap: break-word;
101   white-space: -moz-pre-wrap;
102   white-space: -pre-wrap;
103   white-space: -o-pre-wrap;
104   /* end css 3 or browser specific rules */
105 }
106
107 p.img img {
108   display: block;
109   margin-left: auto;
110   margin-right: auto;
111   border: 1px solid #cfcfcf;
112 }
113
114 /*
115  * Menu
116  */
117 p.menurule {
118   height: 3px;
119   width: 100%;
120   background-color: #999999;
121   padding: 0;
122   margin-top: 7px;
123   margin-bottom: 7px;
124 }
125
126 /*
127  * Formulare
128  */
129 input, select, textarea {
130   border: 1px solid #aaaaaa;
131   font-size: inherit;
132 }
133 input.button {
134   width: auto;
135   display: inline;
136   border: 1px solid #aaaaaa;
137 }
138 input.button:hover {
139   border: 1px solid #9b9b9b;
140   background-color: #bfbfbf;
141 }
142
143 /*
144  * Footer
145  */
146 div.footer {
147   clear: both;
148   border-top: 1px solid #707070;
149 }
150 div.footerleft {
151   float: left;
152   font-size: xx-small;
153 }
154 div.footerright {
155   float: right;
156   font-size: xx-small;
157 }
158
159 /*
160  * Local variables:
161  * mode: indented-text
162  * mode: auto-fill
163  * End:
164 */