body {
  margin: 0;
  padding: 0;
  border: 0;
  width: 100%;
  background: #fff;
  min-width: 600px;
  font-size: 90%;
}

a {
  color: #369;
}

a:hover {
  color: #fff;
  background: #369;
  text-decoration: none;
}

h1, h2, h3 {
  margin: .8em 0 .2em 0;
  padding: 0;
}

p {
  margin: .4em 0 .8em 0;
  padding: 0;
}

img {
  margin: 10px 0 5px;
}

#header {
  clear: both;
  float: left;
  width: 100%;
}

#header {
  border-bottom: 1px solid #000;
}

#header p,
#header h1,
#header h2 {
  padding: .4em 15px 0 15px;
  margin: 0;
}

#header ul {
  clear: left;
  float: left;
  width: 100%;
  list-style: none;
  margin: 10px 0 0 0;
  padding: 0;
}

#header ul li {
  display: inline;
  list-style: none;
  margin: 0;
  padding: 0;
}

#header ul li a {
  display: block;
  float: left;
  margin: 0 0 0 1px;
  padding: 3px 10px;
  text-align: center;
  background: #eee;
  color: #000;
  text-decoration: none;
  position: relative;
  left: 15px;
  line-height: 1.3em;
}

#header ul li a:hover {
  background: #369;
  color: #fff;
}

#header ul li a.active,
#header ul li a.active:hover,
dl dt .chapter a.active,
dl dt .chapter a.active:hover
{
  color: #fff;
  background: #000;
  font-weight: bold;
}

#header ul li a span {
  display: block;
}

#layoutdims {
  clear: both;
  background: #eee;
  border-top: 4px solid #000;
  margin: 0;
  padding: 6px 15px !important;
  text-align: right;
}

.colmask {
  position: relative;
  clear: both;
  float: left;
  width: 100%;
  overflow: hidden;
}

.colright,
.colmid,
.colleft {
  float: left;
  width: 100%;
  position: relative;
}

.col1,
.col2,
.col3 {
  float: left;
  position: relative;
  padding: 0 0 1em 0;
  overflow: hidden;
}

.leftmenu {
  background: #fff;
}

.leftmenu .colleft {
  right: 75%;
  background: #f4f4f4;
}

.leftmenu .col1 {
  width: 71%;
  left: 102%;
}

.leftmenu .col2 {
  width: 21%;
  left: 6%;
}

#footer {
  clear: both;
  float: left;
  width: 100%;
  border-top: 1px solid #000;
}

#footer p {
  padding: 10px;
  margin: 0;
}

table {
  border-color: black;
  border-width: 2;
}

.epigraph {
  font-size: small;
  margin-bottom: 40px;
  text-align: right;
}

pre.programlisting, pre.screen, code {
  font-family: monospace;
}

p.note, div.example pre.programlisting, pre.screen {
  background-color: #eeeeec;
  margin: 1em 0 1em 0;
  padding: 0.2em;
}

.epigraph, .list-of-examples, .list-of-figures, .toc, div.example pre.programlisting, pre.screen {
  line-height: 110%;
}

.filename {
  font-style: italic;
}

.blockquote, .navheader, .navfooter {
  -moz-border-radius: 8px;
  margin-bottom: 10px;
  margin-top: 10px;
  padding: 2px;
}

table .blockquote {
  background-color: #eeeeec;
  border: 1px solid #eeeeec;
}

.navheader, .navfooter {
  background-color: #d3d7cf;
  border: 1px solid #d3d7cf;
}

.navheader hr, .navfooter hr {
  display: none;
}

.table table {
  border: 1px #eeeeec solid;
  border-spacing: 0px;
}

.table td {
  border: 1px #eeeeec solid;
  text-align: left;
  vertical-align: top;
}

.table th {
  background: #eeeeec;
  border: 1px #eeeeec solid;
  text-align: left;
  vertical-align: top;
}

.sidebar {
  display: none;
}

pre span.bg {
  color: #eeeeec;
  font-weight: bold;
}

pre span.comment {
  color: #8f5902;
  font-weight: bold;
}

pre span.default {
  color: #204a87;
  font-weight: bold;
}

pre span.html {
  color: #000000;
  font-weight: bold;
}

pre span.keyword {
  color: #4e9a06;
  font-weight: bold;
}

pre span.string {
  color: #a40000;
  font-weight: bold;
}

body * {
  /* margin: 0 0 0 0;
  padding: 0 0 0 0; */
}

body {
  font-family: Verdana;
  font-size: 12px;
}

body div#header {
  margin: 0 0 0 0;
  background-color: #333;
  border: none;
  border-bottom: 10px solid #999;
}

body div#header h1 {
  color: #fff;
  margin: 0 0 5px 0;
}

body div#header ul {

}

body div#header ul li {

}

body div#header ul li a {
  float: left;
  display: block;
  margin-right: -10px;
  margin-bottom: -10px;
  padding: 5px 20px 15px 10px;
  -moz-border-radius-topleft: 3px;
  -webkit-border-top-left-radius: 3px;
  -moz-border-radius-topright: 3px;
  -webkit-border-top-right-radius: 3px;
  background-color: #F4F4F4;
}

body div#header ul li a:hover  {
  background-color: #999;
}

body div#header ul li a.active {
  background-color: #999;
}

body div.colmask {
  border-top: 3px solid #999;
}

body div.colleft div.col2 {

}

body div.colleft div.col2 a {
  color: #333;
  text-decoration: none;
  border-bottom: 1px dotted #ccc;  
}

body div.colleft div.col2 span.chapter a {
  display: block;
  padding: 2px 3px;
  margin: 5px 0px 10px -3px;
  
}

body div.colleft div.col2 a:hover {
  background: none;
  border-bottom: 1px dotted #333;
  color: #000;
  font-weight: bold;
}

body div.colleft div.col2 span.chapter a.active {
  color: #000;
  font-weight: bold;
  background: none;
  border-bottom: 1px dotted #333;
  font-size: 14px;
}

body div.colleft div.col2 dl dt {
  margin: 0 0 5px 0;
}

body div.colleft div.col2 dl dd dl dt {
  margin: 0 0 5px -15px;
}
body div.colleft div.col2 dl dd dl dd {
  margin-bottom: 10px;
}
body div.colleft div.col2 dl dd dl dd dl dt {
  margin: 0 0 5px -30px;
}

body div.colleft div.col2 dl dd dl dd dl dt code {
  color: #333;
}

body div.colleft div.col1 table{
  background: #f4f4f4;
  padding: 3px 6px;
  -moz-border-radius-bottomleft: 5px;
  -webkit-border-bottom-left-radius: 5px;
  -moz-border-radius-bottomright: 5px;
  -webkit-border-bottom-right-radius: 5px;

}

body div.colleft div.col1 table a{
  color: #000;
  text-decoration: none;
  border-bottom: 1px dotted #ccc;
  font-size: 15px;
}

body div.colleft div.col1 table a:hover {
  background: none;
  border-bottom: 1px dotted #333;
  font-weight: bold;

}

body div.colleft div.col1 div.chapter div.titlepage h2.title {
  margin: 20px 0px 25px 0px !important;
  font-size: 26px;
  font-weight: normal;
}

body div.colleft div.col1 div.chapter p {
  line-height: 24px;
  font-size: 16px;
}

body div.colleft div.col1 div.chapter div.example {
  padding: 5px;
}

body div.colleft div.col1 div.chapter div.example div.example-contents pre{
  padding: 10px;
}

body div.colleft div.col1 div.chapter div.table,
body div.colleft div.col1 div.chapter div.example div.example-contents pre.screen,
body div.colleft div.col1 div.chapter div.example div.example-contents pre code {
  line-height: 20px;
  font-size: 16px;
}