*, body { border: none; margin: 0; padding: 0; font-family: Verdana, Arial, sans-serif; }
    body { margin: 0 auto 0px auto; width: 800px; background-color: #ccccff; font-family: Verdana, Arial, sans-serif; }
div { border: 1px solid #333333; background-color: #cccccc; padding: 5px;}
div#containall { background-color: #ffffff; border: none; padding: 30px;
  border-left: 1px solid #333333; border-right: 1px solid #333333; }
h1 { font-size: x-large; }
h3 { margin-bottom: 15px; margin-top: 15px; font-size: x-large; }
h4 { margin: 30px 0 15px 0; }
h1,h2 { font-weight: normal; }
div.code { width: 90%; font-size: medium; margin: 20px auto; font-family: Courier, monospace; }
p { margin: 15px 0 15px 0; }