#cover {
	text-align: center;
}

#lum-cover {
	padding: 1px;
	border: 1px solid black;
	width: 200px;
}

p.title {
	text-align: center;
	margin: 0;
}

#title {
	font-size: 24pt;
}

#author {
	font-size: 18pt;
}

/*
h1, h2, h3, h4, h5, h6 {
	text-decoration: underline;
	font-weight: normal;
}

h2 {
	margin-left: 0.75em;
}

h3 {
	margin-left: 1.75em;
}

h4 {
	margin-left: 2.75em;
}
*/

table {
	margin: auto;
}

table td {
	text-align: center;
	border: 1px solid black;
	padding: 3px;
}

table tr:nth-child(1) td {
	background-color: #dddddd;
}

ol, ul {
}

ol,ul ul {
	margin-left: auto;
}

ol > ol {
	list-style-type: lower-roman;
}

p {
	margin-left: 2em;
	margin-right: 2em;
}

p.waterman {
	background-color: #88ff88;
	padding: 1em;
	border: 1px dashed gray;
}

p.mips {
	background-color: #ff9f40;
	padding: 1em;
	border: 1px dashed gray;
}

p.ambiguous {
	background-color: #ff7373;
	padding: 1em;
	border: 1px dashed gray;
}

#content p.code {
	background-color: #eee;
	padding: 1em;
	font-family: Monaco, "Andale Mono", "Courier New", monospace;
	border: 1px dashed gray;
}

#content p.code.optional {
	background-color: #ccf;
}

#content p.code.optional span {
	position: relative;
	float: right;
}

#content p.code.linux {
	background-color: black;
	color: white;
}

#content p.warning {
	background-color: #ff7373;
	padding: 1em;
	border: 1px dashed gray;
}

div.snippet {
	padding: 1em;
	position: relative;
	margin-left: 2em;
	margin-top: 1.5em;
	font-family: Monaco, "Andale Mono", "Courier New", monospace;
	border: 1px dashed black;
}

div.snippet div {
	overflow: auto;
}

div.snippet span.filename {
	float: left;
	position: absolute;
	background-color: white;
	padding-left: 0.5em;
	padding-right: 1em;
	top: -0.75em;
}

div.snippet p.line-numbers {
	float: left;
	padding: 0;
	margin: 0 0.5em 0 0;
	font-size: 9pt;
}

div.snippet p.lines {
	float: left;
	padding: 0;
	margin: 0;
	font-size: 9pt;
}

#content img {
	padding: 1em;
}

code.file {
	font-weight: bold;
}

.strikeout {
	text-decoration: line-through;
}