table
  {
    border-collapse:collapse;
    width:100%;
  }

td
  { 
    padding:10px
  }
div.figure, div.figure p.title 
  {
    text-align:center
  }
div.table p.title 
  {
    text-align:center
  }
div.table-contents table 
  {
    border-collapse:collapse;
    width:100%; 
    border-color:black
  }
div.book div.titlepage
  {
    border-bottom-width:0px;
  }
hr
  {
    color:#bfbfbf
  }
div.titlepage div div h2.title
  {
    padding-bottom:10px;
    border-bottom-style:solid;
    border-bottom-width:2px;
    border-bottom-color:#bfbfbf
  }
div.section div.titlepage div div h3.title
  {
    padding-bottom:10px;
    border-bottom-style:solid;
    border-bottom-width:2px;
    border-bottom-color:#bfbfbf
  }
div.simplesect div.titlepage div div h3.title
  {
    border:0
  }


div.navfooter
  {
    padding-top:20px;
  }
div.navfooter table
  {
    border-top-style:solid;
    border-top-width:2px;
    border-top-color:#bfbfbf
  }
code.varname
  {
    font-weight:bold
  }
code.constant
  {
    font-weight:bold
  }
code.literal
  {
    font-weight:bold
  }
div.shaded-contents table 
  {
    border:black solid 1px;
    background-color:#dfdfff
  }
div.plain-contents table 
  {
    border:black solid 1px;
    background-color:#ffffff
  }