Annotation of 2002/css-validator/base.css, revision 1.1
1.1 ! ot 1: /*
! 2: Base Style Sheet for the W3C CSS validation service
! 3: based on the one for Markup Validation Service.
! 4:
! 5: Copyright 2000 W3C (MIT, INRIA, Keio). All Rights Reserved.
! 6: See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright
! 7:
! 8: $Id: base.css,v 1.10 2004/04/26 00:58:17 ot Exp $
! 9: */
! 10:
! 11: @import url(navbar.css); /* CSS for navigation menu. */
! 12:
! 13:
! 14: html, body {
! 15: line-height: 120%;
! 16: color: black;
! 17: background: white;
! 18: font-weight: normal;
! 19: font-family: "Bitstream Vera Sans", sans-serif;
! 20: font-style: normal;
! 21: text-decoration: none;
! 22: margin: 0;
! 23: padding: 0;
! 24: border: 0;
! 25: }
! 26:
! 27: div#main {
! 28: padding-top: 1em;
! 29: /* margin-right: 7.6em; */ /* no need for this without the righthand bar */
! 30: margin: 1em;
! 31: }
! 32:
! 33: div#main p, div#main dt {
! 34: padding-left: 1em;
! 35: padding-right: 1em;
! 36: }
! 37:
! 38: dt {
! 39: margin-top: 1em;
! 40: }
! 41:
! 42: /* Fieldsets in general */
! 43: fieldset {
! 44: max-width: 80%;
! 45: margin-left: 1em;
! 46: }
! 47:
! 48: /* The front-page fieldsets */
! 49: fieldset.front {
! 50: background: inherit;
! 51: border: 1px dotted #053188;
! 52: }
! 53:
! 54: fieldset.front legend {
! 55: color: #053188;
! 56: font-variant: small-caps;
! 57: padding: .1ex .5ex;
! 58: }
! 59:
! 60: .intro {
! 61: font-style: italic;
! 62: text-align: justify;
! 63: }
! 64:
! 65: a:link, a:visited {
! 66: color: blue;
! 67: }
! 68:
! 69: a:hover {
! 70: color: blue;
! 71: background-color: #eee;
! 72: }
! 73:
! 74: a:active {
! 75: color: red;
! 76: background-color: yellow;
! 77: }
! 78:
! 79: acronym:hover, abbr:hover {cursor: help}
! 80: abbr[title], acronym[title], span[title], strong[title] {
! 81: border-bottom: thin dotted;
! 82: cursor: help;
! 83: }
! 84:
! 85: pre, code, tt {
! 86: font-family: monospace;
! 87: line-height: 100%;
! 88: white-space: pre;
! 89: }
! 90:
! 91: a:link img, a:visited img {border-style: none}
! 92: a img {color: black} /* The only way to hide the border in NS 4.x */
! 93:
! 94: ul.toc {
! 95: list-style: none;
! 96: }
! 97:
! 98: ol li {
! 99: padding: .1em;
! 100: }
! 101:
! 102: div.issue {
! 103: padding: 0.5em;
! 104: border: none;
! 105: margin-right: 5%;
! 106: }
! 107:
! 108: .hideme {display: none}
! 109:
! 110: #Notice {
! 111: border: solid;
! 112: margin: .2em;
! 113: padding: .5em;
! 114: text-align: justify;
! 115: }
! 116:
! 117: /* dt a {color: black} */ /* These are usually targets and not links */
! 118: h3 a {color: black} /* These are usually targets and not links */
! 119:
! 120: img {vertical-align: middle}
! 121:
! 122:
! 123:
! 124: /* done vs. tbc for the TODO list */
! 125: .done { text-decoration: line-through; }
! 126:
! 127: address img {
! 128: float: right;
! 129: width: 88px;
! 130: }
! 131:
! 132: address {
! 133: padding-top: .5em;
! 134: padding-right: 1em;
! 135: padding-left: 1em;
! 136: padding-bottom: .5em;
! 137: margin-top: 3em;;
! 138: border-top: 1px solid black;
! 139: background-color: #eee;
! 140: clear: right;
! 141: }
! 142:
! 143: address {
! 144: background-image: url(images/footer);
! 145: background-repeat: no-repeat;
! 146: background-attachment: scroll;
! 147: height: 50px;
! 148: background-position: center;
! 149: margin:0; padding:0;
! 150: }
! 151:
! 152: p.copyright {
! 153: margin-top: 5em;
! 154: padding-top: .5em;
! 155: font-size: xx-small;
! 156: max-width: 85ex;
! 157: text-align: justify;
! 158: text-transform: uppercase;
! 159: margin-left: auto;
! 160: margin-right: auto;
! 161: font-family: monospace;
! 162: color: #888;
! 163: line-height: 120%;
! 164: }
! 165:
! 166: p.copyright a {
! 167: color: #88f;
! 168: text-decoration: none;
! 169: }
! 170:
! 171: .stb {clear: left}
! 172:
! 173: div.colophon {
! 174: margin-left: 2em;
! 175: font-style: italic;
! 176: }
! 177:
! 178: div.colophon em {
! 179: font-style: normal;
! 180: }
! 181:
! 182: /* Various header(ish) things. Definitions cribbed from the CORE Styles. */
! 183: h1 {
! 184: font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
! 185: font-size-adjust: .53;
! 186: font-size: 2em;
! 187: font-weight: bold;
! 188: font-style: normal;
! 189: text-decoration: none;
! 190: }
! 191: #banner h1 {font-size: 1.3em;
! 192: border-bottom: 1px solid black;}
! 193:
! 194: #banner {background-image: url(images/header);
! 195: background-repeat: no-repeat;
! 196: background-attachment: scroll;
! 197: height: 50px;
! 198: background-position: right;
! 199: margin:0; padding:0;}
! 200:
! 201: h1#title {
! 202: /* background-color: #eee;
! 203: border-bottom: 1px solid black;
! 204: padding: .25em;*/
! 205: padding:0;
! 206: margin: 0;
! 207: }
! 208:
! 209: /* Used for beta releases. */
! 210: h1#title em {
! 211: color: red;
! 212: }
! 213: h1, h2 { color: rgb( 0, 79, 147) !important }
! 214:
! 215: h2 {
! 216: font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
! 217: font-size-adjust: .53;
! 218: font-size: 1.5em;
! 219: text-align: center;
! 220: font-weight: bold;
! 221: font-style: normal;
! 222: text-decoration: none;
! 223: margin-top : 2em;
! 224: margin-bottom : 1em;
! 225: line-height: 120%;
! 226: }
! 227:
! 228: h3 {
! 229: font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
! 230: font-size-adjust: .53;
! 231: font-size: 1.3em;
! 232: background-color: #eee;
! 233: text-indent: 2em;
! 234: padding: .2em;
! 235: border-top: 1px dotted black;
! 236: font-weight: normal;
! 237: font-style: normal;
! 238: text-decoration: none;
! 239: }
! 240:
! 241: h4 {
! 242: font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
! 243: font-size-adjust: .53;
! 244: font-size: 1.1em;
! 245: font-weight: 600;
! 246: font-style: normal;
! 247: text-decoration: underline;
! 248: }
! 249:
! 250: h5, dt {
! 251: font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
! 252: font-size-adjust: .53;
! 253: font-size: 1em;
! 254: font-weight: bold;
! 255: font-style: normal;
! 256: text-decoration: none;
! 257: text-indent: .5em;
! 258: margin:0;
! 259: }
! 260:
! 261: h6 {
! 262: font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
! 263: font-size-adjust: .53;
! 264: color: #666;
! 265: text-indent: 1em;
! 266: font-size: 1em;
! 267: font-style: italic;
! 268: margin:0;
! 269: text-decoration: none;
! 270: }
! 271:
! 272: /* comma tools table */
! 273:
! 274: td.comma-desc {
! 275: background: #ffeecc;
! 276: border : 1px solid black;
! 277: font-family: sans-serif
! 278: }
! 279:
! 280: td.comma-shortcut {
! 281: background: #e7e7ff;
! 282: border : 1px solid black;
! 283: font-family: monospace;
! 284: }
! 285:
! 286: td.comma-tool {
! 287: background: #e7e7ff;
! 288: border: 1px solid black;
! 289: }
! 290:
! 291: kbd {
! 292: font-weight: bold;
! 293: }
! 294:
! 295: .shout {
! 296: background: yellow;
! 297: border: .5ex dotted black;
! 298: padding: 1em;
! 299: }
! 300:
! 301: .shout strong {
! 302: display: block;
! 303: color: red;
! 304: }
! 305:
! 306: input {
! 307: vertical-align: middle;
! 308: }
! 309:
! 310: input.reset {
! 311: text-align: center;
! 312: font-family: monospace;
! 313: }
! 314:
! 315: input.default {
! 316: text-align: center;
! 317: font-weight: bold;
! 318: font-family: monospace;
! 319: }
! 320:
Webmaster