body {
	border: 1px solid #2d6fa9;
	border-bottom: 0;
	border-top: 0;
	font: 12px sans-serif;
	font-family: Verdana, DejaVu Sans, sans-serif;
	margin: 0 auto;
	max-width: 700px;
	min-height: 100vh;
	width: 100%;
}

article, aside, header, main, nav, section {
	display: block;
}

header, main {
	background: #2d6fa9;
}

header>h1 {
	color: white;
	font-size: 24px;
	font-weight: lighter;
	height: 30px;
	letter-spacing: 2px;
	margin: 0;
	padding: 10px 0;
	text-align: center;
}

main {
	display: flex;
	min-height: calc(100vh - 50px);
}

nav {
	padding-top: 8px;
	height: 100%;
}

.left-menu, .left-menu ul {
	list-style: none;
	margin: 0;
	padding: 0;
	width: 120px;
}

.left-menu>li {
	font-size: 10px;
}

.left-menu>li>div {
	background: #2d6fa9;
	border: 2px outset #6293bf;
	font-weight: bold;
	padding: 2px 4px;
}

.left-menu>li.active>div {
	border: 2px inset #6293bf;
}

.left-menu>li>div>a {
	color: white;
	text-decoration: none;
}

.left-menu>li>div>a:hover {
	text-decoration: underline;
}

.left-menu>li>div>a:visited {
	color: white;
}

.left-menu>li>ul>li {
	background: #74a2cb;
	font-weight: normal;
	padding: 2px 4px 2px 8px;
}

.left-menu>li>ul>li.active {
	background: #adc8e0;
	font-weight: bold;
}

.left-menu>li>ul>li>a {
	color: black;
	text-decoration: none;
}

.left-menu>li>ul>li>a:hover {
	text-decoration: underline;
}

.left-menu>li>ul>li>a:visited {
	color: black;
}

section {
	background: white;
	max-width: 600px;
	padding: 8px;
	padding-bottom: 48px;
	width: 100%;
}

article>h2 {
	font-size: 14px;
	margin: 12px 0 0;
}

aside {
	float: right;
	margin-left: 8px;
}

table {
	border: 1px solid black;
	border-collapse: collapse;
}

table>thead {
	background: #2d6fa9;
	color: white;
	text-align: center;
}

table>tbody {
	text-align: left;
}

table th, table td {
	padding: 4px 8px;
	vertical-align: top;
}

figure {
	border: 1px solid #777;
	font-size: smaller;
	margin: 16px;
	max-width: calc(100% - 8px);
	padding: 3px;
	width: 250px;
}

figure img {
	height: auto;
	max-width: 100%;
	width: 250px;
}

p {
	margin: 0 0 8px;
}

a {
	color: #2d6fa9;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

a:visited {
	color: #2d6fa9;
}

.italic {
	font-style: italic;
}

ul {
	margin: 0;
	padding: 0 0 0 12px;
}

code {
	background: #eeeeee;
	padding: 0 2px;
}

pre {
	background: #f7f7f7;
	max-width: 100%;
	overflow-x: scroll;
	width: 500px;
}

kbd {
	background: #eeeeee;
	border: 1px outset #aaa;
	border-radius: 4px;
	font-size: 12px;
	padding: 0 6px;
}

iframe {
	border: 2px inset black;
	max-height: 80vh;
	max-width: 100%;
}

@media (max-width: 702px) {
	body {
		border: none;
	}

	header>h1 {
		height: initial;
	}

	main {
		flex-direction: column;
	}

	.left-menu, .left-menu ul {
		width: 100%;
	}

	section {
		max-width: calc(100% - 16px);
	}

	aside {
		float: none;
		margin: 16px 0;
	}

	figure {
		margin: 16px 0;
	}
}

/* Experiment-related */

.exp-dip, .exp-kilo {
	border-radius: 4px;
	color: black;
	font-size: 75%;
	padding: 1px 4px;
}

.exp-dip {
	background: #ffc0c0;
}

.exp-kilo {
	background: #bbeaea;
}