Annotation of FreeBSD/tinderbox/webui/templates/paefchen/tinderstyle.css, revision 1.5

1.5     ! as          1: /* $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/tinderstyle.css,v 1.4 2008/01/07 03:53:59 as Exp $ */
1.1       as          2: 
                      3: body {
                      4:        background-color        : #FFF;
                      5:        background-image        : url(images/hdr_fill.png);
                      6:        background-repeat       : repeat-x;
                      7:        background-position     : 0 -20px;
                      8:        margin                          : 0 20px;
                      9:        padding                         : 0;
                     10: }
                     11: 
1.4       as         12: body, td, li, input, select, label, #content h1, #content h2 {
1.1       as         13:        color                           : #000;
1.2       as         14:        font-family                     : Verdana, sans-serif;
                     15:        font-size                       : 11px;
1.1       as         16: }
                     17: 
                     18: a:link, a:visited {
                     19:        color                           : #900;
                     20: }
                     21: 
                     22: a:hover {
                     23:        color                           : #000;
                     24: }
                     25: 
                     26: table {
                     27:        background-color        : #EEE;
                     28:        border-collapse         : collapse;
                     29:        border-color            : #CACACA;
                     30:        border-spacing          : 0;
                     31:        border-style            : solid solid none none;
                     32:        border-width            : 1px 1px 0 0;
                     33: }
                     34: 
                     35: table th, table td {
                     36:        border-width            : 1px;
                     37:        border-style            : solid;
                     38:        border-color            : #D4D4D4;
                     39:        padding                         : 1px 2px;
                     40:        white-space                     : nowrap;
                     41: }
                     42: 
                     43: table th {
                     44:        font-weight                     : bold;
                     45:        background-color        : #737373;
                     46:        color                           : #FFF;
                     47: }
                     48: 
                     49: table th a:link, table th a:visited {
                     50:        color                           : #FFF;
                     51: }
                     52: 
1.3       as         53: form {
                     54:        margin                          : 0;
                     55:        padding                         : 0;
                     56: }
1.1       as         57: 
                     58: input, select {
                     59:        background-color        : #F2F2F2;
                     60:        border-color            : #868686 #d7d7d7 #d7d7d7 #868686;
                     61:        border-style            : groove solid solid groove;
                     62:        border-width            : 2px 1px 1px 2px;
                     63:        margin                          : 1px;
                     64: }
                     65: 
                     66: input[type="submit"] {
                     67:        border-color            : #d7d7d7 #868686 #868686 #d7d7d7;
                     68:        border-style            : solid groove groove solid;
                     69:        border-width            : 1px 2px 2px 1px;
                     70: }
                     71: 
                     72: input:focus, input:hover, select:focus, select:hover {
                     73:        background-color        : #FFF;
                     74: }
                     75: 
                     76: ul {
                     77:        height                          : 29px;
                     78:        list-style-image        : none;
                     79:        list-style-position     : outside;
                     80:        list-style-type         : none;
                     81:        margin                          : 0;
                     82:        padding                         : 0; 
                     83: }
                     84: 
                     85: .right ul {
                     86:        margin-right            : 16px;
                     87: }
                     88: 
                     89: li {
                     90:        border-width            : 0 0 0 1px;
                     91:        border-style            : solid;
                     92:        border-color            : #B4B4B4;
                     93:        display                         : inline;
                     94:        padding                         : 0 4px 0 8px;
                     95: }
                     96: 
                     97: li:first-child {
                     98:        border-left                     : 0;
                     99:        padding-left            : 0;
                    100: }
                    101: 
                    102: li a:link, li a:visited {
                    103:        color                           : #666;
                    104:        font-weight                     : bold;
                    105:        text-decoration         : none;
                    106: }
                    107: 
1.4       as        108: fieldset {
                    109:        border-width            : 0;
                    110:        margin                          : 0;
                    111:        padding                         : 0;
                    112: }
                    113: 
                    114: label {
                    115:        display                         : block;
                    116:        font-weight                     : bold;
                    117: }
                    118: 
1.1       as        119: #header {
                    120:        color                           : #FFF;
                    121:        height                          : 40px;
                    122: }
                    123: 
                    124: #header a {
                    125:        color                           : #FFF;
                    126:        text-decoration         : none;
                    127: }
                    128: 
1.2       as        129: #header h1 {
                    130:        font-size                       : 22px;
                    131:        margin-top                      : 14px;
                    132: }
                    133: 
                    134: 
1.1       as        135: #topmenu {
                    136:        position                        : absolute;
                    137:        top                                     : 64px;
                    138: }
                    139: 
                    140: #topmenu .right ul {
                    141:        float                           : left;
                    142: }
                    143: 
                    144: #topmenu input {
                    145:        color                           : #666;
                    146:        font-weight                     : bold;
                    147:        padding                         : 0;
                    148:        margin                          : 0;
                    149:        border-width            : 0;
                    150:        background-color        : transparent;
                    151:        cursor                          : pointer;
                    152: }
                    153: 
                    154: #content {
                    155:        margin                          : 64px 0 40px 0;
                    156: }
                    157: 
1.4       as        158: #content h1, #content h2, #content label {
1.1       as        159:        border-width            : 1px 0 0 0;
                    160:        border-color            : #b4b4b4;
                    161:        border-style            : solid;
                    162:        color                           : #737373;
                    163:        background-color        : #f7f7f7;
1.4       as        164:        margin                          : 5px 0 5px 0;
                    165:        padding                         : 2px 0;
1.1       as        166: }
                    167: 
                    168: #footer {
                    169:        position                        : fixed;
                    170:        bottom                          : 0;
                    171:        left                            : 0;
                    172:        color                           : #737373;
                    173:        font-weight                     : bold;
                    174:        padding                         : 4px 20px 0 20px;
                    175:        height                          : 19px;
                    176:        background-color        : #DDD;
                    177:        background-image        : url(images/hdr_fill.png);
                    178:        background-repeat       : repeat-x;
                    179:        background-position     : 0 -81px;
                    180:        border-width            : 1px 0 0 0;
                    181:        border-color            : #b4b4b4;
                    182:        border-style            : solid;
                    183: }
                    184: 
                    185: #footer table {
                    186:        float                           : left;
                    187:        margin-left                     : 5px;
                    188: }
                    189: 
                    190: .left {
                    191:        float                           : left;
                    192: }
                    193: 
                    194: .right {
                    195:        float                           : right;
                    196: }
                    197: 
                    198: .description {
                    199:        margin                          : 20px 0;       
                    200: }
                    201: 
                    202: .subcontent {
1.4       as        203:        margin                          : 20px 0;       
1.1       as        204: }
                    205: 
                    206: .subcontent table th, .description table th {
                    207:        background-color        : transparent;
                    208:        color                           : #737373;
                    209:        text-align                      : left;
                    210: }
                    211: 
                    212: td.port_success {
1.4       as        213:        background-color        : #E8FFE8;
1.1       as        214: }
                    215: td.port_dud {
                    216:        background-color        : yellow;
                    217:        font-weight                     : bold;
1.4       as        218:        text-align                      : center;
1.1       as        219: }
                    220: td.port_leftovers {
                    221:        background-color        : #FFFFD8;
                    222:        color                           : red;
                    223:        font-weight                     : bold;
1.4       as        224:        text-align                      : center;
1.1       as        225: }
                    226: td.port_broken {
                    227:        background-color        : #FFFFD8;
                    228:        color                           : red;
                    229:        font-weight                     : bold;
1.4       as        230:        text-align                      : center;
1.1       as        231: }
                    232: td.port_fail {
1.4       as        233:        background-color        : red;
1.1       as        234: }
                    235: td.port_depend {
1.4       as        236:        background-color        : #FFA500;
1.1       as        237: }
                    238: td.port_default {
1.4       as        239:        background-color        : #808080;
1.1       as        240: }
                    241: 
                    242: td.build_portbuild {
1.4       as        243:        background-color        : green;
1.1       as        244: }
                    245: td.build_prepare {
1.4       as        246:        background-color        : #ADD8E6;
1.1       as        247: }
                    248: td.build_default {
                    249: }
                    250: 
                    251: td.queue_entry_enqueued {
1.4       as        252:        background-color        : #808080;
1.1       as        253: }
                    254: td.queue_entry_processing {
1.4       as        255:        background-color        : green;
1.1       as        256: }
                    257: td.queue_entry_success {
1.4       as        258:        background-color        : #E8FFE8;
1.1       as        259: }
                    260: td.queue_entry_fail {
1.4       as        261:        background-color        : red;
1.1       as        262: }
                    263: 
                    264: td.fail_reason_COMMON {
                    265:        background-color        : red;
1.4       as        266:        color                           : white;
1.1       as        267: }
                    268: a.fail_reason_COMMON {
1.4       as        269:        color                           : white;
1.1       as        270: }
                    271: td.fail_reason_RARE {
1.4       as        272:        background-color        : #FFA500;
1.1       as        273: }
                    274: td.fail_reason_TRANSIENT {
1.4       as        275:        background-color        : yellow;
1.1       as        276: }
                    277: 
                    278: /* XXX */
                    279: body > p {
                    280:        display                         : none; 
                    281: }