body {
	background-color: #424242;
	margin: 0px;
	color: #E6E6E6;
	font-size: 100%;
}
.header {
	background-color: #303030;
	border-style: solid;
	border-width: 0px;
	border-bottom-width: 1px;
	border-color: #999999;
	padding: 25px;
	display:flex;
}
.header a {
	color: white;
	text-decoration: none;
	padding-left: 13px;
	margin-right: 12px;
	border-style: solid;
	border-width: 0px;
	border-left-width: 1px;
}
.header a:link {
  color: white;
}
.header a:visited {
  color: white;
}
.header a:hover {
	text-decoration: underline;
}
.content {
	padding: 12px;
	font-size: 23px;
	display: flex;
    flex-direction: column;
    max-width: 900px;
    margin-left: auto;
    margin-right: auto;
    gap: 18px;
}
.subheader {
    margin-left: auto;
    margin-right: auto;
    width: fit-content;
    text-align: center;
    font-size: 300%;
}
.listheader {
    width: fit-content;
    font-size: 120%;
    border-width: 0px;
    border-style: solid;
    border-bottom-width: 1px;
}
.content pre {
	margin: 0px;
	padding: 12px;
	overflow: auto;
	font-size: 75%;
	background-color: #303030;
}
.content a {
	color: #E6E6E6;
}