body
{
     height: auto;
     width: auto;
     margin-top: 10px;
     margin-right: 10px;
     margin-bottom: 10px;
     margin-left: 10px;
     padding-top: 10px;
     padding-right: 10px;
     padding-bottom: 10px;
     padding-left: 10px;
     border-color: #000099 #FF0000;
     border-style: dotted;
     border-top-width: medium;
     border-right-width: thick;
     border-bottom-width: medium;
     border-left-width: thick
}