Annotation of prex-old/doc/html/default.css, Revision 1.1.1.1
1.1 nbrk 1: body {
2: font-family: Verdana, Arial, Sans-Serif;
3: width: 958px;
4: margin: 0 auto 0 auto;
5: padding: 0 0 10px 0;
6: text-align: center;
7: color: black;
8: background-color: #cccccc;
9: }
10:
11: h1, h2 {
12: font-family: 'Trebuchet ms', Arial, Tahoma;
13: }
14:
15: h1 {
16: padding: 0.3em 0 0.2em 0;
17: margin: 0;
18: font-size: 2.4em;
19: color: #6699cc;
20: }
21:
22: h2 {
23: padding: 0.4em 0 0 0;
24: margin: 0 0 0.5em 0;
25: font-size: 1.9em;
26: border-bottom: 2px solid #fc9;
27: color: #e60;
28: }
29:
30: h2 span {
31: font-size: 0.7em;
32: }
33:
34: h3 {
35: font-size: 1.2em;
36: color: #333;
37: margin: 1em 0 0.7em 0;
38: }
39:
40: a {
41: color: #006699;
42: }
43:
44: a:hover {
45: text-decoration: underline;
46: color: red;
47: }
48:
49: div.toplink {
50: text-align: right;
51: }
52:
53: div.morelink {
54: text-align: right;
55: }
56:
57: td.pad {
58: height: 15px;
59: padding: 0;
60: }
61:
62: #header {
63: background-color: #0e90d0;
64: background: url(img/header.gif) top repeat-x;
65: height: 100px;
66: overflow: hidden;
67: }
68:
69: #top {
70: background: url(img/top.gif) no-repeat center bottom;
71: width: 958px;
72: padding: 30px 0 0 0;
73: margin: 0;
74: }
75:
76: #middle {
77: background: url(img/background.gif) repeat-y center top;
78: width: 900px;
79: padding: 0 30px 0 30px;
80: margin: 0;
81: }
82:
83: #banner {
84: padding: 0 0 20px 0;
85: margin: 0;
86: }
87:
88: #content {
89: width: 900px;
90: background-color: white;
91: font-size: 0.8em;
92: }
93:
94: #logo {
95: padding: 30px 30px 10px 40px;
96: }
97:
98: #brief {
99: font-family: Verdana, Tahoma, Sans-serif;
100: font-weight: bold;
101: font-size: 0.75em;
102: padding: 45px 15px 10px 0px;
103: color: white;
104: line-height: 1.4em;
105: }
106:
107: #side_menu {
108: width: 180px;
109: margin: 30px;
110: padding: 0 10px 10px 10px;
111: border-right: 1px solid #e1e1e1;
112: line-height: 1.3em;
113: }
114:
115: div.menu_title {
116: width: 160px;
117: padding: 0px;
118: margin: 0 0 0 10px;
119: text-align: center;
120: background: #dedfe0 url(img/menu_top.gif) no-repeat top left;
121: color: black;
122: }
123:
124: div.menu_title span {
125: display: block;
126: padding: 2px 15px 2px 15px;
127: background-image: url(img/menu_bottom.gif);
128: background-position: bottom right;
129: background-repeat: no-repeat;
130: }
131:
132: div.menu_navi {
133: margin: 0;
134: padding: 10px 5px 25px 5px;
135: }
136:
137: div.menu_navi ul {
138: margin: 0;
139: padding: 0;
140: list-style: none;
141: }
142:
143: div.menu_navi li {
144: display: block;
145: }
146:
147: div.menu_navi li a {
148: padding: 0 0 0 10px;
149: color: #006699;
150: display: block;
151: height: 100%;
152: text-decoration: none;
153: }
154:
155: div.menu_navi li a:hover {
156: padding: 0 0 0 10px;
157: color: black;
158: background-color: #ADFF2F;
159: text-decoration: none;
160: }
161:
162: div.menu_body {
163: padding: 10px 5px 25px 5px;
164: }
165:
166: div.menu_body a {
167: text-decoration: none;
168: color: #006699;
169: }
170:
171: div.menu_body a:hover {
172: text-decoration: underline;
173: color: red;
174: }
175:
176: div.menu_body ul {
177: padding: 0 0 0 10px;
178: margin: 0;
179: list-style-image: url(img/allow.png);
180: }
181:
182: div.menu_body li {
183: padding: 0 0 1.5em 0;
184: margin: 0;
185: }
186:
187: div.menu_date {
188: font-size: 0.85em;
189: text-align: right;
190: }
191:
192: #directory {
193: background: url(img/dir.png) top repeat-x;
194: height: 39px;
195: padding: 5px 20px;
196: color: #006699;
197: font-size: 0.9em;
198: }
199:
200: #info {
201: background: url(img/dir.png) top repeat-x;
202: height: 39px;
203: text-align: right;
204: padding: 5px 20px;
205: color: #006699;
206: font-size: 0.85em;
207: }
208:
209: #info a {
210: color: #336699;
211: text-decoration: none;
212: }
213:
214: #main {
215: height: 400px;
216: margin: 0;
217: padding: 0 30px 50px 30px;
218: line-height: 1.3;
219: list-style-image: url(img/bullet.gif);
220: }
221:
222: #main pre {
223: font-size: 1.2em;
224: margin: 1em 1em 1em 2em;
225: border: 1px solid #c1b496;
226: padding: 1em;
227: background-color: #f6f5f0;
228: color: black;
229: }
230:
231: #main pre.terminal {
232: margin-left: 1em;
233: padding: 0.6em;
234: color: white;
235: background-color: #333;
236: border: 3px inset #999;
237: }
238:
239: #main table {
240: font-size: 1em;
241: empty-cells: show;
242: }
243:
244: #main table tr th {
245: background-color: #eee;
246: }
247:
248: #footer {
249: background: #eafaff url(img/footer.gif) repeat-x 50% 0%;
250: padding: 10px;
251: margin: 0;
252: font-size: 0.8em;
253: line-height: 2em;
254: text-align: center;
255: color: #333;
256: }
257:
258: #bottom {
259: background: url(img/bottom.gif) no-repeat center top;
260: width: 958px;
261: padding: 20px 0 0 0;
262: margin: 0 0 20px 0;
263: }
CVSweb