html {
	overflow-y: scroll;
}
body {
	background-color: #000084;
	color: #bbb;
	font-size: 1.0em;
	line-height: 1.3;
	font-family: monospace;
	font-variant-ligatures: none;
	margin: 0;
	padding: 0;
}
/* HTML5 semantic tags: some (older) browsers display this inline by default */
article, figcaption, figure, header, main, nav {
	display: block;
}
article {
	margin: 5px;
}
footer {
	margin: 20px;
	text-align: center;
}
table, img {
	border: 0;
}
hr {
	border: 0;
	border-bottom: 3px solid #aaa;
	height: 3px;
}
h1 {
	text-align: center;
	margin-top: 3em;
	font-size: 100%;
	font-weight: bold;
	text-transform: uppercase;
	color: #fff;
}
h2 {
	text-transform: uppercase;
	margin-top: 2em;
	font-size: 100%;
	font-weight: bold;
	color: #fff;
}
h3 {
	margin-top: 2em;
	font-size: 100%;
	font-weight: bold;
}
p {
	/* text-align: justify; */
	/* text-justify: inter-word; */
}
h1,
h1 a,
h1 a:visited,
h2,
h2 a,
h2 a:visited,
h3,
h3 a,
h3 a:visited,
h1 a:hover,
h2 a:hover,
h3 a:hover {
	color: inherit;
	text-decoration: none;
}
table tr td {
	padding: 2px 10px 2px 0px;
}
pre {
	margin: 0;
}
code {
	color: #000;
	background-color: #aaa;
	border: 3px solid #aaa;
	display: block;
	overflow-x: auto;
	padding: 5px;
	word-wrap: normal;
}
li {
	margin: 0.5em 0;	
}
.welcome {
	white-space: pre;
	color: #5f5;
}
.btn {
	display: incline-block;
	text-align: center;
	vertical-align: middle;
	box-shadow: 5px 5px 0 #000;
	border-radius: 4px;
	background: #aaa;
	color: #000;
	padding: 2px 5px 2px 5px;
}
.btn:active,
.btn.active {
	background-color: #aaa !important;
	position: relative;
	top: 2px;
	left: 2px;
	box-shadow: 3px 3px 0 #000;
}
.btn:hover,
.btn.hover {
	/* background-color: #fff; */
}
#title {
	background-color: #707;
	padding: 1ex 10px;
	font-size: 1.0em;
	line-height: 1.3;
	font-family: monospace;
	border-bottom: 0px solid #aaa;
	width: 100%;
}
#menu {
	background-color: #909;
	width: 100%;
}
#menu td {
	padding: 2px 10px 5px 5px;
	line-height: 2.0;
	/* padding: 1ex 10px 10px 1ex; */
}
#menuwrap,
#menu,
#main {
	margin: 0px auto;
	max-width: 100ex;
}
#menu a {
	font-weight: bold;
	vertical-align: middle;
	text-decoration: none;
}
#main {
	border-top: 0px solid #aaa;
}
a {
	color: #bbb;
} .hidden {
	display: none;
}
.mediaframe {
	max-width: 300px;
	max-height: 200px;
	border: 0;
}
video[poster] {
	width: 100%;
	height: 100%;
}
figure {
	margin-top: 2em;
	margin-bottom: 2em;
	margin-left: 40px;
	margin-right: 40px;
	max-width: 80%;
}
.pagefigure {
	text-align: center;
	margin-left: auto;
	margin-right: auto;
}
.pageimg {
	border: 2px solid #aaa;
	max-width: 100%;
}
.alignright {
	text-align: right;
	vertical-align: bottom;
}