body {

 	background: white fixed no-repeat left top;

  	color: black;

  	font-family: sans-serif;

  	font-size: 100%;

  	line-height: 1.8em;

  	margin: 0;

  	padding: 2em 8em 2em 8em;

  	text-align: left;

}



a, a:visited, a:hover, a:link {

  color: #5555BB;

}





a:link img, a:visited img {

  border: none;

}



blockquote {

	background-color: #BBBBFF;

	border: 1px dashed #000000;

	padding: 1em;

	margin: 1em;

}



blockquote p {

	padding: 0;

	margin: 0;

}



div.section {

	border-top: 5px ridge #AAAAFF;

}



div.section div.section {

	border-top: none;

}



dt, dd { margin: 0; padding: 0; }

dt { font-weight: bold; line-height: 0.8em;  }

dd { padding-left: 2em;}







code, tt {

  font-family: monospace;

  font-size: 1.2em;

}



dt {

  font-weight: bold;

  margin: 1em 0 0 0;

}



dd {

  margin: 0 0 0 3em;

}



h1, h2, h3, h4, h5, h6 {

  background: white;

  color: #005a9c;

  font-weight: normal;

  text-align: left;

}



h1 {

  /* color: #000000; */

  clear: both;

  font-size: 220%;

  margin-top: 2em

}



h2 {

  /* color: #0066cc; */

  border-top: 2px groove;

  font-size: 170%;

  margin-top: 2.5em;

  padding-top: 0.6em;

}



h3 {

  /* color: #122842; */

  font-size: 140%;

  margin-top: 2.5em;

}



h4 {

  /* color: #234b7b; */

  font-size: 120%;

  margin: 2em 0 0.5em;

}



h5 {

  /*

  color: #333333;

  font-style: italic;

  font-weight: bold;

  */

  font-size: 100%;

}



h6 {

  font-style: italic;

  font-size: 100%;

}



pre {

  overflow: auto;

  /*

  padding: 5px;

  background-color: #f0f0f0;

  font-size: 12px;

  margin-right: 20px;

  margin-left: 20px;

  */

  background-color: #bbcbff;

  color: black;

  font-family: monospace;

  line-height: 1.5em;

  padding: 1.5em 2em;

}



pre strong {

  color: #a00;

  font-weight: bold;

}



table {

  border: 1px solid #999999;

  margin: 10px 20px;

  border-collapse: collapse;

}



td {

  border: 1px solid;

  padding: 1px 4px;

  /*background: #ffffcc none repeat scroll 0% 50%;*/

  background: #f0f0ff none repeat scroll 0% 50%;

  font-size: 85%;

  vertical-align: top;

}



ul.toc {

  list-style-type: none

}



p.small {

  font-size: 85%;

}