body {
	background-color: black;
	font-size: 16;
	color: #a8a8a8;
	margin-left: auto;
	margin-right: auto;
	max-width: 50em;
	box-sizing: border-box;
}

b, i, u, a {
	color: #a8a8a8;
	background-color: transparent;
	text-decoration: none;
	font-weight: normal;
	font-style: normal;
}

b {
	/* "All text from the \i to the \p will be displayed in
	   high-intensity white. " */
	color: #ffffff;
}

i {
	/* "All text from the \i to the \p will be displayed in green." */
	color: #00aa00;
}

u {
	/* "All text from the [\u] to the \p will be displayed in pale red. */
	color: #ff5555;
}

a {
	background-color: #181818;
}

pre {
	margin-top: 5px;
}

.grhilite {
	color: #00a800;
}

.page-title {
	margin-top: 1em;
	background-color: #a8a8a8;
	color: black;
	font-family: monospace;
	white-space: pre;
}

.notice {
	margin: 10px;
	background-color: #fffff0;
	border: 1px solid black;
	padding: 10px;
}

.notice .header {
	font-weight: bold;
	display: block;
}

.notice img {
	float: left;
}

.notice {
	margin: 10px;
	background-color: #fffff0;
	border: 1px solid black;
	color: black;
	font-family: sans-serif;
	padding: 15px;
	vertical-align: center;
	max-width: 80%;
	margin-left: auto;
	margin-right: auto;
}

.notice .heading {
	font-weight: bold;
	display: block;
	margin-left: 60px;
}

.notice img {
	float: left;
	margin-top: 1.5em;
	margin-left: 10px;
}

.notice .text {
	display: block;
	margin-left: 60px;
}

a:hover, a:active {
	background-color: #a8a8a8;
	color: #000000;
}

.page-heading {
	position: relative;
	font-weight: bold;
}

.page-heading a {
	text-decoration: underline;
}

#search-box {
	position: absolute;
	right: 0;
	top: 50%;
	width: 15em;
	transform: translate(0, -50%);
}