body {
	background: #111 ;
	color: beige ;
	font-family: "Garamond", Georgia, serif, 'Noto Color Emoji', 'Apple Color Emoji', 'Segoe UI Emoji' ;
}

main {
	max-width: 800px ;
	margin: auto ;
}

img {
	max-width: 100% ;
}

footer {
	text-align: center ;
	clear: both ;
}

h1, h2, h3, h4, h5 {
	text-align: center ;
}

h1 {
	/*color: brown ; */
	color: chocolate ;
	font-family: "Fira Sans",sans ;
}

h2 {
	color: goldenrod ;
}

h3 {
	color: chocolate ;
}

h4 {
	color: wheat ;
}

a {
	color: cadetblue ;
}

a:visited {
	color: palevioletred ;
}

a:hover {
	color: goldenrod ;
}

a:active {
	color: chocolate ;
}

/* strong {
	color: wheat ;
} */

p img, li img, h2 img {
	max-height: 1em ;
	max-width: 1em ;
}

blockquote {
	font-style: italic ;
}

pre {
	background: #111222 ;
	border: 2px solid darkred ;
	border-radius: 5px ;
	padding: 1em ;
	white-space: pre-wrap;
	overflow-wrap: break-word ;
	max-width: 600px ;
	margin: auto ;
}

code:not(pre code), kbd {
	background: #222 ;
	border-radius: 5px ;
	padding: 1px 2px ;
	min-width: 1em ;
}

.comment {
	color: grey ;
	font-size: .9em ;
	padding: .25em ;
}

.smallcaps {
	font-variant: small-caps ;
}

.normal, .inline, .welcome, .banner {
	text-align: center ;
	max-width: 100% ;
}

.normal, .welcome {
	display: block ;
}

.normal img, .inline img, .welcome img {
	max-height: 400px ;
}

.banner img {
	max-height: 60px ;
}

figcaption {
	text-align: center ;
	display: block ;
	font-style: italic ;
}

.welcome figcaption {
	font-size: 1.17em ;
	font-weight: bold ;
	padding: .75em ;
}

hr {
	border: 1px solid #222 ;
}

table {
	margin: auto ;
	max-width: 600px ;
}

td, th {
	padding: .25em ;
	max-width: 500px ;
	border-collapse: collapse ;
}

thead {
	display: none ;
}

thead:has(th:not(:empty)) {
	display: table-header-group ;
}

.maintab table {
	border: 2px solid darkred ;
}

.maintab td, .maintab th {
	padding: .5em ;
	border: 1px solid grey ;
}

#references {
	border-top: 1px solid #222 ;
	padding-top: .80em ;
}

#TableOfContents, #tagcloud {
	margin: auto ;
	display: table ;
}

#TableOfContents ul, #TableOfContents ol, #tagcloud ul {
	padding-left: 0 ;
	margin-top: 0 ;
}

#TableOfContents ul ul, #TableOfContents ol ol {
	padding-left: 2.5em ;
}

#TableOfContents li li {
	font-size: smaller ;
}

.TableOfContents summary {
	text-align: center ;
	font-weight: bold ;
	margin: 1em ;
	margin-left: 0 ;
}

.taglist {
	text-align: center ;
	clear: both ;
}

#prevart {
	float: left ;
	text-align: left ;
}

#nextart {
	float: right ;
	text-align: right ;
}

#nextart, #prevart {
	max-width: 33% ;
}