body {font-size: 11pt;
      font-family: arial, sans-serif;
      background-color: #CCDDEE}

a img {border-style: none}

h1  {text-align: center}

#leftnav {float: left;
          width: 160px;
          margin: 0;
          padding: 1em;
         }

.menu {width: 130px;
       background-color: #EEEEFF;
       border-style: solid;
       border-width: 1px;
       border-color: black;
       border-collapse: collapse;
       font-size: 10pt;
       margin: 0px;
       padding: 4px}

.menuheader {border-style: solid;
             border-color: silver;
             border-width: 0 0 1px 0;
             font-weight: bold;
             text-align: center;
             padding: 4px}

.menugroup {font-style: italic}

.menu a {display: block}

.menu a:link     {text-decoration: none; color: blue}
.menu a:visited  {text-decoration: none; color: blue}
.menu a:hover    {text-decoration: underline; color: red}

#container {width: 70%;
            min-width: 700px;
            margin: 10px auto;
            background-color: #fff;
            color: #333;
            border: 2px solid gray;
            line-height: 130%}

#top {padding: .5em;
      background-color: #ddd;
      border-bottom: 1px solid gray}            
      
#top h1 {padding: 0;
         margin: 0}
         
#leftnav {float: left;
          width: 160px;
          margin: 0;
          padding: 1em}

#content {margin-left: 200px;
          border-left: 1px solid gray;
          padding: 1em}

#footer {clear: both;
         margin: 0;
         padding: .5em;
         color: #333;
         background-color: #ddd;
         border-top: 1px solid gray}

.lvl1 {padding-left: 2px}
.lvl2 {padding-left: 15px}

.thumbnail {float: left;
            width: 150px;
            border: 1px solid #999;
            margin: 0 15px 15px 0;
            padding: 5px}

.clearboth {clear: both}

ul.intro {list-style-type: none}

code.pre
{
    font-family: courier new, monospace;
    display: block;
    border: 1px solid gray;
    padding: 1em;
    margin: 1em;
    background-color: rgb(256,256,224);
    
}

.pre {white-space: pre}