@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Sans:ital,wght@0,100..700;1,100..700&display=swap');
body {
	font-size: 1.2em;
	background-color: #022;
	font-family: "IBM Plex Sans", sans-serif;
	color: #adc;
}
.etc {
	font-size: 0.8em;
}
img {
	border: 2px solid magenta;
	height: 100px;
	width: 100px;
	margin: auto;
}
a {
	color: #0df;
	text-decoration: none;
}
a:hover {
	color: #0df;
	text-decoration: underline;
}
hr {
	background-color: #798;
	border: none;
	height: 1px;
	margin: 0em;
}
#nav{
	text-align: center;
	color: #798;
	margin: 0.1em;
	font-size: 0.9em;
}
h1 {
	text-align: center;
	font-style: italic;
	font-weight: normal;
}
ol {
	margin: auto;
}
li {
	margin: 0.8em;
}
h3 {
	text-align: center;
	font-weight: normal;
	font-style: italic;
}
#writing {
	padding: 0em 0.5em 0.5em 0.5em;
}
#maintext {
	background: #033;
	margin: auto;
	padding: 0em 0.5em;
	width: 80%;
}
#twocol {
	display: flex;
	flex-direction: column;
}
#introtext {
	margin: 0em 1em;
}