body {
	background-color: #F9CBFE;
	margin-top: 0px;
	color: #000080;
}

h1, h2, h3, h4 {
    color: #000099;
}

img {
	vertical-align: top;
}

pre {
	color: #000080;
}

a, a:visited, a:active, a:focus, a:link {
	color: #990099;
	text-decoration: none;
}

a:hover {
	color: white;
	font-weight: bold;
}

.navigation
{
    background-color: #ffaeff;
    color: #6262ff;
    font-size: 10pt;
    position: fixed;
    height: 100%;
    font-size: 11pt;
}

.navigation > div {
	padding: 10px;
}

.navigation ul {
	list-style: none;
	margin-left: 0px;
}

.backtotop {
	text-align: right;
	font-size: 8pt;
}

.contents {
	font-size: 120%;	
}

.fancy {
	color: #5656FE;
}

.centered {
	text-align: center;
}

.caption {
    text-align: center;
    
}