/* Main structure */
html, body {
	margin: 0;
	padding: 0;
	border: 0;
	height: 100%;
}

body {
	display: grid;
	grid-template-rows: auto 1fr auto;
}

body > * {
	padding: 0 10%;
}

.main1 {
	overflow: hidden;
}
.main2 {
	height: calc(100%);
	margin: -1em;
}
.main3 {
	padding: 1em 0;
	margin: 0 1em;
	height: calc(100%);
}

/* header */
header nav ul {
	padding: 0;
	border: 0;
	margin: 0;
	list-style: none;
	display: block;
}
header nav li {
	display: inline-block;
	margin: 0;
	padding: 0;
	border: 0;
}
header nav > ul {
	padding-top: 0.25em;
}
header nav > ul > li {
	float: left;
	margin-left: 0.5em;
}
header nav > ul > li:first-child {
	margin-left: 0;
}
header nav > ul > li > div {
	margin-bottom: 0.25em;
}
header nav > ul > li > div > a {
	display: inline-block;
	position: relative;
	padding-bottom: 0.25em;
	transition: top 0.5s;
	top: 0;
}
header nav > ul > li:hover > div > a, header nav > ul > li.active > div > a {
	top: -0.25em;
}

/* page */
.translations {
	float: right;
}
.updated {
	font-style: italic;
}