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

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