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

1.3.2.1 ! as          1: /* $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/tinderstyle.css,v 1.3 2008/01/05 13:33:12 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.2       as         12: body, td, li, input, select, #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: 
                    108: #header {
                    109:        color                           : #FFF;
                    110:        height                          : 40px;
                    111: }
                    112: 
                    113: #header a {
                    114:        color                           : #FFF;
                    115:        text-decoration         : none;
                    116: }
                    117: 
1.2       as        118: #header h1 {
                    119:        font-size                       : 22px;
                    120:        margin-top                      : 14px;
                    121: }
                    122: 
                    123: 
1.1       as        124: #topmenu {
                    125:        position                        : absolute;
                    126:        top                                     : 64px;
1.3.2.1 ! as        127:        width                           : 100%;
        !           128: }
        !           129: 
        !           130: #topmenu .right {
        !           131:        padding-right           : 20px;
1.1       as        132: }
                    133: 
                    134: #topmenu .right ul {
                    135:        float                           : left;
                    136: }
                    137: 
                    138: #topmenu input {
                    139:        color                           : #666;
                    140:        font-weight                     : bold;
                    141:        padding                         : 0;
                    142:        margin                          : 0;
                    143:        border-width            : 0;
                    144:        background-color        : transparent;
                    145:        cursor                          : pointer;
                    146: }
                    147: 
                    148: #content {
                    149:        margin                          : 64px 0 40px 0;
                    150: }
                    151: 
                    152: #content h1, #content h2 {
                    153:        border-width            : 1px 0 0 0;
                    154:        border-color            : #b4b4b4;
                    155:        border-style            : solid;
                    156:        color                           : #737373;
                    157:        background-color        : #f7f7f7;
                    158:        margin                          : 20px 0 10px 0;
                    159: }
                    160: 
                    161: #footer {
                    162:        position                        : fixed;
                    163:        bottom                          : 0;
                    164:        left                            : 0;
                    165:        color                           : #737373;
                    166:        font-weight                     : bold;
1.3.2.1 ! as        167:        padding-top                     : 4px;
        !           168:        width                           : 100%;
1.1       as        169:        height                          : 19px;
                    170:        background-color        : #DDD;
                    171:        background-image        : url(images/hdr_fill.png);
                    172:        background-repeat       : repeat-x;
                    173:        background-position     : 0 -81px;
                    174:        border-width            : 1px 0 0 0;
                    175:        border-color            : #b4b4b4;
                    176:        border-style            : solid;
                    177: }
                    178: 
1.3.2.1 ! as        179: #footer .left {
        !           180:        padding-left            : 20px;
        !           181: }
        !           182: 
        !           183: #footer .right {
        !           184:        padding-right           : 20px;
        !           185: }
        !           186: 
1.1       as        187: #footer table {
                    188:        float                           : left;
                    189:        margin-left                     : 5px;
                    190: }
                    191: 
                    192: .left {
                    193:        float                           : left;
                    194: }
                    195: 
                    196: .right {
                    197:        float                           : right;
                    198: }
                    199: 
                    200: .description {
                    201:        margin                          : 20px 0;       
                    202: }
                    203: 
                    204: .subcontent {
                    205:        margin                          : 10px 0;       
                    206: }
                    207: 
                    208: .subcontent table th, .description table th {
                    209:        background-color        : transparent;
                    210:        color                           : #737373;
                    211:        text-align                      : left;
                    212: }
                    213: 
                    214: td.port_success {
1.3.2.1 ! as        215:        background-color        : #E8FFE8;
1.1       as        216: }
                    217: td.port_dud {
                    218:        background-color        : yellow;
                    219:        font-weight                     : bold;
1.3.2.1 ! as        220:        text-align                      : center;
1.1       as        221: }
                    222: td.port_leftovers {
                    223:        background-color        : #FFFFD8;
                    224:        color                           : red;
                    225:        font-weight                     : bold;
1.3.2.1 ! as        226:        text-align                      : center;
1.1       as        227: }
                    228: td.port_broken {
                    229:        background-color        : #FFFFD8;
                    230:        color                           : red;
                    231:        font-weight                     : bold;
1.3.2.1 ! as        232:        text-align                      : center;
1.1       as        233: }
                    234: td.port_fail {
1.3.2.1 ! as        235:        background-color        : red;
1.1       as        236: }
                    237: td.port_depend {
1.3.2.1 ! as        238:        background-color        : #FFA500;
1.1       as        239: }
                    240: td.port_default {
1.3.2.1 ! as        241:        background-color        : #808080;
1.1       as        242: }
                    243: 
                    244: td.build_portbuild {
1.3.2.1 ! as        245:        background-color        : green;
1.1       as        246: }
                    247: td.build_prepare {
1.3.2.1 ! as        248:        background-color        : #ADD8E6;
1.1       as        249: }
                    250: td.build_default {
                    251: }
                    252: 
                    253: td.queue_entry_enqueued {
1.3.2.1 ! as        254:        background-color        : #808080;
1.1       as        255: }
                    256: td.queue_entry_processing {
1.3.2.1 ! as        257:        background-color        : green;
1.1       as        258: }
                    259: td.queue_entry_success {
1.3.2.1 ! as        260:        background-color        : #E8FFE8;
1.1       as        261: }
                    262: td.queue_entry_fail {
1.3.2.1 ! as        263:        background-color        : red;
1.1       as        264: }
                    265: 
                    266: td.fail_reason_COMMON {
                    267:        background-color        : red;
1.3.2.1 ! as        268:        color                           : white;
1.1       as        269: }
                    270: a.fail_reason_COMMON {
1.3.2.1 ! as        271:        color                           : white;
1.1       as        272: }
                    273: td.fail_reason_RARE {
1.3.2.1 ! as        274:        background-color        : #FFA500;
1.1       as        275: }
                    276: td.fail_reason_TRANSIENT {
1.3.2.1 ! as        277:        background-color        : yellow;
1.1       as        278: }
                    279: 
                    280: /* XXX */
                    281: body > p {
                    282:        display                         : none; 
                    283: }