/* Primary background + font for the whole document */
body { 
   margin: 0px;
   padding: 0px;
   background-color: #F3F3F3; 
   color: #000000; 
   font-family: verdana, arial, helvetica, sans-serif; 
   font-weight: normal; 
   font-size: 100%;
   border-color: #b0b0b0; 
   text-align: left; 
}

/* Apparently this will fix a bug in Mozilla */
html { 
   in-width: 742px;
}

h1	{
   margin: 0px;
   padding: 0px;
	font-size: 220%;
	margin-top: 0em;
	margin-bottom: 0.1em; 
	color: #0066cc;
   border-color: #b0b0b0; 
   text-align: left; 
}
h2	{
   margin: 0px;
   padding: 0px;
	font-size: 180%;
	margin-top: 0.5em;
	margin-bottom: 0.1em; 
	color: #0066cc;
   border-color: #b0b0b0; 
   text-align: left; 
}
h3	{
   margin: 0px;
   padding: 0px;
	font-size: 140%;
	margin-top: 0.5em;
	margin-bottom: 0.1em; 
	color: #0066cc;
   border-color: #b0b0b0; 
   text-align: left; 
}
h4	{
   margin: 0px;
   padding: 0px;
	font-size: 120%;
	margin-top: 0.5em;
	margin-bottom: 0.1em; 
	color: #0066cc;
}
p	{
   margin: 0px;
   padding: 0px;
	margin-top: 0px;
	margin-bottom: 5pt; 
   border-color: #b0b0b0; 
   text-align: left; 
}
pre	{
	margin-bottom: 5pt; 
}
li	{
	margin-bottom: 0.5em;
}
table {
   border-color: #b0b0b0; 
   text-align: left; 
	margin-bottom: 5pt; 
}
tr {
   border-color: #b0b0b0; 
   text-align: left; 
}
td {
   border-color: #b0b0b0; 
   text-align: left; 
   vertical-align: top;
}
th {
   font-weight: bold;
   border-color: #b0b0b0; 
   text-align: left; 
}
a {
   margin: 0px;
   padding: 0px;
   border-color: #b0b0b0; 
   text-align: left; 
}
img {
   margin: 0px;
   padding: 0px;
   border-color: #b0b0b0; 
   text-align: left; 
}
form {
   margin: 0px;
   padding: 0px;
}
input {
   margin: 0px;
   padding: 0px;
}
select {
   margin: 0px;
   padding: 0px;
}
button {
   margin: 0px;
   padding: 0px;
}

/* Items specific to the side menu on the left */
#Menu { 
   position: absolute; 
   top: 0.1em; 
   left: 0.1em; 
   width: 12em; 
   padding: 0.5em; 
   background-color: #cccccc;
}

/* Items specific to the main 'content area' - to the right of the side menu */
#Content { 
   margin: 0em 0em 0em 13.5em; 
   padding: 0.25em; 
   border-width: 0px; 
   border-style: solid;
}

.img-framed {
   margin: 10px 0 0 10px !important;
   margin: 10px 0 0 5px;
}

.img-framed img {
   background-color: #fff;
   border: 1px solid #a9a9a9;
   margin: -6px 6px 6px -6px;
   padding: 4px;
}

.img-framedright {
   float: right;
   margin: 10px 0 0 10px !important;
   margin: 10px 0 0 5px;
}

.img-framedright img {
   display: block;
   position: relative;
   background-color: #fff;
   border: 1px solid #a9a9a9;
   margin: -6px 6px 6px -6px;
   padding: 4px;
}

.samplecaptionthumbnail {
   font-style: italic;
   text-align: center;
}

.samplethumbnail {
   text-align: center;
}

.samplecaptionfull {
   font-style: italic;
}


a.codebutton {
	padding: 0em 0.3em 0em 0.3em;
	border-width: 1px;
	border-style: solid;
	border-color: #888 black black #888;
	color: black;
	background-color: #eeeeff;
	text-decoration: none;
	font-weight: bold;
}
a.codebutton:hover {
	text-decoration: none;
}
div.hide {
	position: absolute;
	visibility: hidden;
}
pre.code {
	padding: 0.3em;
	color:   black;
	background-color: #eeeeff;
	margin:  0.5em 0em 0.5em 0.7em;
	font-size: 90%;
   border: 1px dashed blue;
}

pre.code b {
	color:   blue;
	font-weight: inherit;
}


.rightembeddedtable {
	margin-left: 2em;
}