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