body {
	color: black;
	background: white;
}
body.bg1 {
	background: transparent url(img/120cell-bckgnd.jpg) center no-repeat fixed;
}
body.bg2 {
	background: transparent url(img/600cell-bckgnd.jpg) center no-repeat fixed;
}
body.bg3 {
	background: transparent url(img/trunc600cell-bckgnd.jpg) center no-repeat fixed;
}
body.bg4 {
	background: transparent url(img/snubdode-bckgnd.jpg) center no-repeat fixed;
}
body.bgpento {
	background: transparent url(img/5cell-bckgnd.jpg) center no-repeat fixed;
}
img {
	max-width: 100%;
}
nav {
	float: left;
	margin-right: 1.5em;
	font-size: small;
}
#navbutton {
	display: none;
}
#navbutton ~ label {
	display: block;
	text-align: center;
	background-color: #d0e0ff;
	border: medium outset #80c0ff;
}
#navbutton ~ ul {
	margin-top: 0;
	background-color: #d0e0ff;
}
@media all and (max-width: 40em) {
	nav {
		float: none;
		position: relative;
	}
	#navbutton {
		position: fixed;
		display: initial;
		opacity: 0;
	}
	#navbutton ~ label {
		display: inline;
		padding: .3ex .5em .3ex .5em;
		border: .4ex outset #e0e0e0;
		border-radius: .5ex;
		color: black;
		background-color: #e0e0e0;
		font-weight: bold;
		text-decoration: underline;
	}
	#navbutton ~ label img {
		display: none;
	}
	#navbutton ~ label:after {
		content: "Menu...";
	}
	#navbutton ~ ul {
		display: none;
	}
	#navbutton:checked ~ label {
		background-color: #d0e0ff;
		border: .4ex inset #80c0ff;
	}
	#navbutton:checked ~ ul {
		display: block;
		position: absolute;
	}
}
nav ul {
	list-style-type: none;
	padding-left: 0em;
}
nav > ul > li {
	margin: .1ex 0 .1ex 0;
	border: medium outset #80c0ff;
	padding: .2ex .2em .2ex .2em;
	background-color: #d0e0ff;
	text-align: center;
	width: 16em;
}
nav > ul > li.cur {
	border: medium inset #70b0f0;
	background-color: #c0d0ef;
}
nav ul ul {
	display: table;
	margin-left: auto;
	margin-right: auto;

	list-style-type: disc;
	padding-left: 1em;
	text-align: left;
}
nav ul ul > li.cur {
	border: thin inset #70b0f0;
	background-color: #d8e8ff;
}
nav ul ul ul > li.cur {
	border: thin inset #c0c080;
	background-color: #ffffe0;
	font-weight: bold;
}
ul.news {
	list-style-type: none;
	padding-left: 1em;
}
ul.news > li > p:first-child {
	text-indent: -1em;
}
ul.news > li > ul {
	margin-left: -1em;
}
ul.news li p {
	margin-top: .2ex;
	margin-bottom: .2ex;
}
table.progress_tbl {
	margin-left: 1em;
}
table.progress_tbl tr td:first-child {
	padding-right: 2em;
}
table.cellcounttbl {
	margin-left: auto;
	margin-right: auto;
	border: 2px outset #C0C0FF;
	border-collapse: collapse;
}
table.cellcounttbl td, table.cellcounttbl th {
	padding-left: 1ex;
	padding-right: 1ex;
}
table.cellcounttbl tr.headrow th, table.cellcounttbl tr.grandtotal th {
	color: black;
	background-color: #C0C0FF;
}
table.cellcounttbl .total {
	font-weight: bold;
}
table.cellcounttbl td {
	border: 1px solid #C0C0FF;
}
table.cellcounttbl td.layer {
	text-align: center;
}
table.cellcounttbl .count, table.cellcounttbl .total {
	text-align: right;
}
table.cellcounttbl .working {
	font-style: italic;
}
table.projtbl {
	margin-left: auto;
	margin-right: auto;
	border-collapse: collapse;
}
.projtbl th {
	background-color: #C0C0C0;
}
.projtbl, .projtbl td, .projtbl th {
	border: 1px solid black;
}
.projtbl td, .projtbl th {
	padding: .2em;
	text-align: center;
}
.projtbl td p {
	text-align: justify;
}
.trunclist > li, .trunclist > li > p {
	margin-top: 0;
	margin-bottom: 0;
	padding-top: 0;
	padding-bottom: 0;
}
.trunclist .dup {
	color: #808080;
	font-style: italic;
}
ul.coorlist {
	padding-left: 1em;
	padding-right: 1em;
	list-style: none;
}
table.coorlist td {
	vertical-align: top;
}
table.coorlist td > ul.coorlist {
	margin-top: 0;
	margin-bottom: 0;
	padding-top: 0;
	padding-bottom: 0;
}
table.coortbl tr {
	margin-top: 0;
	margin-bottom: 0;
}
table.coortbl td {
	padding-left: 1em;
	padding-right: 1em;
	padding-top: 0;
	padding-bottom: 0;
}
table.polylist tr {
	margin-top: 0;
	margin-bottom: 0;
}
table.polylist td {
	vertical-align: top;
}
table.polylist td:first-child {
	padding-right: 1em;
}
table.polylist td.ineq {
	text-align: right;
}