html { 
  width: 100% ;
  margin-left: auto;
  margin-right: auto;
}

body { 
  color: black; 
  background: #F0F0FF;
  padding: 0em; 
  margin-left: auto;
  margin-right: auto;
  max-width: 55em;
  width: 95%;
  font-family: Verdana, Geneva, Helvetica, sans-serif ;
/*  border: solid thin blue;*/
} 

code { 
  font-family: monospace;
  font-size: 110%;
}

div {
/* Some defaults to be sure: seems to help IE6 cope a little better!! */
  margin: 0em;
  padding: 1px;
  border: none;
}

blockquote { 
  font-style: italic; 
  background-color:  #D0D0FF;
  border: solid thin;
  padding-left: 1em;
  padding-right: 1em;
}

p.skipnav { 
  font-size: x-small;
  text-align: right;
}

div.banner {
  margin: 0em;
  padding: 0.5em;
  color: black; 
  background: silver;
  background-image: url(img/banner-bg.png); 
/*  border-bottom: solid thin green; */
}

div.bannertext { 
  width: 58%;
  float: left;
  text-align: right;
  font-variant: small-caps;
  font-family: sans-serif;
  font-weight: bold;
}

/*div.bannertext*/
 :link {
  color: #009000;
}

/*div.bannertext*/
 :visited {
  color: #006000;
}

div.logobox {
  width: 38%;
  float: right;
  text-align: left;
 }

div.logobox img,
img.sponsor { 
  border: 0em; 
  margin: 0em;
  padding : 0.1em;
/*  vertical-align: middle;*/
}

div.clear {
  clear: both;
}

div.maketitle, div.toptitle, h2.chapterHead, h2.likechapterHead, h2.appendixHead {
  margin-top: 2em;
  clear: both;
  text-align: center;
}

div.author { 
  font-size: 125%;
  font-weight: bold;
  font-style: oblique;
}

div.date { 
  font-size: 110%;
  font-weight: bold;
}

ul.topnav { 
  margin-left: auto;
  margin-right: auto;
  width: 70%;
  max-width: 35em;
  text-align: left;
  font-weight: bold;
}

ul.topnav a, ul.tableofcontents a { 
  text-decoration: none;
}

ul { 
  margin-top:0.3em;
}

li { 
  margin-top:0.3em;
}

div.footnotes { 
  border-top: solid thin;
  border-bottom: solid thin;
}

div.center { 
  width: 100%;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

div.links, div.toplinks { 
  background: silver;
  background-image: url(img/banner-bg.png); 
}

div.crosslinks { 
  float : left;
}

div.pdflink { 
  float : right;
}

div.sponsorbox { 
  width: 90%; /* This is mainly a sop to IE! */
  max-width: 30em;
  margin-left: auto;
  margin-right: auto;
  margin-top: 1em;
  margin-bottom: 1em;
  border: solid thin green;
  text-align: center;
  font-variant: small-caps;
  font-weight: bold;
  background-image: none;
  background-color: white;
}

div.sponsorbox a { 
  text-decoration: none;
}

img.icon { 
  border: none;
}

/* Suppress tex4ht promiscuous use of <hr> in tables. */
hr.float, hr.endfloat, hr.figure, hr.endfigure, td hr { 
  display : none; 
}

/* Should probably just unify the classes table.float,
table.tabular and table.longtable? */

table.float, 
table.tabular, 
table.longtable { 
  border-collapse : collapse ;
  margin-left : auto ;
  margin-right : auto ;
}

table.tabular td, 
table.float td, 
table.longtable td, 
table.tabular th, 
table.float th, 
table.longtable th { 
  border : solid thin ;
  padding : 0.2em;
  vertical-align : top ;
 }

table.tabular tr, 
table.float tr, 
table.longtable tr { 
  border : none ;
  padding : 0em;
  margin : 0em;
}

table.tabular td p, 
table.float td p, 
table.longtable td p, 
table.tabular th p, 
table.float th p, 
table.longtable th p,
table.tabular td ul, 
table.float td ul, 
table.longtable td ul
{
  margin-top: 0em;
  text-align: left;
}

div.tabular, 
div.float, 
div.longtable {
  max-width: 95%; /* Prefer to set this on table ... but doesn't work in FF? */
  text-align: left; 
  margin-top:0.5em; 
  margin-bottom:0.5em; 
  margin-left: auto;
  margin-right: auto;
}

table.figure {
  width:100%;
}

caption { 
  font-weight: bold;
  padding: 0.5em;
  margin-left : auto ;
  margin-right : auto ;
}

div.float img, div.float {
  text-align : center;
}

tr.figure {
  text-align : center;
}

td.figure {
  text-align:center;
}

table.minipage {
  width:100%;
}

div.flushright {
  text-align: right;
}

div.flushleft {
  text-align: left;
}


ul.description, ul.thebibliography { 
  text-indent: -1em;
  list-style-type: none;
}


input, textarea { 
  background-color: #D0D0FF;
  border: solid thin;
}

span.likeparagraphHead { 
  font-weight: bold;
}