body {
	font-family: monospace;
	font-size: medium;
}

div.readme {
	font-size: large;
	max-width: 80ch;

pre {
	font-family: monospace;
	text-align: start;
	background-color: #F8F8F8;
	border-radius: 0.25rem;
	border: 1px solid lightgray;
	padding: 0.5em;
	margin: 0.25rem 0rem 0rem 0rem;
	white-space: pre-wrap; 
}

code {
	background-color: #F8F8F8;
	border-radius: 0.25rem;
}

}

a:link {
	text-decoration: none;
	color: inherit;
	/*	color: #3f3f3f*/
}

a:visited {
	text-decoration: none;
	color: inherit;
	/*	color: #3f3f3f*/
}

a:hover {
	text-decoration: underline;
	color: inherit;
}

a:active {
	text-decoration: underline;
	color: inherit;
}

a.list:hover {
        text-decoration: underline;
	color: inherit;
}

a.text {
        text-decoration: none;
	color: inherit;
}

a.text:visited {
        text-decoration: none;
	color: inherit;
}

a.text:hover {
        text-decoration: underline;
	color: inherit;
}

a.header:visited {
	color: inherit;
}

div.page_nav a:visited {
	color: inherit;
}

div.log_link {
        font-family: monospace;
}

td.link, td.selflink {
	font-size: small;
        font-family: monospace;
	vertical-align: middle;
}

div.page_header a:visited, a.header {
	color: inherit;
}

div.page_header a:hover {
	color: inherit;
}

a.rss_logo {
	color: inherit;
	background-color: inherit;
	border: 0px;
	border-color: black;
	font-weight: bold;
	font-family: monospace;
}

a.rss_logo:hover {
	background-color: inherit;
}

a.rss_logo.generic {
	background-color: inherit;
}

a.rss_logo.generic:hover {
	background-color: inherit;
}