html, body {
	font-family: 'Ubuntu', sans-serif;
	margin: 0; padding: 0;
	overflow-x: hidden;
}
#header {
	text-align: center;
	background: #660000;
	color: #fff;
	margin: 0; padding: 20px 0 0 0;
	box-shadow: inset 0 0 30px #000000;
	margin-left: -20px;
	margin-top: -20px;
	margin-right: -20px;
}
#title {
	font-size: 3em;
	font-weight: bold;
}
#authors {

}
.trans1 {
	opacity: 0.6;
}

a {
	color: #990000;
}
a:hover {
	color: #ff0000;
}

#links {
	margin: 15px 0 0 0; padding: 0;
}
#links li {
	font-size: 1.5em;
	font-weight: bold;
	display: inline;
	border-top-left-radius: 10px;
	border-top-right-radius: 10px;
	margin: 0 5px 0 5px;
	padding: 5px 10px 5px 10px;
}
#links li a {
	color: #fff;
	text-decoration: none;
	text-shadow: 0px 0px 5px #000000, 0px 0px 5px #000000;
}
#links li a:hover {
	color: #ff0000;
}
#links li.down {
	background: #fff;
}
#links li.down a {
	color: #000;
	text-shadow: none;
}
#content {
	width: 700px;
	margin: auto;
	margin-top: 10px;
}

h1, h2, h3, h4, h5, h6 {
	color: #990000;
	margin-bottom: 3px;
	border-bottom: 1px solid #990000;
}

.shiftup10 {
	margin-bottom: -10px;
}
.shiftup20 {
	margin-bottom: -20px;
}
.center {
	text-align: center;
}
.pdflink {
	font-size: 35px;
}
.pdflink img {
	vertical-align: bottom;
	margin-right: 5px;
	height: 44px;
}

.bold {
	font-weight: bold;
}
.tabular p {
	margin: 0;
}

.ectt-1000 {
	font-family: monospace;
}
.ecss-1000 {
	font-family: monospace;
}
.ecsx-1000 {
	font-family: monospace;
	font-weight: bold;
}
.pplri8t- {
	font-style: italic;
}
.pplb8t- {
	font-weight: bold;
}
.maketitle {
	text-align: center;
}
.quote {
	padding-left: 1em;
	border-left: 3px solid #900;
}

hr.float {
	border: 1px solid #900;
}

#navcont {
	position: fixed;
	left: 0px;
	top: 50px;
	border-top-right-radius: 10px;
	border-bottom-right-radius: 10px;
	box-shadow: 0 0 30px #000000;
	background: #fff;
	width: 195px;
	padding: 10px 10px 10px 7px;
}
#navheader {
	font-weight: bold;
	font-size: 1.2em;
	border-bottom: 2px solid #600;
	margin-bottom: 5px;
}
#nav a {
	display: block;
	cursor: pointer;
}