@font-face {
	font-family: "Garamond";
	src: url('/static/fonts/EB%20Garamond/EBGaramond-wght.woff2') format('woff2');
}
@font-face {
	font-family: "Garamond Italic";
	src: url('/static/fonts/EB%20Garamond/EBGaramond-Italic-wght.woff2') format('woff2');
}

body, dialog {
	background: #202020;
	color: white;
	font-family: "Garamond", serif;
	font-size: 14pt;
}

body {
	margin: 0;
}
header {
	background: black linear-gradient( #033 50%, alpha(from #033 / .25) 50% );
	background-size: 100% 2px;

	padding: 8px;
	border-bottom: 1px solid aqua;
	box-shadow: 0px 2px 16px alpha(from aqua / 0.4);

	font-family: sans-serif;
	font-size: smaller;
	color: color-mix(white, aqua);
	text-align: right;
}
header .login-id {
	color: #088;
	font-family: monospace;
	font-size: smaller;
}
main {
	margin: 8px;
}

h1 {
	font-family: "Garamond", serif;
	text-shadow: 4px 4px 8px #ccc;
}
a {
	color: deepskyblue;
}
span.definition {
	text-decoration: underline;
	text-decoration-style: dashed;
}