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

1.2     ! as          1: /* $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/tinderstyle.css,v 1.1 2008/01/05 12:25:17 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: 
                     53: 
                     54: input, select {
                     55:        background-color        : #F2F2F2;
                     56:        border-color            : #868686 #d7d7d7 #d7d7d7 #868686;
                     57:        border-style            : groove solid solid groove;
                     58:        border-width            : 2px 1px 1px 2px;
                     59:        margin                          : 1px;
                     60: }
                     61: 
                     62: input[type="submit"] {
                     63:        border-color            : #d7d7d7 #868686 #868686 #d7d7d7;
                     64:        border-style            : solid groove groove solid;
                     65:        border-width            : 1px 2px 2px 1px;
                     66: }
                     67: 
                     68: input:focus, input:hover, select:focus, select:hover {
                     69:        background-color        : #FFF;
                     70: }
                     71: 
                     72: ul {
                     73:        height                          : 29px;
                     74:        list-style-image        : none;
                     75:        list-style-position     : outside;
                     76:        list-style-type         : none;
                     77:        margin                          : 0;
                     78:        padding                         : 0; 
                     79: }
                     80: 
                     81: .right ul {
                     82:        margin-right            : 16px;
                     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 {
                    121:        position                        : absolute;
                    122:        top                                     : 64px;
                    123: }
                    124: 
                    125: #topmenu .right ul {
                    126:        float                           : left;
                    127: }
                    128: 
                    129: #topmenu input {
                    130:        color                           : #666;
                    131:        font-weight                     : bold;
                    132:        padding                         : 0;
                    133:        margin                          : 0;
                    134:        border-width            : 0;
                    135:        background-color        : transparent;
                    136:        cursor                          : pointer;
                    137: }
                    138: 
                    139: #content {
                    140:        margin                          : 64px 0 40px 0;
                    141: }
                    142: 
                    143: #content h1, #content h2 {
                    144:        border-width            : 1px 0 0 0;
                    145:        border-color            : #b4b4b4;
                    146:        border-style            : solid;
                    147:        color                           : #737373;
                    148:        background-color        : #f7f7f7;
                    149:        margin                          : 20px 0 10px 0;
                    150: }
                    151: 
                    152: #footer {
                    153:        position                        : fixed;
                    154:        bottom                          : 0;
                    155:        left                            : 0;
                    156:        color                           : #737373;
                    157:        font-weight                     : bold;
                    158:        padding                         : 4px 20px 0 20px;
                    159:        height                          : 19px;
                    160:        background-color        : #DDD;
                    161:        background-image        : url(images/hdr_fill.png);
                    162:        background-repeat       : repeat-x;
                    163:        background-position     : 0 -81px;
                    164:        border-width            : 1px 0 0 0;
                    165:        border-color            : #b4b4b4;
                    166:        border-style            : solid;
                    167: }
                    168: 
                    169: #footer table {
                    170:        float                           : left;
                    171:        margin-left                     : 5px;
                    172: }
                    173: 
                    174: #user {
                    175:        
                    176: }
                    177: 
                    178: .left {
                    179:        float                           : left;
                    180: }
                    181: 
                    182: .right {
                    183:        float                           : right;
                    184: }
                    185: 
                    186: .description {
                    187:        margin                          : 20px 0;       
                    188: }
                    189: 
                    190: .subcontent {
                    191:        margin                          : 10px 0;       
                    192: }
                    193: 
                    194: .subcontent table th, .description table th {
                    195:        background-color        : transparent;
                    196:        color                           : #737373;
                    197:        text-align                      : left;
                    198: }
                    199: 
                    200: td.port_success {
                    201:        background-color        : #E8FFE8
                    202: }
                    203: td.port_dud {
                    204:        background-color        : yellow;
                    205:        font-weight                     : bold;
                    206:        text-align                      : center
                    207: }
                    208: td.port_leftovers {
                    209:        background-color        : #FFFFD8;
                    210:        color                           : red;
                    211:        font-weight                     : bold;
                    212:        text-align                      : center
                    213: }
                    214: td.port_broken {
                    215:        background-color        : #FFFFD8;
                    216:        color                           : red;
                    217:        font-weight                     : bold;
                    218:        text-align                      : center
                    219: }
                    220: td.port_fail {
                    221:        background-color        : red
                    222: }
                    223: td.port_depend {
                    224:        background-color        : orange
                    225: }
                    226: td.port_default {
                    227:        background-color        : grey
                    228: }
                    229: 
                    230: td.build_portbuild {
                    231:        background-color        : green
                    232: }
                    233: td.build_prepare {
                    234:        background-color        : lightblue
                    235: }
                    236: td.build_default {
                    237: }
                    238: 
                    239: td.queue_entry_enqueued {
                    240:        background-color        : grey
                    241: }
                    242: td.queue_entry_processing {
                    243:        background-color        : green
                    244: }
                    245: td.queue_entry_success {
                    246:        background-color        : #E8FFE8
                    247: }
                    248: td.queue_entry_fail {
                    249:        background-color        : red
                    250: }
                    251: 
                    252: td.fail_reason_COMMON {
                    253:        background-color        : red;
                    254:        color                           : white
                    255: }
                    256: a.fail_reason_COMMON {
                    257:        color                           : white
                    258: }
                    259: td.fail_reason_RARE {
                    260:        background-color        : orange
                    261: }
                    262: td.fail_reason_TRANSIENT {
                    263:        background-color        : yellow
                    264: }
                    265: 
                    266: /* XXX */
                    267: body > p {
                    268:        display                         : none; 
                    269: }