Use a nicer background color for the headline
[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 }
33 .height {
34   line-height: 15px;
35 }
36 .none {
37   display: none;
38 }
39 .border {
40   border: 1px solid black;
41 }
42 h3.bar {
43   padding-left: 5px;
44   padding-bottom: 2px;
45   font-size: 15px;
46   background: #98c5e5;
47 }
48 img.border {
49   border: 2px solid #e5e5e5;
50 }
51 ul.webgraph li {
52   list-style: none;
53 }
54 td.leftcol {
55   padding-left: 2px;
56 }
57 td.rightcol {
58   padding-right: 2px;
59 }
60 tr.head {
61   background: #98c5e5;
62 }
63 tr.t0 {
64   background: #ffffff;
65 }
66 tr.t1 {
67   background: #d9e2ea;
68 }
69 td.in {
70   color: #00ff00;
71 }
72 td.out {
73   color: #ff0000;
74 }
75
76 /*
77  * Menu
78  */
79 p.menurule {
80   height: 3px;
81   width: 100%;
82   background-color: #999999;
83   padding: 0;
84   margin-top: 7px;
85   margin-bottom: 7px;
86 }
87
88 /*
89  * Footer
90  */
91 div.footer {
92   clear: both;
93   border-top: 1px solid #707070;
94 }
95 div.footerleft {
96   float: left;
97   font-size: xx-small;
98 }
99 div.footerright {
100   float: right;
101   font-size: xx-small;
102 }
103
104 /*
105  * Local variables:
106  * mode: indented-text
107  * mode: auto-fill
108  * End:
109 */