![[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: }