body {
	background: #FFF;
	background-image: url("tile.png");
	font-family: serif;
	image-rendering: crisp-edges;
	margin: 64px auto;
	max-width: 1024px;
	min-width: 640px;
	overflow: scroll;
	padding: 0px;
}
h1 {
	font-size: 32px;
	margin: 24px 4px;
	padding: 0px;
}
h2 {
	font-size: 24px;
	margin: 22px 4px;
	padding: 0px;
}
h3 {
	font-size: 16px;
	margin: 18px 4px;
	padding: 0px;
}
h4 {
	font-size: 16px;
	margin: 16px 4px;
	padding: 0px;
	text-decoration: underline;
}
h5 {
	font-size: 16px;
	margin: 16px 4px;
	padding: 0px;
	text-decoration: underline;
}
p {
	font-size: 16px;
	margin: 12px 4px;
	padding: 0px;
}
a {
	color: #00F;
}
a:hover {
	color: #F0F;
}
a:active {
	color: #F00;
}
.i {
	font-style: italic;
}
.o {
	font-style: oblique;
}
.b {
	font-weight: bold;
}
.s {
	font-variant: small-caps;
}
.gray {
	color: #777;
}

.header {
	border: 4px solid #000;
	border-image: url("border-outset.svg") 2/4px;
	display: inline-block;
	margin-bottom: -8px;
}
.header .tab {
	background: #6060BF;
	border: 4px solid #000;
	border-image: url("border-inset.svg") 2/4px;
	color: #FFFF80;
	cursor: default;
	display: inline-block;
	font-size: 24px;
	font-style: italic;
	font-weight: bold;
	padding: 8px 16px;
	user-select: none;
}
.header .tab:hover {
	color: #FFF;
}

.content {
	border: 4px solid #000;
	border-image: url("border-outset.svg") 2/4px;
	color: #222;
	display: inline-block;
	width: 100%;
}
.content .section {
	background: #DDD;
	border: 4px solid #000;
	border-image: url("border-inset.svg") 2/4px;
	padding: 8px 16px;
}
.content .section#title {
	background: #7F407F;
	color: #FFFF80;
	font-size: 24px;
	font-style: italic;
	font-weight: bold;
	user-select: none;
}
.content .section#license {
	user-select: none;
}

button {
	background: #DDD;
	border: 2px solid #000;
	border-radius: 0px;
	border-image: url("button-outset.svg") 2/2px;
	font-family: serif;
	font-size: 16px;
	padding: 3px 11px;
}
button:active {
	border-image: url("button-inset.svg") 2/2px;
}
button:focus {
	outline: 1px dotted #000;
	outline-offset: -5px;
	box-shadow: 0px 0px 0px 1px #000;
}