Annotation of prex-old/doc/html/default.css, Revision 1.1.1.1.2.1
1.1.1.1.2.1! nbrk 1: html {
! 2: height:100%;
! 3: }
! 4:
1.1 nbrk 5: body {
6: font-family: Verdana, Arial, Sans-Serif;
1.1.1.1.2.1! nbrk 7: font-size: 100.01%;
! 8: height: 100%;
! 9: width: 882px;
1.1 nbrk 10: margin: 0 auto 0 auto;
1.1.1.1.2.1! nbrk 11: padding: 0;
1.1 nbrk 12: text-align: center;
1.1.1.1.2.1! nbrk 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;
1.1 nbrk 104: }
105:
1.1.1.1.2.1! nbrk 106:
1.1 nbrk 107: h1, h2 {
108: font-family: 'Trebuchet ms', Arial, Tahoma;
109: }
110:
111: h1 {
1.1.1.1.2.1! nbrk 112: padding: 0.4em 0 0.2em 0;
1.1 nbrk 113: margin: 0;
1.1.1.1.2.1! nbrk 114: font-size: 280%;
1.1 nbrk 115: color: #6699cc;
116: }
117:
118: h2 {
119: padding: 0.4em 0 0 0;
120: margin: 0 0 0.5em 0;
1.1.1.1.2.1! nbrk 121: font-size: 200%;
1.1 nbrk 122: border-bottom: 2px solid #fc9;
123: color: #e60;
124: }
125:
126: h2 span {
1.1.1.1.2.1! nbrk 127: font-size: 77%;
1.1 nbrk 128: }
129:
130: h3 {
1.1.1.1.2.1! nbrk 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;
1.1 nbrk 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:
1.1.1.1.2.1! nbrk 158: div.date {
! 159: font-size: 90%;
! 160: font-style: italic;
! 161: color: #666666;
1.1 nbrk 162: }
163:
1.1.1.1.2.1! nbrk 164: td.pad {
! 165: height: 10px;
! 166: padding: 0;
1.1 nbrk 167: }
168:
169:
170: div.menu_title {
171: width: 160px;
172: padding: 0px;
1.1.1.1.2.1! nbrk 173: margin: 0 0 0 5px;
1.1 nbrk 174: text-align: center;
1.1.1.1.2.1! nbrk 175: background: #b3b4b5 url(img/menu_top.gif) no-repeat top left;
! 176: color: white;
1.1 nbrk 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;
1.1.1.1.2.1! nbrk 189: padding: 10px 2px 20px 2px;
1.1 nbrk 190: }
191:
192: div.menu_navi ul {
1.1.1.1.2.1! nbrk 193: margin: 0 5px;
1.1 nbrk 194: padding: 0;
195: list-style: none;
196: }
197:
198: div.menu_navi li {
1.1.1.1.2.1! nbrk 199: padding: 0;
1.1 nbrk 200: display: block;
1.1.1.1.2.1! nbrk 201: border-bottom: 1px solid #eeeeee;
! 202: vertical-align: middle;
1.1 nbrk 203: }
204:
205: div.menu_navi li a {
206: padding: 0 0 0 10px;
207: display: block;
208: height: 100%;
1.1.1.1.2.1! nbrk 209: line-height: 1.8;
! 210: color: #006699;
1.1 nbrk 211: text-decoration: none;
212: }
213:
214: div.menu_navi li a:hover {
215: padding: 0 0 0 10px;
216: color: black;
1.1.1.1.2.1! nbrk 217: background-color: #D0F7FF;
1.1 nbrk 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 {
1.1.1.1.2.1! nbrk 247: font-style: italic;
! 248: font-size: 90%;
1.1 nbrk 249: text-align: right;
1.1.1.1.2.1! nbrk 250: color: #666666;
1.1 nbrk 251: }
252:
1.1.1.1.2.1! nbrk 253: div.doc {
! 254: padding: 40px;
1.1 nbrk 255: }
256:
1.1.1.1.2.1! nbrk 257: pre {
1.1 nbrk 258: line-height: 1.3;
1.1.1.1.2.1! nbrk 259: font-size: inherit;
1.1 nbrk 260: margin: 1em 1em 1em 2em;
261: border: 1px solid #c1b496;
262: padding: 1em;
263: background-color: #f6f5f0;
264: color: black;
265: }
266:
1.1.1.1.2.1! nbrk 267: pre.terminal {
! 268: font-size: inherit;
1.1 nbrk 269: margin-left: 1em;
270: padding: 0.6em;
1.1.1.1.2.1! nbrk 271: line-height: 1.5;
1.1 nbrk 272: color: white;
273: background-color: #333;
274: border: 3px inset #999;
275: }
276:
1.1.1.1.2.1! nbrk 277: pre.raw {
! 278: font-size: 110%;
! 279: line-height: 1.3;
! 280: background-color: white;
! 281: border: none;
! 282: }
! 283:
1.1 nbrk 284: #main table {
1.1.1.1.2.1! nbrk 285: font-size: 100%;
1.1 nbrk 286: empty-cells: show;
287: }
288:
289: #main table tr th {
1.1.1.1.2.1! nbrk 290: padding: 4px 6px;
1.1 nbrk 291: background-color: #eee;
292: }
293:
1.1.1.1.2.1! nbrk 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;
1.1 nbrk 314: }
315:
1.1.1.1.2.1! nbrk 316: #doc table.box td {
! 317: padding: 15px;
1.1 nbrk 318: }
CVSweb