.katex {
	font-size: 1.2em;
}
dt {
	font-weight: bold;
}
body {
	font-family: sans-serif;
	max-width: 120ex;
	background-color: #fafffa;
}
a {
	color: blue;
	text-decoration: underline lightblue;
}
.profile-picture {
	float: right;
	box-shadow: 0 0 10px 10px white inset;
	margin-left: 1ex;
	display: inline-block;
}
.profile-picture img {
	max-width: 100%;
	height: auto;
	position: relative;
	z-index: -1;
	display: block;
}
header {
	background-color: #e0f0c0;
	display: flex;
	align-items: center;
	margin-bottom: 5pt;
	border-radius: 5px;
}
header h1 {
	color: darkblue;
	font-size: 20pt;
	font-weight: normal;
	padding-left: 1ex;
	padding-right: 1ex;
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
	margin: 0;
}
nav.menu {
	text-align: right;
	flex: 1;
}
nav.menu ul {
	list-style-type: none;
	padding-left: 0;
	margin: 0;
	margin-right: 0.5ex;
}
nav.menu ul li {
	display: inline-block;
	padding: 1ex;
	background-color: #f3fae0;
	border: 2pt solid white;
	border-radius: 10pt;
	margin-left: 0.5ex;
	margin-right: 0.5ex;
	margin-top: 1ex;
	margin-bottom: 1ex;
}
nav.menu ul li.selected {
	border-color: gray;
}
nav.menu ul li.subpage {
	border-color: lightgray;
}
nav.menu ul li a {
	color: #554093;
	text-decoration: none;
}
nav.menu ul li.selected a {
	color: black;
}
nav.menu ul li a:hover {
	color: black;
}
main {
	padding-left: 1ex;
	padding-right: 1ex;
}
@media screen and (max-width: 500pt) {
	header {
		flex-direction: column;
	}
	nav.menu {
		text-align: center;
	}
}
@media screen and (max-width: 600pt) {
	.profile-picture {
		float: none;
		display: inline-block;
		margin-left: 0;
	}
}
.publications li {
	margin-top: 0.5ex;
	margin-bottom: 0.5ex;
}
.publications p.abstract {
	text-align: justify;
	hyphens: auto;
	margin-left: 1ex;
	margin-top: 1ex;
	display: none;
}
#show_abstracts:has(input:checked) ~ .publications p.abstract {
	display: block;
}
.notes {
	column-width: 20em;
	column-rule: 2px solid black;
	column-gap: 0;
}
.notes ul {
	margin-block-start: 0;
	margin-block-end: 0;
}
.notes li {
	break-inside: avoid;
	page-break-inside: avoid;
}
.talks li {
	margin-top: 0.5ex;
	margin-bottom: 0.5ex;
}
@media print {
	#show_abstracts {
		display: none;
	}
}