/*
 * marro
#884631
verd
#488731
blau
#317387
lila

#703187
*/
body {
	color: #eed;
	background: #000;
	text-align: justify;
	font-family: sans-serif;
	margin-left: 10em;
	margin-right: 10em;
}
h1, h2, h3, h4, h5 {
	color: #884631;
	clear: both;
}
h1 {
	/*border: solid;*/
	border-bottom: solid 0.2em;
}
h2 {
	margin-top: 25pt;
	margin-left:-2em;
	border: none;
	padding-right: 120px;
	border-bottom: solid 2pt;
}
h3 {
	margin-left:-2em;
	margin-top: 25pt;
}
.head {
	border: 2pt solid black;
}
.body {
	margin-left: auto;
	margin-right: auto;
	padding-left: 6em;
	padding-right: 6em;
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
	background: #cc8;
	width: 80%;
	border: solid 1pt black;
}
.footer {
	margin-top: 0.5em;
	margin-bottom: 1em;
	border-top: solid 2pt #237;
	border-left: solid 2pt #237;
	padding: 4pt;
	background: transparent url('think.png') no-repeat 0% 100%;
	min-height: 2em;
}
.footer .copyright {
	text-align: right;
	float: right;
	clear: right;
	color: #174;
}
.footer .email {
	color: #369;
	text-align: right;
	clear: right;
	float: right;
}
.footer .banners {
	margin-left: 140px;
	text-align: left;
	vertical-align: bottom;
}

.footer .banners img,
.footer .banners *
{
	margin: 0pt;
	padding: 0pt;
}

.heading td {
	background: #005;
	color: #54e;
}
tr, td, th {
	border: 2mm;
	color: #ba4;
	border-color: #014;
	}
td {
	background: #222;
	color: #999;
	padding-left:3pt;
	padding-right:3pt;
}

b {
	font-weight: bold;
	color: #884631;
}
em {
	color: #884631;
}
tt, pre {
	color: #522;
}
pre
{
	background: #ddd;
	border: 1pt solid gray;
	padding: 4pt 10pt 10pt 10pt;
}

a {
	text-decoration: none;
	font-weight: bold;
}
a:visited {
	color: #488731;
}
a:link {
	color: #317387;
}
a:hover
{
	text-decoration: underline;
	color: #cc4700;
}

img {
	margin: 4pt;
	border: none;
}

.figure {
	border: solid 1pt #eee;
	display: block;
	text-align: center;
}
.rightfigure {
	border: solid 1pt grey;
	float: right;
	background: #dd9;
	margin-left: 3em;
}
ul.menu {
	text-align: center;
	margin-left: auto;
	margin-right: auto;
	padding: 0pt;
}
.menu li {
	display: inline;
	background: #dd9;
	margin-right: 0pt;
	margin-left: 0pt;
	margin-top: 3pt;
	margin-bottom: 3pt;
	list-style: none;
	list-style-position: outside;
}
.menu li a {
	border: 1pt solid black;
	padding-left: 1em;
	padding-right: 1em;
	white-space: nowrap;
}

.menu li a:hover {
	text-decoration: none;
	background: #dea;
}
.abstract {
	padding:2em;
}
.todo {
/*	display: none;*/
	color: red;
	background-color: yellow;
}
.source {
	color: green;
	background-color: yellow;
	font-weight: bold;
}
.sink {
	color: red;
	background-color: yellow;
	font-weight: bold;
}