@charset "utf-8";
@import "fonts.css";
@import "reset.css";

body {
	background-color: white;
	color: black;
	font-family: "Source Sans 3", "STIX Two Math", "Mozilla Twemoji", sans-serif;
	line-height: 1.3;
	margin: 0px 12px 0px 200px;
	padding: 6px 0px;
}

h1, h2, h3, h4, h5, h6, p, dd, dt, li, table, canvas {
	margin-bottom: .5ex;
}

h1 {
	font-size: 180%;
	font-weight: bold;
	margin-bottom: 1ex;
	padding: 1em 0em;
	text-align: center;
}

abbr {
	border-bottom-style: none;
}

code, pre {
	font-family: "Source Code Pro", monospace;
}

math {
	font-family: "STIX Two Math", serif;
}

dd {
	margin-left: 4em;
}

ol {
	list-style: decimal outside;
	padding-left: 2em;
}

ul {
	list-style: disc outside;
	padding-left: 2em;
}

th {
	font-weight: bold;
}

iframe.nav {
	border-style: none;
	position: fixed;
	left: 0px;
	top: 0px;
	height: 100%;
	width: 188px;
	max-width: 40%;
}

nav.line {
	display: table;
	margin-left: auto;
	margin-right: auto;
	border-collapse: separate;
	border-spacing: 1em 0em;
}

nav.line ul {
	display: table-row;
}

nav.line li {
	display: table-cell;
	vertical-align: middle;
	font-weight: bold;
	padding: 0em 1em;
	height: 1.4em;
	line-height: 1;
	border-radius: 0.7em;
	background-color: #ff8c00;
	color: black;
}

nav.line li sup {
	position: relative;
	vertical-align: baseline;
	font-size: 0.8em;
	top: -0.4em;
}

nav.line li > a {
	color: inherit;
	text-decoration: none;
}