H1, H2 {
  color: #4d96b7; 
  text-align: center;
}

SPAN.guilabel, EM {
  font-style: normal;
  font-weight: bold;
}

TT, DT {
  font-weight: bold;
}

/* FIXME: vyt - make different background-color for tip important etc */
DIV.note, DIV.example, DIV.tip, DIV.important, DIV.warning, PRE.programlisting, PRE.screen {
  padding: 0.5em; 
  background-color: #e8e5e8;
  border-style: solid;
  border-color: #87bbdb;
  border-width: thin;
  font-size: 80%;
}

DIV.titlepage HR {
  display: none;
}

DIV.author {
  text-align: center;
}

td {
  padding: 5pt;
}

DIV.navheader {
  border-bottom-style: solid;
  border-color: #87bbdb;
  border-width: thin;
}

DIV.navfooter {
  border-top-style: solid;
  border-color: #87bbdb;
  border-width: thin;
}

DIV.toc a:link, DIV.navheader a:link, DIV.navfooter a:link { color: #4d96b7; }
DIV.toc a:visited, DIV.navheader a:visited, DIV.navfooter a:visited { color: #4d96b7; }
DIV.toc a:link, DIV.toc a:visited { text-decoration: none; }
DIV.toc a:hover { text-decoration: underline; }