body { margin: 2px; }

/* reminder: order of args
  margin: t r b l
  margin: t lr b
  margin: tb rl
  margin: all
  */

/* ---------------- banner ------------------------ */
/* make it render as a table, to have the version
   at the right side of the banner */

div#banner
   {
   margin : -2px -2px 2px -2px; /* keep in synch with body margin! */
   width : auto; height : 48px;
   background: rgb(219,219,219) repeat-x url(split.png) 0 40%;
   border : solid 1px rgb(150,150,150);
   }

p#banner-name
   {
   display : block; float : right ;
   width  : 270px;
   height : 48px;
   margin : 0;
   /* NB: can't use padding - MSIE messes up, use line height & relative shift
      to adjust it instead */
   position : relative; top : 8px;
   line-height : 48px;
   padding-right : 170px;
   text-align : left;
/*   background: transparent ;  must have this, to override dflt style */
   background: transparent no-repeat url(logo34.png) 96% 0%;

   font-size: 13pt;
   }

/* - a bit of a twist to get text to display in the middle -
   works for single line only
p#banner-name span
   {
   line-height : 48px;
   vertical-align : middle;
   }
*/


p#banner-version
   {
      float : left ;
   height : 48px;
   padding-left : 0.3em;
   position : relative; top : 8px;
   line-height : 48px;
   background : transparent;
   width : 16em;
   text-align : left;
   }

p#banner-version a /* fatten up the Bugzilla hyperlink */
   {
   font-size   : larger;
   font-weight : bold;
   }

div#banner > div.outro { clear : both; }

/* ---------------- ------ ------------------------ */

body
   {
   background: #fff;
   }
/* url("global/body-back.gif") repeat-x */


td, th { vertical-align : top ; }

/* ---------------- footer ------------------------ */

#footer form
    {
    background: #ddeeee;
    border-top: 1px solid #ccc;
    border-bottom: 1px solid #ccc;
    }


#footer div#links-actions,
#footer div#links-edit
   {
   border-bottom: 1px solid #ccc;
   }

/* visible to Mozilla only - cover for bug in Mozilla, the above should have worked */
#footer div[id]#links-actions div,
#footer div[id]#links-edit div
   {
   border-bottom: 1px solid #ccc;
   }

/* override the standard/global.css settings */
[id]#header
    {
    /* background : #fcc; */
    padding-top : 0.2em;
    padding-bottom : 0.2em;
    margin-bottom : 0.2em;
    }
    
#header
    {
    /* background : #fcc; */
    padding-top : 0.2em;
    padding-bottom : 0.2em;
    margin-bottom : 0.2em;
    }

/* --- fonts --------------------------------------- */

#header h1, #header h2, #header h3
   {
   font-family: Verdana; sans-serif;
   }

body, td, th, li
   {
   font-family: Arial, Verdana, Tahoma, sans-serif;
   font-size: 11pt;
   }

pre { font-size : 9pt; }


/* --- colors -- */
.bz_row_odd
{
    background-color: #eeeeee;
    color: #000000;
}