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.table_features th
{
  text-align: left;
}

div.example
{
  margin: 0 0 0 40px;
  font-family: monospace;
}

div.image_center
{
  text-align: center;
}