/* CSS Document */

body {margin: 0; padding: 0; color: black;
 overflow-x: hidden; }
  
h1, h2, h3, h4, h5, p, pre, table, div {margin-right: 22%;
  margin-left: 30px;}
  
div.listing pre {border: 1px solid #006; border-width: 1px 0;
  padding: 0.5em 1em; margin: 0.125em 0 1.5em;}
  
div.listing h5 {margin-left: 0.5em;}

table {border: 1px solid #006; border-width: 2px 0;
  font-size: 90%; margin-bottom: .5em; }

th {color: #006; border-bottom: 1px solid #006; text-align: left;}

th, td {padding: 0.125em 0.66em;}

ul, ol {margin-right: 22%; margin-left: 55px; padding: 0; }

ol ol{margin-right:0; margin-left:28px; padding:0; font:96% Arial, Helvetica, sans-serif}

ol ul{margin-left:15px;}

ol, li, table, div, p {font: 96% arial, Times, serif, Verdana, Helvetica, sans-serif;}


li{
	padding-bottom:.5em;
	text-align: left;
}


  
h1, h2, h3, h4 {font-variant: small-caps;}

h3, h4, h5 {margin-top: 1.25em; margin-bottom: 0;}

h1 {
	font-size: 300%;
	border-bottom: 2px solid white;
	margin: 0.5em 0 0.5em 0;
	padding: 0 0 0.125em 50px;
	color:#4A4A00;
}
  
h2 {
	font-size: 200%;
	margin: 0 22% 0.66em 50px;
	color:#4A4A00;
}

h3 {font-size: 150%;}

h4 {font-size: 110%;}

h5 {font-size: 100%;}

h5 span {color: #006; margin-right: 0.5em;}

p {
	margin-top: 0.5em;
	margin-bottom: 1em;
	line-height: 1.2em;
}

code, pre {font-family: "Courier New", Courier, monospace;}

code {color: #006;}

pre {margin-left: 10%; font-size: 80%;}

pre b {color: maroon; font-weight: normal;}

div.toggle {margin:10px 15px 10px 30px; padding:10px 5px 10px 5px; width: 560px; background: #FFFFCC; display:none;
}
div.toggleli {width: 560px; background: #FFFFCC; padding:10px 0 5px 10px; margin-left:55px; display:none;
}

.toggle p{margin-right:10px;}
.toggleli p{margin-right:20px; }

.toggle table{padding-top:10px;}

.toggleli table{margin-top:10px;}

div#masthead {
	margin: 0 20% 2.5em 0;
	padding: 2em 0 1.5em 0;
	border: 1px solid #006;
	border-width: 0 1px 1px 0;
	background-color:#EDF7C8;}
  
  .indent {
	 margin-left:55px;}

div#masthead blockquote {font-size: 90%; font-style: italic;
  margin: 2em 22% 0.5em 10%;}
  
div#attrib {font-size: 90%; font-style: italic;
  text-align: right; font-variant: small-caps;}
  
div#previews {
	float: right; 
	 width: 33%; 
	margin: 0; 	
	text-align: center;}

div#previews img {
	width: 150px;
	margin-top: 1em;}


  
div.note {float: right; clear: right; border-width: 1; 
	border: thin solid #009;
  width: 15%; margin: 0 1% 0 0; padding: 0;
  text-align: right; font: 80% Arial, Verdana, Helvetica, sans-serif;
  background: #ffffff url(../img/blue.gif) 50% 15px repeat-x;
  voice-family: "\"}\""; voice-family:inherit;
  width: 14%;}
  
div.note h5, div.note p {text-align: left;
  margin-left: 1em; margin-right: 0;}
  
div.note img {height: 30px; width: 30px; margin: 0;}

div.note h5 {margin: -5px 30px 0 1em; padding: 0;
  font-variant: normal;}
  
div.web p {margin: -10px 30px 0 1em;}

div.note code, div.caption code {font-size: 100%;}

div.web {color: #399;}

div.tip {color: #006;}

div.warn, div.warn code {color: maroon;}

hr {clear: both; visibility: hidden;}

div.figure {float: left; width: 67%; margin: 0; padding: 0;
  text-align: right;}
  
div.caption {float: right; width: 15%; margin: 0 1% 0 0;
	background: #ffffff;
  padding: 0 0 0 10px;
  border-top: 1px solid #006;
  voice-family: "\"}\""; voice-family:inherit;
  width: 14%; padding-left: 10px;}
  
div.caption h5 {margin: 0 0.5em 0 0; padding: 0.33em 7px 0 0.5em;
  color: black; letter-spacing: 1px;
  background: #9BD url(captioncurve.gif) bottom right no-repeat;}
  
div.caption p {font: italic 80% Arial, Verdana, Helvetica, sans-serif;
  color: #555; margin: 0; padding: 0.25em 0.5em;}

div.back {
  clear: both;
  margin: 2em -0.75em 3em 1em;
  padding: .5em;
}


div.back {background: #333}

div.back, div.section {
  margin-left: 5%;
  margin-right: 5%;
  border-radius: 1em 1em;
  -moz-border-radius: 1em;
}
div.section {
  background: #0099ff;
  margin: -1em 0% 0 -1em;
  padding: 1em 1em;
  border: thin solid #999;
}

p.image{ margin-left:75px;}

div.definition {
  background: #ffffff;
  width: 64%;
  margin-bottom:1em;
  padding: 1em 1em;
  border: thin solid #000;
  margin-left: 50px;
}
div.definition p{ width:89%}

div.indent
{width:50%;
margin-left:14%}

div.inline { float:left; padding:0; margin:0; } 

div.imageright{float:right;}

div.imageright p{ margin-left:10px; margin-right:10px;}

div.imagerightli{float:right; margin-right:5px;}

div.imagerightli p{ margin-left:10px; margin-right:10px;}

.center {text-align:center; }