@font-face {
  font-family: 'Inter UI';
  font-style:  normal;
  font-weight: 400;
  src: url("../fonts/Inter UI (web)/Inter-UI-Regular.woff2") format("woff2"),
       url("../fonts/Inter UI (web)/Inter-UI-Regular.woff") format("woff");
}

@font-face {
  font-family: 'Inter UI';
  font-style:  normal;
  font-weight: 500;
  src: url("../fonts/Inter UI (web)/Inter-UI-Medium.woff2") format("woff2"),
       url("../fonts/Inter UI (web)/Inter-UI-Medium.woff") format("woff");
}

html {
	font-family: 'Inter UI';
	font-weight: 400;
}


body {
	margin: 0px;
}

h1, h2, h3, h4, h5 {
	font-weight: normal;
}

ul {
	padding-left: 0px;
}

a, a:visited {
	color: #000;
}

header {
	position: fixed;
	top: 0px;
	left: 0px;
	padding: 1em;
	width: 100%;
	box-sizing: border-box;
	z-index: 10;
	height: 3em;
}

header a, header h1 a:hover {
	text-decoration: none;
}

header a.active, header li.active a, header a:hover {
	text-decoration: underline;
}

header h1, header nav {
	display: inline;
}

header h1 {
	font-size: 100%;
	font-weight: 500;
	margin-right: 0.5em;
}

header ul {
	list-style: none;
	display: inline;
	padding-left: 0px;
}

header ul li {
	display: inline;
	margin-left: 0.5em;
}

nav.languages {
	float: right;
	margin-right: 1em;
}

div.main-content {
	padding: 1em;
}