
body {
	margin: 20px 20px 20px 80px;
	padding: 2em 1em 2em 70px;
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	line-height: 150%;
	font-size: 16px;
	text-align: justify;
	max-width: 60em;
	background-color: white;
	background-position: left top;
	background-attachment: fixed;
	background-repeat: no-repeat;
	background-image: url("autor.png");
	color: #333333;
}

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 ol {
	padding-left: 10px;
	font-size: 14px;
	list-style: none;
	counter-reset: heading2;
}

/* heading styles */

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

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

/*
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;
	border-bottom: 2px solid #333333;
}

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

h3 {
	margin-top: 20px;
	color: black;
	margin-bottom: 0px;
	border-bottom: 1px solid #333333;
}

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

/* 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;
	float: right;
}

/* 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;
	#margin-left: 70px;
   	border: 1px black solid;
   	padding: 10px;
   	#background-color: #DCDCDC;
	background-color: #F0F0F0;
   	#counter-reset: image;
	max-width: 60em;
	align-content: center;
   	#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;
}

