body
{
  margin: 0;
  padding: 0;
  color: black;
  background-color: white;
  font-family: sans-serif;
  font-size: 10pt;
}

h1, h2, h3, h3
{
  color: #358;
}

a
{
  color: #008;
  text-decoration: none;
}

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

#header
{
  height: 110px;
  margin-bottom: 10px;
}

#header-bar
{
  height: 74px;
  background-color: #eee;
  border-bottom: solid 1px #ccc;
}

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

#header-title
{
  position: absolute;
  left: 120px;
  top: 15px;
  font-size: 16pt;
  font-weight: bold;
  color: #345;
}

#header-abstract
{
  position: absolute;
  left: 120px;
  top: 45px;
  color: #345;
}

#header-links
{
  position: absolute;
  left: 120px;
  top: 82px;
}

#copyright
{
  text-align: center;
  margin-top: 10px;
}

.navlinks
{
  height: 1em;
}

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

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

.book, .chapter, .appendix, .sect1
{
  padding: 0px 10px;
}

.chapter .sect1, .appendix .sect1
{
  padding: 0px 0px;
}

p.author, p.copyright
{
  margin: 0.3em 0em;
}

.screenshot
{
  margin: 1em 1em;
}

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

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

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

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

dl dl dt
{
  margin-top: 1em;
}

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

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

.command
{
  font-family: monospace;
}