body {
	font-family: Junicode, DejaVu Serif, serif;
	color: #0d0b16;
	background: #f3fc9f;
	margin: 0.5in 1in;
	line-height: 1.5em;
}

a:link {
	color: #345780;
	background-color: transparent;
}
a:visited {
	color: #345780;
	background-color: transparent;
}
a:active {
	color: #67aeff;
	background-color: transparent;
}
a:hover {
	color: #67aeff;
	background-color: transparent;
}

a.toc-backref {
	text-decoration: none;
}
a.toc-backref:hover {
	background-color: inherit;
}

h1, h2, h3 {
	font-weight: normal;
	color: #345780;
	background-color: transparent;
}
h1 {
	font-size: 160%;
	margin-top: 1.5em;
}
h1.title {
	font-size: 180%;
	text-align: center;
}
h2 {
	margin-top: 1.25em;
	font-size: 120%;
}
h2.subtitle {
	font-size: 120%;
	font-style: italic;
	text-align: center;
}
h3 {
	font-size: 100%;
	font-style: italic;
}

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

dt {
	font-weight: bold;
}

img {
	border: 0
}

.center {
	text-align: center;
}

code, tt {
	color: #060;
	font-family: DejaVu Sans Mono, monospace;
	font-size: 80%;
}

pre.literal-block {
	font-family: DejaVu Sans Mono, monospace;
	font-size: 80%;
	margin-left: 2em;
	margin-right: 2em;
	border: 1pt dashed gray;
	padding: 0.5em;
	background: #dae1e6;
}

p.topic-title {
	font-weight: bold;
}

div.admonition, div.attention, div.caution, div.danger, div.error,
div.hint, div.important, div.note, div.tip, div.warning {
	margin: 1em 2em;
	border: 1px dotted gray;
	padding: 0.5em;
	font-size: 0.8em;
	font-family: DejaVu Sans, sans-serif;
	line-height: 1.2em;
}

div.admonition p, div.hint p, div.important p, div.note p, div.tip p
div.attention p, div.caution p, div.danger p, div.error p, div.warning p
{
	margin: 1em;
}

div.admonition p.admonition-title, div.hint p.admonition-title,
div.important p.admonition-title, div.note p.admonition-title,
div.tip p.admonition-title {
	font-weight: bold;
	margin: 0em;
}

div.attention p.admonition-title, div.caution p.admonition-title,
div.danger p.admonition-title, div.error p.admonition-title,
div.warning p.admonition-title {
	color: red;
	font-weight: bold;
	margin: 0em;
}