![[BACK]](/icons/back.gif){kind=icon}
Return to default.css CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [local] / prex / doc / html|
Return to default.css CVS log | Up to [local] / prex / doc / html |
1.1 nbrk 1: html {
2: height:100%;
3: }
4:
5: body {
6: font-family: Verdana, Arial, Sans-Serif;
7: font-size: 100.01%;
8: height: 100%;
9: width: 882px;
10: margin: 0 auto 0 auto;
11: padding: 0;
12: text-align: center;
13: color: #333;
14: }
15:
16: #middle {
17: background: url(img/background.gif) repeat-y center top;
18: width: 870px;
19: padding: 0 6px 0 6px;
20: margin: 0;
21: }
22:
23: #content {
24: font-size: 82%;
25: width: 870px;
26: }
27:
28: #header {
29: height: 80px;
30: overflow: hidden;
31: }
32:
33: #logo {
34: padding: 20px 30px 10px 30px;
35: }
36:
37: #brief {
38: font-size: 13px;
39: padding: 15px 15px 10px 0px;
40: color: #666;
41: line-height: 1.4;
42: }
43:
44: #info {
45: height: 20px;
46: text-align: right;
47: padding: 3px 20px;
48: background-color: #e4edf3;
49: color: #006699;
50: font-size: 11px;
51: }
52:
53: #info a {
54: color: #336699;
55: text-decoration: none;
56: }
57:
58: #directory {
59: height: 20px;
60: padding: 3px 20px;
61: background-color: #e4edf3;
62: color: #006699;
63: font-size: 12px;
64: }
65:
66: #side_menu {
67: font-size: 90%;
68: width: 170px;
69: margin: 30px;
70: padding: 5px;
71: border-right: 1px solid #e1e1e1;
72: line-height: 1.3;
73: }
74:
75: #main {
76: font-size: inherit;
77: line-height: 1.5;
78: margin: 0;
79: padding: 0 15px 30px 20px;
80: list-style-image: url(img/bullet.gif);
81: }
82:
83: #doc {
84: font-size: inherit;
85: line-height: 1.5;
86: margin: 0;
87: padding: 0 40px 30px 40px;
88: list-style-image: url(img/bullet.gif);
89: }
90:
91: #footer {
92: border-top: 1px solid #e1e1e1;
93: padding: 10px;
94: margin: 0;
95: font-size: 85%;
96: line-height: 2;
97: text-align: center;
98: color: #333;
99: }
100:
101: #banner {
102: padding: 5px 0 5px 0;
103: margin: 0;
104: }
105:
106:
107: h1, h2 {
108: font-family: 'Trebuchet ms', Arial, Tahoma;
109: }
110:
111: h1 {
112: padding: 0.4em 0 0.2em 0;
113: margin: 0;
114: font-size: 280%;
115: color: #6699cc;
116: }
117:
118: h2 {
119: padding: 0.4em 0 0 0;
120: margin: 0 0 0.5em 0;
121: font-size: 200%;
122: border-bottom: 2px solid #fc9;
123: color: #e60;
124: }
125:
126: h2 span {
127: font-size: 77%;
128: }
129:
130: h3 {
131: font-size: 131%;
132: color: #666;
133: margin: 1em 0 0.3em 0;
134: }
135:
136: h4 {
137: font-size: 124%;
138: margin: 1em 0 0.3em 0;
139: }
140:
141: a {
142: color: #006699;
143: }
144:
145: a:hover {
146: text-decoration: underline;
147: color: red;
148: }
149:
150: div.toplink {
151: text-align: right;
152: }
153:
154: div.morelink {
155: text-align: right;
156: }
157:
158: div.date {
159: font-size: 90%;
160: font-style: italic;
161: color: #666666;
162: }
163:
164: td.pad {
165: height: 10px;
166: padding: 0;
167: }
168:
169:
170: div.menu_title {
171: width: 160px;
172: padding: 0px;
173: margin: 0 0 0 5px;
174: text-align: center;
175: background: #b3b4b5 url(img/menu_top.gif) no-repeat top left;
176: color: white;
177: }
178:
179: div.menu_title span {
180: display: block;
181: padding: 2px 15px 2px 15px;
182: background-image: url(img/menu_bottom.gif);
183: background-position: bottom right;
184: background-repeat: no-repeat;
185: }
186:
187: div.menu_navi {
188: margin: 0;
189: padding: 10px 2px 20px 2px;
190: }
191:
192: div.menu_navi ul {
193: margin: 0 5px;
194: padding: 0;
195: list-style: none;
196: }
197:
198: div.menu_navi li {
199: padding: 0;
200: display: block;
201: border-bottom: 1px solid #eeeeee;
202: vertical-align: middle;
203: }
204:
205: div.menu_navi li a {
206: padding: 0 0 0 10px;
207: display: block;
208: height: 100%;
209: line-height: 1.8;
210: color: #006699;
211: text-decoration: none;
212: }
213:
214: div.menu_navi li a:hover {
215: padding: 0 0 0 10px;
216: color: black;
217: background-color: #D0F7FF;
218: text-decoration: none;
219: }
220:
221: div.menu_body {
222: padding: 10px 5px 25px 5px;
223: }
224:
225: div.menu_body a {
226: text-decoration: none;
227: color: #006699;
228: }
229:
230: div.menu_body a:hover {
231: text-decoration: underline;
232: color: red;
233: }
234:
235: div.menu_body ul {
236: padding: 0 0 0 10px;
237: margin: 0;
238: list-style-image: url(img/allow.png);
239: }
240:
241: div.menu_body li {
242: padding: 0 0 1.5em 0;
243: margin: 0;
244: }
245:
246: div.menu_date {
247: font-style: italic;
248: font-size: 90%;
249: text-align: right;
250: color: #666666;
251: }
252:
253: div.doc {
254: padding: 40px;
255: }
256:
257: pre {
258: line-height: 1.3;
259: font-size: inherit;
260: margin: 1em 1em 1em 2em;
261: border: 1px solid #c1b496;
262: padding: 1em;
263: background-color: #f6f5f0;
264: color: black;
265: }
266:
267: pre.terminal {
268: font-size: inherit;
269: margin-left: 1em;
270: padding: 0.6em;
271: line-height: 1.5;
272: color: white;
273: background-color: #333;
274: border: 3px inset #999;
275: }
276:
277: pre.raw {
278: font-size: 110%;
279: line-height: 1.3;
280: background-color: white;
281: border: none;
282: }
283:
284: #main table {
285: font-size: 100%;
286: empty-cells: show;
287: }
288:
289: #main table tr th {
290: padding: 4px 6px;
291: background-color: #eee;
292: }
293:
294: #main table td {
295: padding: 4px 6px;
296: }
297:
298: #main table.box td {
299: padding: 15px;
300: }
301:
302: #doc table {
303: font-size: 100%;
304: empty-cells: show;
305: }
306:
307: #doc table tr th {
308: padding: 4px 6px;
309: background-color: #eee;
310: }
311:
312: #doc table td {
313: padding: 4px 6px;
314: }
315:
316: #doc table.box td {
317: padding: 15px;
318: }