/* We do not import fonts with Google's API because they split font files in a
 * way that messes up the display of combining diacritics.
  */
@font-face {
	font-family: 'Gentium Book Plus';
	font-style: normal;
	font-weight: 400;
	font-display: swap;
	src: url('./fonts/GentiumPlus-Regular.woff2') format('woff2');
}
@font-face {
	font-family: 'Gentium Book Plus';
	font-style: italic;
	font-weight: 400;
	font-display: swap;
	src: url('./fonts/GentiumPlus-Italic.woff2') format('woff2');
}
@font-face {
	font-family: 'Gentium Book Plus';
	font-style: normal;
	font-weight: 700;
	font-display: swap;
	src: url('./fonts/GentiumPlus-Bold.woff2') format('woff2');
}
@font-face {
	font-family: 'Gentium Book Plus';
	font-style: italic;
	font-weight: 700;
	font-display: swap;
	src: url('./fonts/GentiumPlus-BoldItalic.woff2') format('woff2');
}

@font-face {
	font-family: 'Courier Prime';
	font-style: normal;
	font-weight: 400;
	font-display: swap;
	src: url('./fonts/CourierPrime-Regular.woff2') format('woff2');
}
@font-face {
	font-family: 'Courier Prime';
	font-style: italic;
	font-weight: 400;
	font-display: swap;
	src: url('./fonts/CourierPrime-Italic.woff2') format('woff2');
}
@font-face {
	font-family: 'Courier Prime';
	font-style: normal;
	font-weight: 700;
	font-display: swap;
	src: url('./fonts/CourierPrime-Bold.woff2') format('woff2');
}
@font-face {
	font-family: 'Courier Prime';
	font-style: italic;
	font-weight: 700;
	font-display: swap;
	src: url('./fonts/CourierPrime-BoldItalic.woff2') format('woff2');
}

.body {
	margin: 1em auto;
	max-width: 33rem;
	line-height: 1.34;
	padding: 0 1em;
	font-family: 'Gentium Book Plus', serif;
}
menu {
	display: flex;
	gap: 1rem;
	list-style: none;
	padding: 0;
}
code, pre {
	font-family: 'Courier Prime', monospace;
	font-size: 0.92rem;
}
pre {
	line-height: 1.1;
	overflow-x: auto;
	background-color: #f7f3f4;
	padding: 0.4em;
}
figure {
	margin: 0 auto;
}
figcaption {
	text-align: center;
}
img {
	max-width: 100%;
	display: block;
	margin: 0 auto;
	padding-top: 0.7em;
	padding-bottom: 0.7em;
}
video {
	max-width: 100%;
	display: block;
	margin: 0 auto;
	padding-top: 0.7em;
	padding-bottom: 0.7em;
}
p {
	margin-block-start: 0.8em;
	margin-block-end: 0.8em;
}
table {
	border-top: 0.1rem solid black;
	border-bottom: 0.1rem solid black;
	border-collapse: collapse;
	border-spacing: 0;
	margin-left: auto;
	margin-right: auto;
}
thead {
	align: left;
}
th {
	border-bottom: 0.1rem solid black;
}
td {
	padding: 0 0.3em;
	vertical-align: top;
}
a {
	text-decoration: none;
	color: #1a0dab;
}
a:visited {
	color: #681da8;
}
a:hover {
	text-decoration: underline;
}
h1 {
	font-size: 1.9rem;
}
h1, h2, h3 {
	margin-block-end: 0.2em;
}
sup {
	line-height:100%;
}
textarea {
	width: 100%;
}
small {
	font-style: italic;
	font-size: 1rem;
}
.search-input {
	font-family: 'Gentium Book Plus', serif;
	font-size: 1rem;
}
p.hanging {
	padding-left: 2em;
	text-indent: -2em;
}
.p0, .p1, .p2, .p3 .ph1 {
	margin: 0 auto;
}
div.et {
	line-height: 1.6em;
}
.p1 {
	margin-left: 1.2em;
}
.p2 {
	margin-left: 2.4em;
}
.p3 {
	margin-left: 3.6em;
}
/* Hanging indent, in Whitney Roots */
.ph1 {
	margin-top: 0;
	margin-bottom: 0;
	padding-left: 1.2em;
	text-indent: -1.2em;
}
ul.chrono {
	list-style: none;
	padding-left: 0;
}
li.chrono {
	margin-bottom: 0.5em;
}
li.chrono:last-child {
	margin-bottom: 0;
}
ul {
	padding-left: 1.5em;
}
footer {
	padding-top: 1em;
	border-top-width: 1px;
	border-top-style: solid;
}
hr {
	border-top-style: solid;
}
nav.pagination {
	text-align: center;
	margin-top: 1.33em;
}
footer {
	margin-top: 1.33rem;
	font-size: smaller;
}