html, body       { font-family: -apple-system; margin-right: 10px; margin-left: 10px }
A                { color: #007fd7; border-width: 0px; text-decoration: none }
A:hover          { text-decoration: underline }
h1               { border-bottom: 0px solid rgb( 0.0, 0.0, 0.0, 0.3); padding: 0.0 0.65em; text-align: center }
h1 IMG			 { max-height: 1.2em; vertical-align: top; margin-right: 7px }
h2               { margin-top: 20px; border-bottom: 1px solid gray}
h3, h4           { margin-bottom: 0px }
.nomargin		 { margin: 0px }
bigButtons       { display: flex; justify-content: space-around; flex-wrap: wrap }
.bigButton       { display: block; width: 150px; border: 0px solid rgb( 0.0, 0.0, 0.0, 0.3); 
					border-radius: 16px; text-align: center; text-decoration: none;
					color: white; background-color: #0096ff; margin-bottom: 20px; font-weight: 500;
					padding: 16px }
.bigButton:hover { color: unset; background-color: #AAE3FC }
.bigButton IMG   { margin: 10px auto; width: 96px; height 96px; display: block }

IMG.wide         { display: block; width: 100%; max-width: 400px; margin: 0px auto }
IMG.window       { box-shadow: 0px 3px 9px rgba(0, 0, 0, 0.45); border-radius: 12px }
img.small		 { display: block; width: 300px; margin: 0px auto }
img.center		 { display: block; margin: 7px auto }
imgWrapper       { display: flex; width: 100%; height: 96px; border: 0px solid black; margin: 10px 0px }
imgWrapper IMG	 { align-items: center }

navigation		 { display: flex; justify-content: space-around; flex-wrap: wrap }
navigation A	 { font-size: 0.75em; padding: 4px 12px }
navigation A.selected { color: white; background-color: #0096ff; font-weight: 800; border-radius: 8px }

.nodot 			 { padding-left: 0px; list-style: none }
.shortdot 		 { padding-left: 1.1em }

.btt             { float: right; font-size: small; padding: 0px 6px; vertical-align: middle }
LI				{ margin: 5px 0px }
ol, ul			{ padding-left: 20px }

.smaller		{ font-size: 80% }
.note			{ font-size: 80%; background-color: rgba(0, 0, 0, 0.05); padding: 8px; border-radius: 8px; border-top: 1px solid rgba(0, 0, 0, 0.2) }
pre				{ padding: 8px; background-color: rgba(0, 0, 0, 0.05) }

h1				{ font-size: 180% }
h2				{ font-size: 160% }
h3				{ font-size: 140% }

.overviewIcon		{ display: block; margin: 10px auto; text-align: center }
.overviewIcon IMG 	{ display: inline-block; max-width: 32px; margin: 0px 12px 0px 0px; vertical-align: middle }

pre				{ overflow: scroll }

@media (prefers-color-scheme: dark) {
				html, body		{ color: #eee; background-color: #121212 }
			}