body {
	font-family: sans-serif;
	font-size: 12pt;
	padding: 0 40px;
	line-height: 1.3;
}

a {
	text-decoration: none;
	color: blue;
}

a:hover {
	text-decoration: underline;
}

table {
	border-collapse: collapse;
}

table th, body table td {
	border-width: 1px;
	border-style: solid;
	border-color: #ddd;
	padding: 5px 7px;
	vertical-align: top;
	min-width: .6em;
}

table th {
	background-color: #f8f8f8;
	font-weight: bold;
}

pre {
	background-color: #f8f8f8;
	border: 1px solid #ddd;
	font-size: 13px;
	line-height: 19px;
	overflow: auto;
	padding: 6px 10px;
	border-radius: 3px;
}

code {
	white-space: pre;
	font-family: monospace;
	margin: 0 2px;
	padding: 0 5px;
	border-radius: 3px;
	background-color: #f8f8f8;
	border: 1px solid #ddd;
}

pre > code {
	border: none;
	padding: 0;
	margin: 0;
}

div.toc {
	position: relative;
	margin-left: -40px;
}

div.toc ul {
	list-style-type: none;
	padding-left: 40px;
}

div.document-info {
	border-radius: 10px;
	background-color: #ffd;
	border: 1px solid #f7df92;
}

div.document-info ul {
	list-style-type: none;
	padding: 15px 20px;
	margin: 0;
}

/* Syntax highlighting */
.num  { color:#2928ff; }
.esc  { color:#ff00ff; }
.str  { color:#ff0000; }
.dstr { color:#818100; }
.slc  { color:#838183; font-style:italic; }
.com  { color:#838183; font-style:italic; }
.dir  { color:#008200; }
.sym  { color:#000000; }
.kwa  { color:#000000; font-weight:bold; }
.kwb  { color:#830000; }
.kwc  { color:#000000; font-weight:bold; }
.kwd  { color:#010181; }