@import "/css/boxy/standard.css";
@import "/css/boxy/menu.css";
@import "/css/boxy/toc.css";

html, body
{
  font: normal medium "Book Antiqua", Palatino, "Palatino Linotype", serif;
  color: #333333;
  background-color: #336699;
}

body
{
   margin: 8px;
   padding: 0;
}

p
{
  font: normal medium "Book Antiqua", Palatino, "Palatino Linotype", serif;
}

table
{
}

thead
{
  color: #333333;
  background-color:#BBCCDD;
}

td
{
}

th
{
  font-weight: bold;
  border-bottom: 1px;
  font-style: italic;
  text-align: left;
  padding: 3px;
}

dfn, acronym, cite
{
  font-weight: bold;
  font-style: italic;
  font-family: "Book Antiqua", Palatino, "Palatino Linotype", serif;
}

code, var
{
  font-family: Courier, monospace;
}

h1, h2, h3, h4, h5, h6
{
  font-size: large;
  font-weight: bold;
  font-style: italic;
}

a
{
  font-family: "Book Antiqua", Palatino, "Palatino Linotype", serif;
  /*font-family: Verdana, Helvetica, sans-serif;*/
  color: #990000;
  background-color: transparent;
  text-decoration: underline;
}

div.main
{
  font: normal medium "Book Antiqua", Palatino, "Palatino Linotype", serif;
  /*font: normal small Verdana, Helvetica, sans-serif;*/
  margin-left: 0;
  margin-right: 0; 
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 1px;
  padding-bottom: 5px;
  color: #333333;
  background-color: #EEEEEE;
  border-width: 1px;
  border-style: solid;
  border-color: black;
}

.main h1, .main h2, .main h3, .main h4, .main h5, .main h6
{
  font-weight: bold;
}

.main td, .main th
{
  padding-left: 5px;
  padding-right: 5px;
}

div.nav
{
  font: normal medium "Book Antiqua", Palatino, "Palatino Linotype", serif;
  /*font: normal small Verdana, Helvetica, sans-serif;*/
  margin: 0;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 5px;
  padding-bottom: 5px;
  border-width: 1px;
  border-style: solid;
  border-color: black;
  color: #333333;
  background-color: #BBCCDD;
  overflow: hidden;
}

div.section
{
  font: normal medium "Book Antiqua", Palatino, "Palatino Linotype", serif;
  /*font: normal small Verdana, Helvetica, sans-serif;*/
  border-width: 1px;
  border-style: solid;
  border-color: black;
  color: #333333;
  background-color: #EEEEEE;
  margin-left: 0;
  margin-right: 0; 
  margin-top: 10px;
  margin-bottom: 10px;
  padding-bottom: 3px;
}

.sectiondate
{
  float: right;
  text-align: right;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 1px;
  padding-bottom: 1px;
  font-size: medium;
}

.section h1, .section h2, .section h3, .section h4, .section h5, .section h6
{
  font-size: large;
  font-weight: bold;
  padding-top: 1px;
  padding-bottom: 1px;
}

div.sectioncontent
{
  font: normal medium "Book Antiqua", Palatino, "Palatino Linotype", serif;
  /*font: normal small Verdana, Helvetica, sans-serif;*/
  border-width: 0;
  margin-left: 0;
  margin-right: 0;
  padding-left: 10px;
  padding-right: 10px;
}

.sectioncontent h1, .sectioncontent h2, .sectioncontent h3, .sectioncontent h4, .sectioncontent h5, .sectioncontent h6
{
  font-size: large;
  font-weight: bold;
  font-style: italic;
}

ul.thumbs 
{
  list-style-type: none;
  margin-top: 5px;
  margin-bottom: 5px;
  margin-left: 1em;
  margin-right: 1em;
}

.thumbs a
{
  margin: 0;
  padding: 0;
}

div.thumbs
{
  border-width: 0;
  margin-left: 0;
  margin-right: 0;
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 0;
  padding-bottom: 0;
}

div.info
{
  font: normal medium "Book Antiqua", Palatino, "Palatino Linotype", serif;
  /*font: normal small Verdana, Helvetica, sans-serif;*/
  margin-top: 5px;
  margin-bottom: 5px;
  color: #EEEEEE;
  background-color: transparent;
}

.info a
{
  color: #EEEEEE;
  background-color: transparent;
  text-decoration: underline;
}

.info img
{
  border: 0;
}

.validators
{
  width: 40%; 
  float: right; 
  text-align: right;
}

.validators img
{
  border: 0;
}

.copyright
{
}

.warning
{
  border-width: 1px;
  border-style: solid;
  border-color: black;
  color: #333333;
  background-color: #EEEEEE;
  margin-left: 0;
  margin-right: 0; 
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-bottom: 3px;
}

.example
{
  overflow: auto;
  color: #333333;
  font-size: medium;
  background-color: #DDDDDD; 
  margin-left: 5px;
  margin-right: 5px;
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 0;
  padding-bottom: 0;
  border: 1px solid #000000;
}

.menuY
{
  position: relative; 
  visibility: hidden;
}

pre
{
  margin-top: 10px;
  margin-bottom: 10px;
  padding-top: 0;
  padding-bottom: 0;
}

.next
{
  float: right; 
  text-align: right;
}

.previous
{
}

.nothere
{
  display: none;
}

.question
{
  font-style: italic;
}

.printonly
{
  display: none;
}

#footer 
{
	position: absolute;  /* Needed for Safari */
	padding: 0;
	margin: 0;
	width: 100%;
	color: white;
   background-color: transparent;
}

#footerSeparator
{
   visibility: hidden;
}