body {
    padding: 0;    
    margin: 0;
}

body, div, p, th, td, ul, li, h1, h2, h3, h4, h5, h6, dt, dd, dl {
	font-family: Helvetica, Arial, sans-serif;
	font-size: 100%;
}

div.container {
    width: 893px;
    padding: 0;
    margin: 0;
    margin-right: auto;
    margin-left: auto;
    border-right: 1px solid #fff;
    border-left: 1px solid #fff;
}

h1, h2, h3, h4, h5, h6 {
    padding: 0;
    margin: 0;
    font-family: verdana;
	color: #693E9B; 
    /* font-weight: bold; */
}

h1 {
	font-size: 1.6em;
}

h1 span {
    font-size: 0.4em;
}

h1 span.authors {
    font-size: 0.5em;
}

h2 {
	font-size: 1.4em;
}

h3 {
    font-size: 1.2em;
}

p, ul {
	margin-top: 0;
	margin-bottom: 1em;
}

:visited,
:link {
	text-decoration: none;
}

:visited:hover,
:link:hover {
	text-decoration: underline;
}

div.header {
	margin: 0;
	padding-top: 1px;
    width: 893px;
	height: 100px;
    background: url(/vlab/assets/images/vlab.png) top left no-repeat;
    
}

#main {
    padding: 0;
    margin: 0;
    background: url(/vlab/assets/images/main_background.png) top left repeat-y;
    /* border-right: 1px solid #006; */
}


#content {
    margin-left: 160px;
    padding: 5px;
    /* background-color: #6699ff;
    background-color: #fff; */
	color: #000;
	/* border-left: 1px solid #fff; */
}

#content a {
	font-weight: bold;
}

div.header #navlist ul {
    margin: 0;
    padding: 80px 1px 0px 1px;
    color: #fff;
    
}

div.header #navlist li {
    display: inline;
    list-style-type: none;
}

div.header #navlist a { 
    font-family: verdana;
    font-size: 1em;
    padding: 80px 4px 0px 4px; 
}

div.header #navlist a:link, div.header #navlist a:visited {
    color: #fff;
    text-decoration: none;
    background-color: transparent;
}

div.header #navlist a:hover {
    color: #000;
    text-decoration: none;
    background: transparent url(/vlab/assets/images/menu_background.png) top left repeat-x;
    /* opacity: 0.75; -moz-opacity: 0.75; */
   /* filter: progid:DXImageTransform.Microsoft.AlphaImageLoader(src='menu_background.png', sizingMethod='scale');
*/
}

div.side-navigation {
	float: left;
    width: 170px;
	background: url(/vlab/assets/images/main_background.png) top left repeat-y;
    margin: 0; 
    padding: 0; 
}

div.side-navigation h5 {
	padding: 5px 5px 0 35px;
	font-weight: normal;
    font-size: 0.9em;
    color: #000;
}

div.side-navigation ul {
	margin: 0;
    padding: 5px 15px 0 35px;
	color: #000;
}

div.side-navigation li {
	list-style-type: none;
    margin: 0;
    padding: 0;
    font-size: 0.8em;
	background-color:  #c2c2ff;
	border: 1px solid #c2c2ff; 
}

div.side-navigation ul ul {
	margin: 0;
	padding: 0;
	padding-left: 5px;
}

div.side-navigation li li {
	font-size: 0.9em;
}

div.side-navigation li a {
	display: block; 
	margin: 0;
	padding: 3px 2px;
	border-bottom: 1px dashed #E6E6FF;
}

div.side-navigation a:hover {
	background-color: #E6E6FF;
	text-decoration: none;
}

div.side-navigation img {
	border: 0;
	padding: 0;
	margin: 0;
	float: left;
}

ol.decimals {
   list-style-type: decimal;
}

ol.lower_alpha {
    list-style-type: lower-alpha;
}

li  {
   font-size: 0.8em;
    margin-top: 3px;
}

li li {
    font-size: 1.0em;
}

p {
	margin-top: 5px;
	font-size: 0.8em;
	line-height: 1.5em;
}

p.quote {
	margin-left: 5em;
	margin-right: 5em;
}

dt, dd {
	font-size: 0.8em;
}

div.notes {
    padding: 5px;
    padding-bottom: 10px;
    margin-bottom: 40px;
    background: url(/vlab/assets/images/notes_background.png) bottom center no-repeat transparent;
    
}

div.notes1 {
    padding: 5px;
    padding-bottom: 10px;
    margin-bottom: 5px;
    background: url(/vlab/assets/images/notes_background.png) bottom center no-repeat transparent;
}

div.notes2 {
    padding: 5px;
    padding-bottom: 10px;
    margin-bottom: 5px;
}

div.urls {
    padding: 5px;
    margin-bottom: 5px;
    background: url(/vlab/assets/images/notes_background.png) bottom center no-repeat transparent;
}

.underline {
    border-bottom: 1px dashed #aaa;
    /* border-top: 1px solid #aaa; */
}

#footer {
    clear: both;
    padding-bottom: 10px;
	margin-top: 1px;
	background-color: #330099;
	color: #fff;
	padding: 3px 1px 3px 1px;
	font-size: 0.75em;
}

#footer a {
   color: #aaa;
}

#bread {
   color: #000;
	margin-top: 20px;
    margin-bottom: 20px;
    padding: 0;
	text-align: center;
	font-size: 0.75em;
}

#bread span.current {
    font-weight: bolder;
}

#applet {
	color: #000;
    margin-bottom: 10px;
}

div.links {
     width: 90%;
     border: 1px solid #999;
     margin: 0 15px 15px 0;
     padding: 5px;
     background: url(/vlab/assets/images/notes_background.png) bottom center no-repeat transparent;
}

div.links li, div.links ul {
    margin: 0;
    padding 0;
    font-size: 0.94em;
}
/*               
table {
    font-size: 1em;
    margin-top: 10px;
    margin-bottom: 10px;
}

td, th {
    padding-left: 2px;
    padding-right: 2px;
	border-bottom: 1px dotted;
	border-right: 1px dotted;
	border: 1px dotted;
}

th {
    text-align: left;
}
*/
table { 
	font-family: Verdana;
	font-size: 0.8em;
	color: #404040;
	width:90%;
	background-color: #fafafa;
	border: 1px #6699CC solid;
	border-collapse: collapse;
	border-spacing: 0px;
	margin: 10px 0;
}

table li, table dt, table dd, table p {
	font-size: 1em;
}

th { 
	border-bottom: 2px solid #6699CC;
	background-color: #BEC8D1;
	text-align: center;
	color: #404040;
}

td { 
	border-bottom: 1px dotted #6699CC;
	font-family: Verdana, sans-serif, Arial;
	color: #404040;
	background-color: white;
	text-align: left;
	padding-left: 3px;
}
 
.right-border {
 	border-right: 1px dotted #CEDCEA;
 }

div.image {
    text-align: center;
    font-size: 0.75em;
    font-family: serif;
    margin-top: 10px;
}

img {
	vertical-align: middle;
	padding: 4px;
	border: 1px solid #ccc;
}

img.no-border {
	padding: 4px;
	border: none;
}

img.border {
	padding: 4px;
	border: 1px solid #ccc;
}

div#table_content {
    width: 240px;
    margin-left: 5px;
    border: 1px solid;
    background: #ccf;
    font-size: 0.9em;
}

div#table_content h5 {
    text-align: center;
    margin-bottom: 5px;
}

div#table_content ol {
    margin: 2px 25px;
    padding: 0;
}

div#table_content li a, div#table_content li {
    padding: 0;
    margin: 0;
}

div.back_to_top {
    text-align: right;
    font-size: 0.8em;
    margin: 10px 0 10px 0;
}

.floatright {
    float: right;
    margin: 0 0 10px 10px;
    /* border: 1px solid #666; */
    padding: 2px;
}

li pre {
    font-size: 1.1em;
}

pre {
    font-size: 0.9em;
}

code {
	font-size: 1.2em;
}

div.box {
	width: 500px;
	padding: 1em;
    margin: 0;
    margin-right: auto;
    margin-left: auto;
	border: 1px dashed #aaa;
}
