body {
	background-color	: white;
	color			: black;
	margin			: 2em;
	font-family		: sans-serif;
}

pre, code, tt {
	font-family	: Courier, monospace;
}

pre {
	border-style		: solid;
	border-width		: 1px 1px 1px 10px;
	border-color		: #b0c4de;
	padding			: 4px 4px 4px 10px;
	background-color	: #F5F5F5;

	margin-left		: 20px;
	margin-right		: 0em;
	overflow		: auto;
}

pre.plain {
	border-style	: dotted;
    border-width    : 1px;
    border-color    : #aaa;
	padding			: 10px;
	background-color: #F7F7F7;

	margin-left		: 20px;
	margin-right	: 0em;
	overflow		: auto;
}

span.math, span.cmath {
	font-family		: cmr, Times, sans-serif;
	color			: inherit;
	white-space		: nowrap;
}

span.cmath {
	display			: block;
	text-align		: center;
	font-size		: larger;
}



p {
	text-align		: justify;
}

h1.title {
	font-family		: Times, sans-serif;
	color			: darkblue;
	text-align		: center;
}

div.section h1, h2, h3 {
	font-family		: Times, sans-serif;
	color			: darkblue;

	margin-top 		: 1em;
	border-bottom-style	: solid;
	border-bottom-color	: lightgray;
	border-bottom-width	: 1px;
	padding			: 4px;
}

h1 a, h2 a, h3 a, h4 a {
	font-family		: Times, sans-serif;
	color			: darkblue;
	text-decoration		: none
}

a {
	color			: darkblue;
}

img.align-center {
	display			: block;
	margin-left		: auto;
	margin-right	: auto;
	text-align		: center;
	border			: none;
}

table.docutils {
	border-style		: solid;
	border-color		: black;
	border-width		: 1px;
	padding			: 0px;
	margin			: 1em auto 1em auto;
}

table.docutils td, table.docutils th {
	border-style	: solid;
	border-color	: black;
	border-width	: 1px;
	padding		: 0.5ex;
	margin		: 0.5ex;
}

table.docutils {
	border-collapse: collapse;
}

table.docutils th {
	background	: rgb(230,230,255);
}

table.footnote, table.option-list {
	border		: none;
	margin		: 0 0 auto 0;
}

table.footnote td {
	border		: none;
}

th.docinfo-name {
	text-align	: right;
}

blockquote.epigraph {
	text-align	: right;
	font-style	: italic;
}

p.attribution {
	font-style	: normal;
}

dt {
	margin-top	: 1ex;
	font-size	: larger;
}

dd p.first {
	margin-top	: 0pt
}

p.topic-title > a {
	color		: black;
	font-size	: larger;
	font-weight	: bold;
}

/* code */

.code .k, .code .kr {
    font-weight: bold;
}

.code .kt {
    color: darkblue;
    font-weight: bold;
}

.code .mh {
    color: blue;
}

.code .mo {
    color: green;
}

.code .mi {
    color: magenta;
}

.code .c1 {
    color: #777;
    font-style: italic;
}

.code .cm {
    color: #777;
}

.code .cp {
    color: magenta;
}

.code .sc, .code .s {
    color: red;
}

.nasm .nb {
    color: blue;
}

.nasm .nf {
    font-weight: bold;
}