html, body
{
  margin: 0;
  padding: 0;
  background: white;
}

div.banner
{
  margin: 0;
  padding: 0;
  height: 20px;
  width: 100%;
  min-width: 550px;
  border-top: 1px solid #000;
  border-bottom: 1px solid #000;
  background-image: url(/images/banner.png);
  background-repeat: no-repeat;
  background-position: top right;
}

a.home
{
  float: left;
  margin: 4px 0 0 8px;
  padding: 0;
  width: 14px;
  height: 11px;
  background-image: url(/images/home.png);
  background-repeat: no-repeat;
}

a.mail
{
  float: left;
  margin: 5px 0 0 8px;
  padding: 0;
  width: 14px;
  height: 10px;
  background-image: url(/images/mail.png);
  background-repeat: no-repeat;
}

div.main
{
  margin: 0;
  padding: 10px;
}

table.yami_content td
{
  padding: 10px;
  vertical-align: top;
}

table.supported_systems td
{
  padding: 0px;
  vertical-align: top;
}

p.comment_sig
{
  text-align: right;
}

div.image_center
{
  text-align: center;
}

table.yami_impl td
{
  padding: 0px;
}

table.yami_impl img
{
  vertical-align: middle;
}

table.tests td
{
  padding: 0px;
}