body {
    margin: 0;
    display: grid;
    grid-template-columns: 1fr 200px 650px 1fr;
    grid-gap: 30px;

    color: Black;
    background-color: White;

    font-family: serif;
}

nav {
    grid-column: 2;
    text-align: right;
    border-right: solid;
    padding-right: 1em;
}

nav > li {
    list-style: none;
    padding: 5px;
    margin: 0;
}

nav > li > a:visited {
}

nav > h1 {
    margin-bottom: 12px;
    font-size: 24pt;
}

nav > h2 {
    margin: 0;
    font-size: 20pt;
}

body > div {
    grid-column: 3;
}

footer {
    grid-column: 3;
    font-size: medium;
}

h1 {
    font-variant: small-caps;
    font-weight: normal;
}

h2 {
    font-variant: small-caps;
    font-weight: normal;
}

h3 {
    font-variant: small-caps;
    font-weight: normal;
    font-size: 25px;
}

h4 {
    font-variant: small-caps;
    font-weight: normal;
    font-size: 21px;
}

p {
    text-align: justify;
    hyphens: auto;
}

a {
    text-decoration: none;
    color: Purple;
}

.katex {
	font: normal 1em "Libertinus Math", "KaTeX_Main", "Times New Roman", serif !important;
}

img {
	display: block;
	margin-left: auto;
	margin-right: auto;
}

pre {
	font-family: "Roboto Mono", monospace;
	padding-left: 24px;
	padding-top: 10px;
	padding-bottom: 10px;
	background: Black;
	color: White;
	overflow-x: auto;
}

code {
	font-family: "Roboto Mono", monospace;
	font-size: 15px;
}

@media screen and (max-width: 940px), screen and (min-resoution: 200dpi) {
	body {
		grid-template-columns: 100vw;
		grid-gap: 0;
	}

	.content p {
		margin-left: 0 !important;
		margin-right: 0 !important;
	}

	nav {
		padding: 0;
		grid-column: 1;
		text-align: left;
		border-right: none;
		border-bottom: solid;
	}

	nav > li {
		display: inline;
		white-space: nowrap;
	}

	body > div {
		padding: 10px;
		grid-column: 1;
	}

	footer {
		grid-column: 1;
	}

	.katex-display {
		overflow-x: auto;
		overflow-y: hidden;
	}
}

@font-face {
	font-family: "Libertinus serif woff";
	src: url(/~redtrumpet/fonts/LibertinusSerif-Regular.woff2);
}