* {
	font-family: inherit;
	font-size: inherit;
	box-sizing: inherit;
	color: inherit;
	line-height: inherit;
}

h1 {
	font-family: monospace;
	font-size: 200%;
	padding-top: 8px;
	padding-bottom: 8px;
}

body {
	max-width: 1024px;
	margin-left: auto;
	margin-right: auto;
	padding-left: 16px;
	padding-right: 16px;
	font-family: Tahoma, Helvetica, Arial;
	font-size: 1.2em;
	box-sizing: border-box;
	background: #139;
	color: white;
	line-height: 150%;
}

body > * {
	background: rgba(255,255,255,0.1);
	padding: 32px;
	margin: 16px;
}

a {
	color: yellow;
}

form > div, label {
	display: block;
	padding-top: 8px;
	padding-bottom: 8px;
}

input, textarea {
	background: rgba(0,0,0,0.2);
	border: 2px solid rgba(255,255,255,0.2);
}

input[type=submit], button {
	padding: 8px;
	cursor: pointer;
}

input[type=submit]:hover, button:hover {
	color: yellow;
	background: rgba(0,0,0,0.5);
}

input[type=text], textarea {
	padding: 8px;
	width: 100%;
}

input[type=text]:hover, textarea:hover {
	background: rgba(0,0,0,0.25);
}

textarea {
	height: 20%;
}

pre {
	height: 20%;
	overflow: auto;
	padding: 8px;
	border: 2px solid rgba(0,0,0,0.2);
	background: rgba(100,100,100,0.15);
	font-family: monospace;
	white-space: pre-wrap;
}

h3 {
	margin: 0;
	font-family: monospace;
	font-size: 1.4em;
	margin-bottom: 0.8em;
	opacity: 0.7;
}

.sig {
	font-family: monospace;
	white-space: pre;
	font-size: 120%;
}

.params {

}

.params b {
	font-family: monospace;
	white-space: pre;
}