body {
  text-align: center;
  background-color: rgb(255,255,255);
  font-family: arial, sans-serif;
  font-size: 14px;
}

#logo {
  width: 1000px; 
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 10px;
}

#page {
  display: block;
  width: 1000px;
  /* min-height: 600px; */
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 10px;
  padding-bottom: 20px;
}

/* CONTENT */

#content {
  margin-top: 20px;
  /*min-height: 500px;*/
  margin-left: 30px;
  margin-right: 30px;
  text-align: left;
}
#content h1 {
  margin: 0px;
  margin-bottom: 10px;
  font-size: 24px;
}
#content h2 {
  margin: 0px;
  margin-top: 5px;
  font-size: 18px;
}
#content h3 {
  margin: 0px;
  margin-top: 5px;
  font-size: 15px;
}
#content a {
  text-decoration: none;
  color: steelblue;
}
#content a:hover {
  text-decoration: underline;
}

/* MAIN DIVS */

#right {
  float: right;
  width: 800px;
}

#left {
  float: left;
  width: 180px;
  padding-top: 20px;
}

#left h1 {
  font-size: 14px;
  letter-spacing: 2px;
  background-color: rgb(255,255,255);
  margin: 0px 0px 5px 0px;
  padding-left: 5px;
  text-align: left;
}

.menu {
  width: 180px;
  margin-bottom: 20px;
  text-align: left;
  background-color: rgb(140,140,140);
}
.menu a {
  display: block;
  margin-bottom: 1px;
  padding-left: 5px;
  text-decoration: none;
  color: rgb(105,105,105);
  background-color: rgb(255,255,255); 
}
.menu a:hover {
  color: rgb(240,240,240);
  background-color: rgb(140,140,140);
}


.sect1 {
  margin: 0px 0px 40px 0px;
}


/* INDEX DIVS */

#index_container {
  width: 750px;
}

#index_left {
  float: left;
  width: 370px;
}

#index_right {
  float: right;
  width: 370px;
}

/* LISTS */

li {
  list-style-position: outside;
  margin: 5px;
}

/* EXAMPLES */

pre {
  padding: 10px;
  background-color: rgb(240,240,240);
}

/* FOOTER */

#break {
  clear: both; 
}

#ftr {
  margin-top: 15px;
  margin-left: auto;
  margin-right: auto;
  width: 1000px;
  height: 25px;
  font-size: 10px;
  color: rgb(220,220,220);
  background: url(/images/footerbg.png);
}

#ftr a {
  color: rgb(220,220,220);
  text-decoration: none;
}

#ftr a:hover {
  color: rgb(220,220,220);
  text-decoration: underline;
}

div.versions {
  color: rgb(140,140,140);
  text-align: right;
}

table.list {
  width: 100%;
}
table.list td, th {
  vertical-align: top;
}
table.list td {
  background-color: rgb(240,240,240);
}
table.list th {
  color: rgb(240,240,240);
  background-color: rgb(100,100,100);
}