4a76bed1e1aaa748b25c3145107c599aba0bc1d5
[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
49 /*
50  * Menu
51  */
52 p.menurule {
53   height: 3px;
54   width: 100%;
55   background-color: #999999;
56   padding: 0;
57   margin-top: 7px;
58   margin-bottom: 7px;
59 }
60
61 /*
62  * Footer
63  */
64 div.footer {
65   clear: both;
66   border-top: 1px solid #707070;
67 }
68 div.footerleft {
69   float: left;
70   font-size: xx-small;
71 }
72 div.footerright {
73   float: right;
74   font-size: xx-small;
75 }
76
77 /*
78  * Local variables:
79  * mode: indented-text
80  * mode: auto-fill
81  * End:
82 */