html, body, #htmleditable0 {margin:0; padding:0;}
body {font:smaller Verdana; color:#555;}
ul {margin:0px 24px; padding:0; list-style:disc outside;}
a {text-decoration:none; color:#00f;}
a:visited {text-decoration:none; color: #00f;}
a:hover {text-decoration:underline; background-color:yellow; color:#00f;}
a:active {color:#00f;}
h1 {color:white; font:18pt Arial; font-weight:bold; padding:20px 8px 8px 30px;
    margin:0;}
h1 a, h1 a:hover, h1 a:visited, h1 a:active {color:white;
  background-color:transparent;}
h2 {font-size:large;}
h3 {font-size:medium;}
li {margin-bottom:0.8ex;}
img {border:0;}
div[ip] {background-color:rgb(230,230,255); margin-top:1ex; padding:0.5ex;}
pre[editable="code"] {margin:0px; background-color:#ffffcc; padding:1ex; font-size:smaller;}


#top {width:770px; height:68px; margin:10px auto 0 auto;
      text-align:left; border:0px none #ccf;
      background:url(index-top.gif) no-repeat; overflow:hidden;}
#top a {float:right; margin:16px;}
#top h1 a {float:none; margin:0;}
#middle {width:730px; margin:0 auto 0 auto; border-bottom:0 solid transparent;
         background:url(index-middle.gif) repeat-y top center;
         padding: 1px 20px 0 20px;}
#bottom {width:770px; height:50px; margin:0px auto;
         background:url(index-bottom.gif) no-repeat top center;
         padding:0 0 8px 0;}