*
{
	margin: 0;
}

a
{
	text-decoration: none;
}

a:hover
{
	text-decoration: underline;
}

a:visited
{
}

body
{
	font-size: large;

	position: relative;
	min-height: 100vh;
}


.path
{
	font-size: 2.5em;
}

hr
{
	color: #000000;
	border-width: 2px 0 0 0;
	margin: 0 0 0 0;
}

nav
{
	padding: 5px 0;
}

nav ul li
{
	display: inline;
	margin: 0 25px;
	font-size: larger;
}

nav a,
nav a:visited
{
	color: inherit;
}

header
{
}

main {
	margin: 10px auto 100px auto;
	max-width: 120ch;
}

footer {
	width: 100%;
}

p 
{
	margin: 5px 0;
}

h1, h2, h3, h4
{
	padding: 20px 0 5px 0 ;
}

math[display*="block"]
{
	margin: 15px;
}

table
{
	border-collapse:collapse;
	border: 2px solid black;
}

th, td
{
	border: 1px solid black; 
	width: 10%;
}

pre
{
	margin: 15px 0;
	padding: 10px;
	background: lightgrey;
}

dl
{
	margin: 10px;
	display: grid;
	grid-template-columns: max-content auto;
}

dt
{
	margin: 0.5em;
	grid-column-start: 1;
}

dd
{
	margin: 0.5em;
	grid-column-start: 2;
}

blockquote
{
	margin: 1em;
	text-align: center;
}

blockquote + p
{
	text-align: right;
}