/* start of LOGO section */
#logoback { /* doubles as wrapper id for IE div centering bug */
  background: #9999cc;
  background-image: url('/arcade/styles/blue-gradient-8x144.png');
  height: 144px;
  text-align: center;  /* BUG for IE to center blocks within this block */
}
#logo {
  margin-left: auto; /* IE not centering on this, but FF does */
  margin-right: auto; /* IE not centering on this, but FF does */
  width: 327px;
}
#mario {  float: left; }
#sign {  float: left; } /* IE wants this else shifts image down */
#contact {  
/* for safety, display inline below seems to make this line not needed */
  list-style-type: none;  
  float: right;
/* margins behave differently in IE and FF why ?? */
/* IE needs more TOP, but less right */
/* FF wants less TOP, more right */
/* see topic margin collasping or div within a div */
/* for now use a compromise */
  margin: 10px 6px 0px 0px;  /* top right bottom left */
}
#contact li {
    display: inline;
    color: white;
    font-size: 13px;
/* scottb, fixme, copied from global.css */
    font-family: helvetica, Verdana, Arial, sans-serif;
}
#contact li a { color: white; text-decoration: none; }
#contact li a:hover { text-decoration: underline; }
/* not sure why I dont need visited links global turned off ? */
/* end: logo */