--- FreeBSD/tinderbox/webui/templates/paefchen/tinderstyle.css 2008/01/05 12:25:17 1.1 +++ FreeBSD/tinderbox/webui/templates/paefchen/tinderstyle.css 2008/07/12 13:28:20 1.3.2.2 @@ -1,4 +1,4 @@ -/* $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/tinderstyle.css,v 1.1.2.1 2008/01/05 11:28:02 as Exp $ */ +/* $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/tinderstyle.css,v 1.3.2.1 2008/01/18 22:05:30 as Exp $ */ body { background-color : #FFF; @@ -7,12 +7,12 @@ body { background-position : 0 -20px; margin : 0 20px; padding : 0; - font-size : 0.7em; } -body, td, li, input, select { +body, td, li, input, select, #content h1, #content h2 { color : #000; - font-family : verdana, sans-serif; + font-family : Verdana, sans-serif; + font-size : 11px; } a:link, a:visited { @@ -50,6 +50,10 @@ table th a:link, table th a:visited { color : #FFF; } +form { + margin : 0; + padding : 0; +} input, select { background-color : #F2F2F2; @@ -57,7 +61,6 @@ input, select { border-style : groove solid solid groove; border-width : 2px 1px 1px 2px; margin : 1px; - font-size : 0.7em; } input[type="submit"] { @@ -71,7 +74,6 @@ input:focus, input:hover, select:focus, select:hover { } ul { - font-size : 0.7em; height : 29px; list-style-image : none; list-style-position : outside; @@ -80,10 +82,6 @@ ul { padding : 0; } -.right ul { - margin-right : 16px; -} - li { border-width : 0 0 0 1px; border-style : solid; @@ -113,13 +111,25 @@ li a:link, li a:visited { text-decoration : none; } +#header h1 { + font-size : 22px; + margin-top : 14px; +} + + #topmenu { +} + +#topmenu .left { position : absolute; + left : 20px; top : 64px; } -#topmenu .right ul { - float : left; +#topmenu .right { + position : absolute; + right : 16px; + top : 64px; } #topmenu input { @@ -129,7 +139,6 @@ li a:link, li a:visited { margin : 0; border-width : 0; background-color : transparent; - font-size : 0.7em; cursor : pointer; } @@ -142,7 +151,6 @@ li a:link, li a:visited { border-color : #b4b4b4; border-style : solid; color : #737373; - font-size : 1.1em; background-color : #f7f7f7; margin : 20px 0 10px 0; } @@ -153,8 +161,8 @@ li a:link, li a:visited { left : 0; color : #737373; font-weight : bold; - font-size : 0.9em; - padding : 4px 20px 0 20px; + padding-top : 4px; + width : 100%; height : 19px; background-color : #DDD; background-image : url(images/hdr_fill.png); @@ -165,15 +173,19 @@ li a:link, li a:visited { border-style : solid; } +#footer .left { + padding-left : 20px; +} + +#footer .right { + padding-right : 20px; +} + #footer table { float : left; margin-left : 5px; } -#user { - -} - .left { float : left; } @@ -197,69 +209,69 @@ li a:link, li a:visited { } td.port_success { - background-color : #E8FFE8 + background-color : #E8FFE8; } td.port_dud { background-color : yellow; font-weight : bold; - text-align : center + text-align : center; } td.port_leftovers { background-color : #FFFFD8; color : red; font-weight : bold; - text-align : center + text-align : center; } td.port_broken { background-color : #FFFFD8; color : red; font-weight : bold; - text-align : center + text-align : center; } td.port_fail { - background-color : red + background-color : red; } td.port_depend { - background-color : orange + background-color : #FFA500; } td.port_default { - background-color : grey + background-color : #808080; } td.build_portbuild { - background-color : green + background-color : green; } td.build_prepare { - background-color : lightblue + background-color : #ADD8E6; } td.build_default { } td.queue_entry_enqueued { - background-color : grey + background-color : #808080; } td.queue_entry_processing { - background-color : green + background-color : green; } td.queue_entry_success { - background-color : #E8FFE8 + background-color : #E8FFE8; } td.queue_entry_fail { - background-color : red + background-color : red; } td.fail_reason_COMMON { background-color : red; - color : white + color : white; } a.fail_reason_COMMON { - color : white + color : white; } td.fail_reason_RARE { - background-color : orange + background-color : #FFA500; } td.fail_reason_TRANSIENT { - background-color : yellow + background-color : yellow; } /* XXX */