5faa86f08c4e49ee073ee66e93a98c7652136458
[infodrom.org/infocon.infodrom.org] / src / infocon.css
1 /*
2  * General settings
3  * --------------------------------------------------
4  */
5 body {
6   font-family: Verdana, Helvetica, Arial, sans-serif;
7   background-color: #ffffff;
8   font-size: 12px;
9   line-height: 110%;
10 }
11
12 /*
13  * No underline for links
14  * Nice dark blue values for links
15  */
16 a:link {
17   text-decoration: none;
18 }
19 a:visited {
20   text-decoration: none;
21 }
22
23 div.page {
24   padding-left: 90px;
25   padding-right: 90px;
26   margin-bottom: 2em;
27 }
28
29 h3#pagetitle {
30   margin: 0;
31   position: relative;
32   top: -0.7em;
33   left: 15px;
34   border: 1px solid black;
35   background: white;
36   padding: 0 0.5em;
37   padding-bottom: 2px;
38   padding-top: 1px;
39   display: inline;
40 }
41
42 div#border {
43   border: 1px solid #000000;
44   background-color: #e2e2e2;
45   margin-left: 3px;
46 }
47
48 div#content {
49   padding-left: 50px;
50   padding-right: 30px;
51   margin-top: -1em;
52   font-size: 12px;
53   line-height: 110%;
54 }
55
56 div.date {
57   text-align: right;
58   padding-right: 3px;
59   margin-bottom: 2px;
60   margin-top: -1em;
61 }
62
63 /*
64  * Logbook
65  */
66 div#logenv {
67   padding-left: 0%;
68   padding-right: 0%;
69   margin-top: 2em;
70   margin-bottom: 2em;
71   margin-left: -20px;
72   margin-right: -5px;
73 }
74
75 h3#logtitle {
76   padding-left: 1%;
77 }
78 h3#logtitle a {
79   color: black;
80 }
81
82 div#logbody {
83   border: 1px solid #000000;
84   background-color: #ffffff;
85 }
86
87 div#logcontent {
88   padding-left: 1%;
89   padding-right: 1%;
90   font-size: normal;
91 }
92
93 div.logfoot {
94   clear: both;
95   font-size: small;
96   margin-left: 0.5em;
97   margin-right: 0.5em;
98   margin-bottom: 5px;
99 }
100
101 div.logfootleft {
102   text-align: left;
103 }
104
105 div.logfootright {
106   text-align: right;
107 }
108
109 div.soclink {
110   float: left;
111   padding: 0px 2px 0px 2px;
112 }
113
114 pre {
115   border: 1pt solid #cfcfcf;
116   background-color: #F3F5F7;
117   padding: 2px;
118   padding-left: 2px;
119   font-family: courier, monospace;
120   white-space: pre;
121   /* begin css 3 or browser specific rules - do not remove!
122    * see: http://forums.techguy.org/archive/index.php/t-249849.html
123    */
124   white-space: pre-wrap;
125   word-wrap: break-word;
126   white-space: -moz-pre-wrap;
127   white-space: -pre-wrap;
128   white-space: -o-pre-wrap;
129   /* end css 3 or browser specific rules */
130 }
131
132 p.img img {
133   display: block;
134   margin-left: auto;
135   margin-right: auto;
136   border: 1px solid #cfcfcf;
137 }
138
139 .font {
140   font-size: small;
141 }
142
143 /*
144  * Side menu
145  */
146 div.vmenu {
147   font-size: 12px;
148   font-weight: bold;
149   padding: 0;
150   margin-top: 10px;
151 }
152 div.vmenu p {
153   height: 5px;
154   width: 100%;
155   background: #5dbbf9;
156   padding: 0;
157   margin: 0;
158 }
159 div.vmenu ul {
160   list-style: none;
161   padding: 0;
162   margin-top: 10px;
163   margin-bottom: 10px;
164 }
165 div.vmenu ul li a {
166   display: block;
167   width: 100%;
168   text-decoration: none;
169   text-align: center;
170   padding: 2px 2px 2px 0.5em;
171   background-color: #5dbbf9;
172 }
173 div.vmenu ul li a#current {
174   color: #000000;
175   background-color: #97c9ed;
176 }
177 div.vmenu ul li a:hover {
178   color: #000000;
179   background-color: #0092f8;
180 }
181 div.vmenu ul li a.topic {
182   background-color: #bfbfbf;
183   padding-top: 2px;
184 }
185 html>body div.vmenu ul li a {
186   width: auto;
187 }
188
189 /*
190  * Local variables:
191  * mode: indented-text
192  * mode: auto-fill
193  * End:
194  */