body {
  padding: 0;
  margin: 0;
  color: #2F2F2F;
}

a {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

#nav {
  position: absolute;
  left: 850px;
  top: 2px;
  padding: 15px 5px;
}

#index #nav #nav-next {
  margin-left: 94px;
}

#nav a {
  visibility: hidden;
}

#nav:hover a {
  visibility: visible;
}

#nav a {
  display: block;
  float: left;
  width: 47px;
  height: 53px;
  border: none;
  text-decoration: none;
}

#nav a#nav-prev { background-image: url(images/nav_prev.gif); }
#nav a#nav-toc  { background-image: url(images/nav_toc.gif);  }
#nav a#nav-next { background-image: url(images/nav_next.gif); }


#title-header {
  text-align: center;
  font-size: 48pt;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  margin: 1.2em 20px 0 20px;
}

#title-subtitle {
  text-align: center;
  font-size: 32pt;
  font-family: Arial, Helvetica, sans-serif;
  font-style: italic;
  margin: 0.2em 20px 0 20px;
}

#title-author {
  text-align: center;
  font-size: 22pt;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  margin: 2.4em 20px 0 20px;
}

#title-logo {
  width: 410px;
  height: 120px;
  margin: 60px auto 30px auto;
  padding: 0;
  background-image: url(images/logo.png);
}

h1 {
  background-image: url(images/header-bg.jpg);
  background-repeat: no-repeat;
  font-size: 42pt;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  padding: 36px 0 36px 10px;
  margin: 0 0 20px 0;
}

#footer {
  display: none;
}

#toc {
  margin: 0 0 0 8px;
  padding: 0;
  font-size: 18pt;
  font-family: Arial, Helvetica, sans-serif;
  list-style: none;
}

#toc li {
  margin: 4px 0 0 0;
  padding: 5px 0 5px 30px;
  background-image: url(images/toc_bullet.gif);
  background-repeat: no-repeat;
}

#toc a {
  padding: 0 6px;
  color: black;
  text-decoration: none;
}

#toc a:hover {
  color: white;
  background-color: #666666;
}

ul {
  margin: 0 0 0 8px;
  padding: 0;
  font-size: 36pt;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  list-style: none;
}

li {
  margin: 20px 0 0 0;
  padding: 6px 0 6px 70px;;
  background-image: url(images/bullet.gif);
  background-repeat: no-repeat;
}

li tt {
  font-size: 75%;
  font-family: monospace;
  font-weight: bold;
}

strike {
  color: #777777;
}

.code {
  margin: 1.0em 14px 20px 14px;
  padding: 0.5em 0.5em 0.5em 0.5em;
  font-family: monospace, Bitstream Vera Sans Mono, Courier New;
  font-size: 20.0pt;
  font-weight: bold;
  line-height: 130%;
  background-color: #F0FFBB;
  border: 1px solid #D4D4D4;
  border-radius: 5px;
}

div.pic {
  float: right;
  padding: 7px 10px 0 0;
  margin-left: 20px;
}

div.pic div.caption {
  font-size: 11px;
  font-family: Arial, Helvetica, sans-serif;
  text-align: right;
}

.screenshot {
  margin: 10px 40px 10px 30px;
}

.synComment    { color: #4C4CE8 ; font-weight: normal ; font-style: italic; }
.synConstant   { color: #FF00FF }
.synIdentifier { color: #008B8B }
.synStatement  { color: #A52A2A ; font-weight: bold }
.synPreProc    { color: #A020F0 }
.synType       { color: #2E8B57 ; font-weight: bold }
.synSpecial    { color: #6A5ACD }
.synUnderlined { color: #000000 ; text-decoration: underline }
.synError      { color: #FFFFFF ; background: #FF0000 none }
.synTodo       { color: #0000FF ; background: #FFFF00 none }

div.included {
  margin: 1.0em 14px 20px 14px;
  padding: 5px;
  border: 1px solid #cccccc;
  border-radius: 5px;
  min-height: 350px;
  font: normal normal 22px serif;
  line-height: 120%;
}

div.included h1 {
  background-image: none;
  font-size: 24pt;
  font-family: serif;
  font-weight: bold;
}

div.included ul {
  font: normal normal 100% serif;
  list-style: disc;
  margin: 1em;
}

div.included li {
  background-image: none;
  padding: 0 0 0 0.8em;
  margin: 0.3em 1em;
}