8397b0a177176391e520517c32dd1e718cf72f4f
[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 .height {
31   line-height: 15px;
32 }
33 .none {
34   display: none;
35 }
36 .border {
37   border: 1px solid black;
38 }
39 h3.bar {
40   padding-left: 5px;
41   padding-bottom: 2px;
42   font-size: 15px;
43   background: #98c5e5;
44 }
45 img.border {
46   border: 2px solid #e5e5e5;
47 }
48 ul.webgraph li {
49   list-style: none;
50 }
51
52 /*
53  * Menu
54  */
55 p.menurule {
56   height: 3px;
57   width: 100%;
58   background-color: #999999;
59   padding: 0;
60   margin-top: 7px;
61   margin-bottom: 7px;
62 }
63
64 /*
65  * Footer
66  */
67 div.footer {
68   clear: both;
69   border-top: 1px solid #707070;
70 }
71 div.footerleft {
72   float: left;
73   font-size: xx-small;
74 }
75 div.footerright {
76   float: right;
77   font-size: xx-small;
78 }
79
80 /*
81  * Local variables:
82  * mode: indented-text
83  * mode: auto-fill
84  * End:
85 */