Annotation of 2002/css-validator/style/base.css, revision 1.17

1.16      ot          1: /* @group Reset */
                      2: 
                      3: html, body, form, fieldset, p, a, ul, ol, li, div, legend, label,
                      4: br, input, button, textarea, h1, h2, h3, h4, h5, strong {
                      5:        margin: 0;
                      6:        padding: 0;
                      7:        border: 0;
                      8:        font-weight: normal;
                      9:        font-style: normal;
                     10:        font-size: 100%;
                     11:        font-family: Helvetica, Arial, Sans-Serif;
                     12:        vertical-align: baseline;
                     13:        background-color: white;
                     14:        color: #1f2126;
                     15:        line-height: 1;
                     16:        text-align: left;
1.1       ot         17: }
                     18: 
1.16      ot         19: a img {
                     20:        border: 0;
1.1       ot         21: }
1.16      ot         22: 
                     23: a:link, a:visited {
                     24:        text-decoration: underline;
                     25:        color: #365D95;
1.1       ot         26: }
                     27: 
1.16      ot         28: a:hover, a:active {
                     29:        text-decoration: underline;
                     30:        color: #1f2126;
                     31: }
1.1       ot         32: 
1.16      ot         33: ul, ol {
                     34:        list-style: none;
                     35: }
1.1       ot         36: 
1.16      ot         37: abbr[title], acronym[title], span[title], strong[title] {
                     38:        border-bottom: thin dotted;
                     39:        cursor: help;
1.1       ot         40: }
                     41: 
1.16      ot         42: acronym:hover, abbr:hover {
                     43:        cursor: help;
1.1       ot         44: }
                     45: 
1.16      ot         46: /* @end */
                     47: 
                     48: /* @group Basics */
1.1       ot         49: 
1.16      ot         50: body {
                     51:        padding-bottom: 6em;
                     52:        min-width: 40em; /* for the tabs, mostly */
1.1       ot         53: }
                     54: 
1.16      ot         55: p {
                     56:   line-height: 130%;   
1.1       ot         57: }
                     58: 
1.16      ot         59: strong { 
                     60:   font-weight: bold;
1.1       ot         61: }
                     62: 
                     63: h2 { 
1.16      ot         64:     color: #690;
                     65:     font-family:Verdana,Arial,sans-serif;
                     66:     background-color: white;
1.1       ot         67:     font-size: 1.3em;
1.16      ot         68:     margin-bottom: 1em;    
1.1       ot         69: }
                     70: 
                     71: h3 {
1.16      ot         72:     font-family:Verdana,Arial,sans-serif;
                     73:     color: #690;
                     74:     background-color: white;
1.1       ot         75:     font-size: 1.1em;
                     76:     border-bottom: 1px dotted #aaaa77;
                     77:     text-decoration: none;
1.16      ot         78:     margin-top: 1em;
                     79:     margin-bottom: 1em;
1.1       ot         80: } 
                     81: 
                     82: h4 {
1.16      ot         83:     font-family:Verdana,Arial,sans-serif;
                     84:     color: #690;
1.1       ot         85:     font-style: italic;
                     86:     text-decoration: none;
1.16      ot         87:     font-size: .9em;
                     88:     font-weight:600;
                     89:     margin-top: 1.5em;
                     90:     margin-bottom: .5em;
1.1       ot         91: }
                     92: 
                     93: h5,h6 {
1.16      ot         94:     font-family:Verdana,Arial,sans-serif;
                     95:     color: #11111a;
1.1       ot         96:     background-color: white;
                     97:     font-weight: normal;
1.16      ot         98:     font-size: small;
                     99:     margin-top: 1em;
                    100:     margin-left: 1em;
                    101:     margin-bottom: .7em;
1.1       ot        102:     }
                    103: 
1.16      ot        104:     /* tables in the documentation */
                    105: 
                    106:     table {
                    107:     }
                    108:     td, th{
                    109:        padding: 6px;
                    110:     }
                    111:     
                    112: /* @end */
                    113: 
                    114: 
                    115: /* @group Inputs */
                    116: 
                    117: input#uri, input#file, input#uploaded_file, input#keywords, input#short_desc, textarea {
                    118:        font-family: Monaco, "Courier New", Monospace;
                    119:        font-size: 0.9em;
                    120:        border: 1px solid #bbb;
                    121:        border-top: 1px solid #777;
                    122:        border-bottom: 1px solid #ddd;
                    123:        background: #fefefe url(../images/textbg.png) no-repeat top left;
                    124:        padding: 0.2em 0.2em;
                    125:        max-width: 1000px;
                    126:        font-variant: normal;
                    127: }
                    128: 
                    129: input#uri, input#file, input#uploaded_file {
                    130:        width: 85%;
                    131:        margin: 0.3em 0 0 1em;
                    132: }
                    133: 
                    134: input#file, input#uploaded_file {
                    135:        width: 30em;
                    136: }
                    137: 
                    138: input#mailsearch, input#bugsearch {
                    139:     background-color: #EAEBEE;
                    140:     color: #365D95;
                    141:     padding: .3em 1em;
                    142:     border: 1px outset #ccc;
                    143:   }
                    144:   input#mailsearch:active, input#bugsearch:active {
                    145:     border-style: inset !important;
                    146:   }
                    147: a.submit {
                    148:        display: block;
                    149:        width: 10em;
                    150:        text-align: center;
                    151:        margin: 0 auto;
                    152:        background: url(../images/button-left.png) no-repeat center left;
                    153:        text-decoration: none;
                    154: }
                    155: 
                    156: a.submit span {
                    157:        display: block;
                    158:        padding: 1.2em 2em;
                    159:        background: url(../images/button-right.png) no-repeat center right;
                    160: }
                    161: 
                    162: textarea {
                    163:        width: 98.5%;
                    164: }
                    165: 
                    166: p.submit_button input {
                    167:        overflow: visible;
                    168:        width: auto;
                    169:        background: #fff;
                    170:   color: #365D95;
                    171:   padding: 0.3em 0.4em 0.1em 0.3em;
                    172:        font-size: 1.2em;
                    173:        width: 12em;
                    174:        text-align: center;
                    175:        border-bottom: 2px solid #444;
                    176:        border-right: 2px solid #444;
                    177:        border-top: 1px solid #aaa;
                    178:        border-left: 1px solid #aaa;
                    179:        background: #eee url(../images/grad.png) repeat-x top left;
                    180:        cursor: pointer;
                    181: }
                    182: 
                    183: p.submit_button input:active {
                    184:   color: #1f2126;
                    185:        border-bottom: 1px solid #aaa;
                    186:        border-right: 1px solid #aaa;
                    187:        border-top: 2px solid #444;
                    188:        border-left: 2px solid #444;
                    189: }
                    190: 
                    191: label {
                    192:        font-size: 0.9em;
                    193:        padding-left: .2em;
                    194:        padding-right: .2em;
                    195: }
                    196: 
                    197: div.options select {
                    198:        margin-right: 0.8em;
                    199: }
                    200: 
                    201: div.options label {
                    202:        margin-right: 0.3em;
                    203: }
                    204: 
                    205: 
                    206: div.options table, div.options tbody, div.options td, div.options th, div.options tr {
                    207:        margin: 0;
                    208:        padding: 0;
                    209: }
                    210: 
                    211: div.options table {
                    212:        border-collapse: collapse;
                    213: }
                    214: 
                    215: div.options th, div.options th label {
                    216:        font-weight: bold;
                    217: }
                    218: 
                    219: div.options td, div.options th {
                    220:        padding: 0.5em 1.1em 0.5em 0;
                    221:        text-align: left;
                    222: }
                    223: 
                    224: div.options td input {
                    225:        margin-right: 0.2em;
                    226: }
                    227: 
                    228: div.options select {
                    229:        width: 100%;
                    230: }
                    231: 
                    232: div.options table tr.subchoice th {
                    233:     padding-left: 3em;
                    234: }
                    235: tr.subchoice th label {
                    236:   padding-left: 0;
                    237: }
                    238: tr.subchoice th, tr.subchoice th label {
                    239:   font-size: 1em;
                    240:   font-weight: normal;
                    241: }
                    242: /* @end */
                    243: 
                    244: /* @group Header */
                    245: 
                    246: h1#title {
                    247:        font-family: "Myriad Web", "Myriad Pro", "Gill Sans", Helvetica, Arial, Sans-Serif;
                    248:        background-color: #365D95;
                    249:        color: #fdfdfd;
                    250:        font-size: 1.6em;
                    251:        background: url(../images/head-bl.png) bottom left no-repeat;
                    252:        padding-bottom: 0.430em;
                    253: }
                    254: h1#title a, h1#title a img {
                    255: background-color: #365D95;
                    256: }
                    257: 
                    258: h1 span {
                    259:        border-bottom: 1px solid #6383b1;
                    260:        border-color: #4e6f9e;
                    261: }
                    262: 
                    263: h1#title a:link, h1#title a:hover, h1#title a:visited, h1#title a:active {
                    264:   color: #fdfdfd !important;
                    265:   text-decoration: none;
                    266: }
1.1       ot        267: 
1.16      ot        268: h1#title img {
                    269:        vertical-align: middle;
                    270:        margin-right: 0.7em;
1.1       ot        271: }
                    272: 
1.16      ot        273: div#banner {
                    274:        background: #365D95 url(../images/head-br.png) bottom right no-repeat;
                    275:        margin: 1.5em 2em;
1.1       ot        276: }
                    277: 
1.16      ot        278: p#tagline {
                    279:        font-size: 0.7em;
                    280:        margin: -2em 0 0 12.1em;
                    281:        padding-bottom: 1em;
                    282:        letter-spacing: 0.1em;
                    283:        line-height: 100% !important;
                    284:        color: #D0DCEE;
                    285:        background-color: transparent;
                    286: }
1.1       ot        287: 
1.16      ot        288: ul#lang_choice {
                    289:        position: absolute;
                    290:        text-align: right;
                    291:        top: 0;
                    292:        right: 0;
                    293:        font-size: 0.7em;
                    294:        padding: 0.5em 0;
                    295:        line-height: 100%;
                    296:        margin-right: 3.3em;
                    297:        min-width: 40em;
                    298:        background-color: transparent;
                    299: }
1.1       ot        300: 
1.16      ot        301: ul#lang_choice a:link, ul#lang_choice a:visited {
                    302:        text-decoration: none;
1.1       ot        303: }
                    304: 
1.16      ot        305: ul#lang_choice a:hover, ul#lang_choice a:active {
                    306:        text-decoration: underline;
1.1       ot        307: }
                    308: 
1.16      ot        309: ul#lang_choice li {
                    310:        display: inline;
                    311:        padding-left: 0.5em;
                    312: }
                    313: 
                    314: /* @end */
                    315: 
                    316: /* @group Tabs */
                    317: 
                    318: ul#tabset_tabs {
                    319:        height: 1.59em;
                    320: }
1.1       ot        321: 
1.16      ot        322: ul#tabset_tabs li {
                    323:        cursor: pointer;
                    324:        float: left;
                    325:        margin-right: 0.245em;
                    326:        background: #DADDE3 url(../images/tab-tl.png) no-repeat top left;
                    327:        border-bottom: 1px solid #CBD0DB;
1.1       ot        328: }
                    329: 
1.16      ot        330: ul#tabset_tabs li.selected {
                    331:        background: #EAEBEE url(../images/round-tl.png) no-repeat top left;
                    332:        border-bottom: 1px solid #EAEBEE;
1.1       ot        333: }
                    334: 
1.16      ot        335: ul#tabset_tabs li.selected a:link, ul#tabset_tabs li.selected a:visited {
                    336:        color: #1f2126;
                    337:        background: #EAEBEE url(../images/round-tr.png) no-repeat top right;
1.1       ot        338: }
                    339: 
1.16      ot        340: ul#tabset_tabs li span {
                    341:        color: #616571;
1.1       ot        342: }
                    343: 
1.16      ot        344: body ul#tabset_tabs li.selected a span {
                    345:        color: #3d424f;
1.1       ot        346: }
                    347: 
1.16      ot        348: ul#tabset_tabs li a:link, ul#tabset_tabs li a:visited {
                    349:        color: #365D95;
                    350:        display: block;
                    351:        padding: 0.515em 1.3em 0.215em 0.8em;
                    352:        background: #DADDE3 url(../images/tab-tr.png) no-repeat top right;
                    353:        margin-left: 0.5em;
                    354:        font-size: 0.9em;
                    355:        font-weight: bold;
                    356:        text-decoration: none;
1.1       ot        357: }
                    358: 
1.16      ot        359: ul#tabset_tabs li a:hover, ul#tabset_tabs li a:active {
                    360:        color: #1f2126;
                    361: }
1.1       ot        362: 
1.16      ot        363: ul#tabset_tabs li a:hover span, ul#tabset_tabs li a:active span {
                    364:        color: #3d424f;
                    365: }
1.1       ot        366: 
1.16      ot        367: ul#tabset_tabs li.selected span {
                    368:        color: #5d6371;
1.1       ot        369: }
                    370: 
1.16      ot        371: /* @end */
                    372: 
                    373: /* @group Contents */
                    374: 
                    375: div#frontforms {
                    376:        background: #fff;
                    377:        padding: 0 2em;
                    378: }
1.1       ot        379: 
1.16      ot        380: div#fields {
                    381:        clear: both;
                    382:        background: #EAEBEE url(../images/round-tr.png) no-repeat top right;
                    383:        padding: 0.5em 1.3em;
                    384:        border-bottom: 1px solid #DCDDE0;
                    385: }
1.1       ot        386: 
1.16      ot        387: div#fields legend, div#fields p, div#fields fieldset, div#fields form,div#fields form fieldset legend a, div#fields form p label, div#fields tr label   {
                    388:   background-color: #EAEBEE;
                    389: }
1.1       ot        390: 
                    391: fieldset {
1.16      ot        392:        background: #EAEBEE;
1.1       ot        393: }
1.16      ot        394: 
                    395: legend {
                    396:        font-size: 1.1em;
                    397:        padding: 1em 0 0.23em;
                    398:        letter-spacing: 0.06em;
                    399: }
                    400: 
                    401: legend a:link, legend a:visited, legend a:hover, legend a:active {
                    402:        text-decoration: none;
                    403: }
                    404: 
                    405: legend.toggletext {
                    406:        cursor: pointer;
                    407:        padding-left: 0.8em;
                    408:        background: #EAEBEE url(../images/arrow-closed.png) 0 1.2em no-repeat;
                    409: }
                    410: 
                    411: legend.toggled {
                    412:        background: #EAEBEE url(../images/arrow-open.png) 0 1.4em no-repeat;
1.1       ot        413: }
1.16      ot        414: 
                    415: p.instructions {
                    416:        color: #4D525E;
                    417:        font-size: 0.80em;
                    418:        padding-bottom: 1em;
                    419:        padding-top: 0.5em;
1.11      ot        420: }
1.16      ot        421: 
                    422: p.instructions label {
                    423:        color: #4D525E;
                    424:        padding: 0;
                    425:        margin: 0;
                    426:        font-size: 1em;
1.1       ot        427: }
1.2       ot        428: 
1.16      ot        429: div.options {
                    430:        padding: 0.7em 0 0.5em 1em;
1.2       ot        431: }
                    432: 
1.16      ot        433: div.options, p.submit_button, p.instructions, p#note {
                    434:        border-top: 1px solid #cbcdd5;
                    435:        background: #EAEBEE url(../images/double.png) left top repeat-x;
1.1       ot        436: }
1.16      ot        437: 
                    438: p.submit_button {
                    439:        padding: 0.6em 0 0;
                    440:        margin: 0;
                    441:        text-align: center;
1.1       ot        442: }
1.16      ot        443: 
                    444: 
                    445: p#note {
                    446:        clear: both;
                    447:        color: #4D525E;
                    448:        font-size: 0.9em;
                    449:        padding: 0.5em 0 0.1em;
1.1       ot        450: }
                    451: 
1.16      ot        452: /* @end */
                    453: 
                    454: /* @group Menu */
1.1       ot        455: 
1.16      ot        456: ul#menu {
                    457:        text-align: center;
                    458:        margin: 1em 2em;
                    459:        background: #EAEBEE url(../images/round-br.png) no-repeat bottom right;
                    460:        padding: 0.5em 0 0.3em;
                    461:        border-top: 1px solid #DCDDE0;
1.2       ot        462: }
1.16      ot        463: 
                    464: ul#menu span {
                    465:        display: none;
1.1       ot        466: }
                    467: 
1.16      ot        468: ul#menu a:link, ul#menu a:visited {
                    469:        background: #EAEBEE;
                    470:        color: #365D95;
                    471:        text-decoration: none;
1.1       ot        472: }
1.16      ot        473: 
                    474: ul#menu a:hover, ul#menu a:active {
                    475:        color: #1f2126;
                    476:        text-decoration: underline;
1.1       ot        477: }
1.16      ot        478: 
                    479: ul#menu li {
                    480:        display: inline;
                    481:        margin-right: 0.8em;
1.17    ! ot        482:         background: #EAEBEE; }
1.1       ot        483: 
                    484: 
                    485: 
1.16      ot        486: /* @end */
                    487: 
                    488: /* @group Footer */
                    489: 
                    490: div#footer {
                    491:        padding: 0 2em;
1.1       ot        492: }
                    493: 
1.16      ot        494: p#activity_logos {
                    495:        float: left;
                    496:        margin-right: 2em;
1.1       ot        497: }
                    498: 
1.16      ot        499: p#support_logo {
                    500:        float: right;
                    501:        font-size: 0.8em;
                    502:        text-align: center;
                    503:        margin-left: 2em;
                    504: }
1.1       ot        505: 
1.16      ot        506: p.copyright {
                    507:        text-align: center;
                    508:        text-transform: uppercase;
                    509:        font-size: 0.7em;
                    510:        line-height: 1.4;
1.1       ot        511: }
1.16      ot        512: 
                    513: p.copyright, p.copyright a {
                    514:        text-decoration: none;
                    515:        color: #7C8395;
1.1       ot        516: }
1.16      ot        517: 
                    518: p.copyright a:link, p.copyright a:visited {
                    519:        color: #A3756E;
1.1       ot        520: }
1.13      ot        521: 
1.16      ot        522: p.copyright a:hover, p.copyright a:active {
                    523:        color: #7D4A42;
1.13      ot        524: }
1.16      ot        525: 
                    526: p#version_info {
                    527:     font-size:      small;
                    528:     text-align: center;
                    529:     color: #888;
                    530:     background-color: white;
1.13      ot        531: }
                    532: 
1.16      ot        533: /* @end */
                    534: 
                    535: /* @group Docs */
1.13      ot        536: 
1.16      ot        537: div.doc {
                    538:   margin: 1em 2em;
                    539:        padding: 0.5em 0 0.3em;   
1.1       ot        540: }
                    541: 
                    542: 
1.16      ot        543: /* Set line height to 1.4x (from 1.3x on general site) to allow for various inline decoration. */
                    544: div.doc p, div.doc li {
                    545:   line-height: 150% !important; 
                    546: }
                    547: div.doc p {
                    548:   margin-bottom: .7em;
                    549:   margin-top: .5em;
                    550: }
1.1       ot        551: 
1.16      ot        552: div.doc p, div.doc dt, div.doc ul, div.doc ol {
                    553:     margin-left: 1.5em;
                    554:     margin-right: 1.5em;
                    555: }
1.1       ot        556: 
1.16      ot        557: div.doc ul li {
                    558:   list-style-type: disc;
                    559:   margin-left: 1em;
                    560: }
1.1       ot        561: 
1.16      ot        562: /* documentation - table of contents */
                    563: #toc { /* making the toc a bit more compact and standing out */
                    564:     font-size: .85em;
                    565:     font-weight: bold;
                    566:     margin-bottom: 2em;
                    567:     margin-left: 3em;
                    568: }
1.1       ot        569: 
1.16      ot        570: div.doc div#toc ol {
                    571:    list-style-type: decimal;
                    572: }
                    573: div.doc div#toc ol li {
                    574:   line-height: 130%;
                    575:   font-weight: bold;
                    576: }
                    577: div.doc div#toc ol li ol {
                    578:    list-style-type: lower-alpha;
                    579:    font-weight: normal;
                    580:    margin-left: 1em;
                    581: }
                    582: div.doc div#toc ol li ol li ol{
                    583:    list-style-type: lower-roman;
                    584: }
                    585: 
                    586: 
                    587: /* documentation - error explanations */
                    588: dl#expl dt code { /* headings for an error */
                    589:   white-space: normal;
                    590:   font-weight: bold;
                    591: }
                    592: 
                    593: dl#expl dt {
                    594:   border-top: 1px dashed black;
                    595:   margin-top: 2em;
                    596:   margin-bottom: 1em;
                    597: }
                    598: 
                    599: div.doc dt {
                    600:   margin-top: 1.2em;
                    601:   margin-bottom: .2em;
                    602: }
                    603: div.doc dt, div.doc dt a {
                    604:   font-style: italic;
                    605: }
                    606: div.doc dd {
                    607:   margin-right: 0; /* no need for the extra margin if we nicely put the text of the dd in a paragraph */
                    608: }
                    609: div.doc var { /* headings for an error */
                    610:   color: #006;
                    611: }
1.1       ot        612: 
1.16      ot        613: /* A snippet of code used inline. */
                    614: div.doc code {
                    615:   white-space: normal;
                    616:   display: inline;
                    617:   padding-left: .2em;
                    618:   padding-right: .2em;
                    619:   color:      black;
                    620:   font-family: Monaco, "Courier New", monospace;
                    621:   border: 1px dotted #ccc;
                    622: }
                    623: 
                    624: div.doc code.block {
                    625:   display: block;
                    626:   padding: 1em;
                    627:   white-space: pre;
                    628:   margin-top: 1em;
                    629:   margin-bottom: 1em;
                    630:   margin-right:  3em;
                    631: }
                    632: 
                    633: div.doc code samp {
                    634:   font-weight: normal;
                    635:   color: black;
                    636:   font-style: italic;
                    637: }
                    638: 
                    639: /* reference tables */
                    640: 
                    641: div.doc table {
1.1       ot        642:        border-collapse: collapse;
                    643:        border-right: 1px solid #ccc;
                    644: }
1.16      ot        645: div.doc table td, .doc table th{
1.1       ot        646:        border-top: 0px solid #ddd;
                    647:        border-bottom: 1px solid #ccc;
                    648:        border-left: 1px solid #eee;
                    649:        padding: 6px;
                    650:        border-collapse: collapse;
                    651: }
1.16      ot        652: div.doc table th {
1.1       ot        653:        background-color: #eee;
                    654:        color: #11111A;
                    655:        border-right: 1px solid #ccc;
                    656: }
                    657: 
1.16      ot        658: div.doc table {
                    659:   margin-top: 1em;
                    660:   margin-bottom: .5em;
                    661:        border-collapse: collapse;
                    662:        border-right: 1px solid #ccc; 
1.1       ot        663: }
                    664: 
1.16      ot        665: div.doc td, div.doc th {
                    666:        border-top: 0px solid #ddd;
                    667:        border-bottom: 1px solid #ccc;
                    668:        border-left: 1px solid #eee;
                    669:        border-collapse: collapse;
                    670:   
1.1       ot        671: }
1.16      ot        672: div.doc th {
                    673:        background-color: #eee;
                    674:        color: #11111A;
                    675:        border-right: 1px solid #ccc;
1.1       ot        676: }
                    677: 
1.16      ot        678: /* @end */
1.1       ot        679: 
                    680: 
1.16      ot        681: /* @group home page, news text */
1.1       ot        682: 
1.16      ot        683: div.intro {
                    684:   margin: 1em 2em;
                    685:        padding: 0.5em 0 0.3em; 
1.1       ot        686: }
                    687: 
1.16      ot        688: #news dt {
                    689:     font-weight: bold;
                    690:      margin-top: 1.5em;
                    691:      margin-bottom: .3em;
                    692:    }
1.1       ot        693: 
1.16      ot        694: #news dd {
                    695:        margin-left: 2.5em;
                    696:        margin-right: 1.5em;
                    697:    }
1.1       ot        698: 
                    699: 
1.16      ot        700: /* warning on the home page for test instances */
                    701: #test_warning {
                    702:     border-left: 1px solid #ccc;
                    703:     border-right: 1px solid #ccc;
                    704:     line-height: 160%;
                    705:     text-align: center;
                    706:     margin-top: 2em;
                    707:        margin-left: 12%;
                    708:        margin-right: 12%;
                    709:        padding-left: 1.5em;
                    710:    padding-right: 1.5em;
                    711:        color: black;
                    712:        background-color: white;
1.1       ot        713: }
1.16      ot        714: 
                    715: #test_warning img {
                    716:     width: 1.3em;
                    717:     vertical-align: middle;
1.1       ot        718: }
1.16      ot        719: 
1.17    ! ot        720: /* @end */

Webmaster