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}