/* Complement Bootstrap styles */


div.top {
	font-family: monospace;
	font-weight: bold;
	font-size: 24px;
	line-height:17px;
	text-align:right;
	color:#ff0000;
	padding-right: 0.5em;
	padding-top: 0.5em;
}

div.license {
	border-top-style: solid;
	border-top-width: thin;
	margin-top: 0.2em;
	padding-top: 1em;
	padding-bottom: 1em;
	font-size: 80%;
	line-height:110%;
}

div.license img {
	margin-left: 1em;
	margin-right: 1em;
}

.sidenav {
	background-color: #e8e8e8;
}
/* On small screens disable affix */
@media (max-width: 767px) {
	.sidenav.affix {
		position: static;
		top: 0;
	}
	.sidenav {
		background-color: white;
	}
}