body {
  margin: 0;
  padding: 1em 0 0 0;
  background: #f3f3f3 url(bg-navigation.png) repeat-x 50% 0;
  font: 13px/150% 'Trebuchet MS', 'Lucida Grande', Verdana, Sans-Serif;
  color: #494949;
}

#wrapper {
  background: #f3f3f3 url(body.png) repeat-x 50% 0;
  padding-bottom: 1em;
}

#content-wrapper {
  position: relative;
  margin: 0 auto;
  max-width: 800px;
  padding-top: 60px;
}

#header-logo {
  position: absolute;
  left: 10px;
  top: 10px;
  z-index: 100;
}

#header-title {
  position: absolute;
  left: 125px;
  top: 15px;
  font-size: 150%;
  font-weight: bold;
  color: #fff;
}

#header-abstract {
  position: absolute;
  left: 125px;
  top: 40px;
  color: #fff;
}

#content {
  position: relative;
  background: #fff url(bg-content.png) repeat-x;
}

#content-right {
  background: transparent url(bg-content-right.png) no-repeat 100% 0;
  position: relative;
  left: 10px;
}

#content-left {
  padding: 4em 25px 4em 35px;
  background: transparent url(bg-content-left.png) no-repeat 0 0;
  margin-left: -10px;
  position: relative;
  left: -10px;
  min-height: 300px;
}

#header-links {
  position: absolute;
  left: 135px;
  top: 15px;
}

h1, h2, h3, h4, h5, h6 {
  margin: 0;
  padding: 0;
  font-weight: normal;
  font-family: 'Trebuchet MS', 'Lucida Grande', Verdana, Sans-Serif;
}

h1 {
  font-size: 170%;
  line-height: 130%;
  margin-bottom: 0.5em;
}

h2 {
  font-size: 150%;
  line-height: 130%;
  margin-top: 0.5em;
}

h3 {
  font-size: 130%;
  margin-top: 0.5em;
}

h4 {
  font-size: 120%;
  margin-top: 0.5em;
}

p {
  margin: 0.6em 0 1.2em;
  padding: 0;
  text-align: justify;
}

hr {
  margin: 0;
  padding: 0;
  border: none;
  height: 1px;
  background: #5294c1;
}

ul {
  margin: 0.5em 0 1em 3em;
  padding: 0;
}

ul li {
  margin: 0.4em 0 0.4em 0.5em;
}

ul li p {
  margin: 0;
}

dl {
  margin: 0.5em 0 1em 1.5em;
}

dl dt {
}

dl dd {
  margin: 0 0 0.5em 1.5em;
}

dl dd p {
  margin: 0;
}

dl dd dl {
  margin-top: 0;
}

a:link, a:visited {
  color: #027ac6;
  text-decoration: none;
}

a:hover {
  color: #0062a0;
  text-decoration: underline;
}

a:active {
  color: #5895be;
}

#copyright {
  margin: 2em 0 -3em;
  color: #898989;
}

#copyright p {
  text-align: center;
}

.navlinks {
  margin: 1em 0;
  height: 1em;
}

.navleft {
  position: absolute;
  left: 35px;
}

.navright {
  position: absolute;
  right: 25px;
}

.screenshot {
  margin: 1em 0.5em;
}

.toc .chapter, .toc .appendix {
  font-weight: bold;
}

.toc dl dt {
  margin-top: 1em;
  margin-bottom: 1em;
}

.toc dl dl dt {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

.toc dl dl dl {
  margin-top: 0;
  margin-bottom: 0;
}

.toc dl dl dl dt {
  margin-top: 0;
  margin-bottom: 0;
}

.guilabel, .literal, .shortcut, .firstterm {
  color: #607080;
  font-weight: bold;
}

.guimenu, .guimenuitem, .guibutton {
  color: #485868;
  font-weight: bold;
}

.command {
  font-family: monospace;
}