/* <style type="text/css"> */
  body {
    margin: 0pt;
    background-color: #EEFFFF;
  }
  div {
    vertical-align: top;
    padding: 4pt;
    font-family: arial, sans-serif;
  }
  div.coding {
    background-color: #F0F0F0;
    width: 500px;
    margin-left: 20pt;
  }
  span.comment {
    color: #0000FF;
  }
  a {
    text-decoration: none;
    color: #0000C0;
  }
  img.navi {
    border: none;
    width: 5px;
    height: 10px;
  }
  ul.links {
    list-style-type: none;
  }
  #menu, #title, #content {
    position: absolute;
    border: 1px solid;
    border-color: #AADDDD #77AAAA #77AAAA #AADDDD;
  }
  #menu {
    top: 50px;
    left: 15px;
    width: 180px;
    padding-top: 14pt;
    padding-bottom: 14pt;
    z-index: 1;
    background-color: #99CCCC;
  }
  #title {
    top: 10px;
    left: 80px;
    width: 770px;
    height: 20px;
    padding: 0pt;
    z-index: 1;
    text-align: center;
    background-color: #99CCCC;
    border-bottom-width: 0px;
  }
  #content {
    top: 30px;
    left: 80px;
    width: 630px;
    height: 480px;
    padding-top: 14pt;
    padding-left: 135px;
    z-index: 0;
    background-color: #DDEEFF;
    border-top-width: 0px;
  }
/* </style> */