div.default_screen
{
    background-color: #f5f5f5;
    clear: right;
    border-right: solid 1px #d1d0d0;
    border-left: solid 1px #d1d0d0;
    border-bottom: solid 1px #d1d0d0;
    margin-top: -4px;
}

div.plain_screen
{
    background-color: #f5f5f5;
    border-right: solid 1px #d1d0d0;
    border-left: solid 1px #d1d0d0;
    border-bottom: solid 1px #d1d0d0;
    margin-top: -4px;
}

div.default_screen div.body, div.plain_screen div.body
{
    padding: 25px;
}

div.top_menu_screen
{
    padding-top: 25px;
}

div.default_screen div.infobox
{
    float: right;
    padding-top: 25px;
    padding-right:25px;
}

div.wider_screen
{
    background-color: white;
}

div.wider_screen div.body
{
    padding-top: 5px;
}

div.wider_screen div.infobox
{
  float: right;
  padding-top: 5px;
  padding-right: 0px;
  width: 32.815%;
}