/* 

LabDSV CSS

This document defines layout for the labDSV pages.  It was modified
with permission from publication.css by

(CC) 2003 Mark Schenk. Some Rights Reserved.
http://creativecommons.org/licenses/by/1.0
This page is licensed under a Creative Commons License.
*/

body {
	margin: 10px 20px 20px 250px;
	padding: 0px;
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size: 14px;
	text-align: left;
	max-width: 50em;
	background-color: white;
}

a {
        color: #3300FF;
}

a:visited {
	text-decoration: none;
	color: #330077;
}

/* index */

div.index {
	position: fixed;
	top: 0px;
	left: 0px;
	width: 200px;
	height: 100%;
	margin: 0px;
	padding: 5px;
	font-size: 14px;
	background-color: #DCDCDC;
	border-right: thin black solid;
}

div.index ol {
	color: black;
	margin: 0px;
	padding-left: 0px;
}

div.index ol li {
	list-style: none;
}

/*
div.index ol li:before {
	display: marker;
	content: counter(heading1) ". ";
	counter-increment: heading1;
}
*/

div.index ol ol {
	padding-left: 10px;
	font-size: 14px;
	list-style: none;
	counter-reset: heading2;
}

/*
div.index ol ol li:before {
	#display: marker;
	content: counter(heading1)"." counter(heading2)" ";	
	counter-increment: heading2;
}
*/

/* heading styles */

body > h1 {
	margin-top: 0px;
}

h1 {
	margin-top: 40px;
	margin-bottom: 0px;
	color: #4682B4;
}

h1:before {
	display: marker;
	content: counter(chapter) ". ";
	counter-increment: chapter;
	counter-reset: section;
}

h1 + p {
	margin-top: 5px;
}

h2 {
	margin-top: 20px;
	color: black;
	margin-bottom: 0px;
}

/*
h2:before {
	display: marker;
	content: counter(chapter) "." counter(section) "  ";
	counter-increment: section;
}
*/

h2 + p {
	margin-top: 0px;
}

/*
h1[id]:hover:after, h2[id]:hover:after {
	content: " #" attr(id);
	font-size: 0.8em;
	color: maroon;
}
*/

/* generated content for images and tables */

img {
	display: block; 
	margin-left: auto; 
	margin-right: auto;
}




img:after {
	content: "[" counter(image) "] " attr(title);
	counter-increment: image;
	display: block;
	font-size: 10px;
	font-weight: bold;
	margin-top: 5px;
	margin-bottom: 20px;
	color: black;
}

/*
table:after {
	content: "Table " counter(table) ": " attr(summary);
	counter-increment: table;
	display: table-caption;
	caption-side: bottom;
	font-size: 10px;
	font-weight: bold;
	margin-top: 5px;
	margin-bottom: 20px;
	white-space: nowrap;
	color: black;
}
*/

/* code for examples and code */

div.example table {
	color: black;
}

div.example, div.code {
	margin: 10px 0px;
	border: 1px black solid;
	padding: 10px;
	background-color: #F4F4F4;
	counter-reset: image;
	font-family: monospace;
	white-space: pre;	
	#color: blue;
}

div.output {
        margin: 10px 0px;
        border: 1px black solid;
        padding: 10px;
        background-color: #DCDCDC;
        counter-reset: image;
        font-family: monospace;
        white-space: pre;
        #color: blue;
}


div.example:before {
	content: "Example " counter(example);
	counter-increment: example;
	display: block;
}

div.example + p {
	margin-bottom: 0px;
}

div.code:before {
	#content: "Code";
}

p.reference:before {
	display: marker;
	content: "[" counter(reference) "]";
	counter-increment: reference;
	font-weight: bold;
	margin-right: 5px;
}

div.code:before, div.example:before {
	font-weight: bold;
	font-size: 15px;
	margin-bottom: 20px;
	color: black;
}

pre {
	color: Black;
	margin: 0px;
	padding: 0px;
}


/* equation counter */

e:after {
	content: "[" counter(equation) "]";
	counter-increment: equation;
	display: block;
	float: right;
	margin-right: 10px;
}

/* to prevent the CC image from being numbered */

img[alt="Creative Commons License"] {
	display: inline;
}

img[alt="Creative Commons License"]:after {
	display: none;
}

div#cc {
	background-color: #DCDCDC;
	border: thin black solid;
	padding: 10px;
	font-size: 10px;
}