body {
	color: #000;
	background-color: #acc;
	text-align: justify;
	padding: 0px 30px 0px 25px;
	font-size: 110%;
}

h1 {
	font-size: 160%;
}

h2 {
	font-size: 130%;
}

h3 {
	font-size: 110%;
}

code {
	font-size: 130%;
}

p {
	padding: 0px 0px 0px 0px;
}


.logo {
	border: 0px;
}

table {
	margin-left: 0px;
	margin-right: auto;
	border: none;
	padding: 10px 0px 10px 0px;
}

table.menu {
	padding: none;
	border: 0px;
	border-spacing: 0px;
}

table.logo {
	margin-left: 0px;
}

td {
	border: 2px #9bb solid;
	padding: 5px;
}

td.logo {
	border: none;
}

td.menu {
	border: none;
	vertical-align: top;
}

svg {
	float: left;
}

#title
{
	vertical-align: middle;
	border: 0px;
}

.overview {
	margin: 1% 5% 1% 5%;
	font-size: 90%;
}

div.solution {
	margin: 0% 3% 0% 3%;
	font-size: 95%;
}
div.diffctx {
	font-family: monospace;
	color: #000;
}
div.diffadd {
	font-family: monospace;
	color: #085;
}
div.diffdel {
	font-family: monospace;
	color: #a08;
}

dt {
	text-decoration: underline;
}

.dropdown {
	position: fixed;
	top: 0; /* Position the navbar at the top of the page */
	left: 0;
}

.dropdown-content {
	display: none;
	background-color: #8aa;
	padding: 6px 25px 0px 30px;
}

.dropdown:hover .dropdown-content {
	display: block;
	font-size: 80%;
}