body {
	margin-left: auto;
	margin-right: auto;
	min-width: 400px;
	max-width: 60%;
	background: #FFF;
	/* margin: 0 2em 1em 0; */
	font: 1.0em Arial, sans-serif;
	/* line-height: 1.5em; */
}
a { color: #46574D; background: inherit; }
a:hover { color: #647B6D; background: inherit;}

h1 a { color: #46574D; background: inherit; }
h1 a, h2 a { text-decoration: none; }
h1 a:hover, h2 a:hover {
	color: #BFE1ED;
	background: inherit;
}

p {
	/* line-height: 1.1em; */
	font-size: 1.1em;
}

li {
	line-height: 1.1em;
	font-size: 1.1em;
}

.navlink {
	text-decoration: none;
	font: 1.5em sans-serif;
}

pre {
	font-family: monospace,sans-serif;
	border: 1px dashed #2F6FAB;
	color: #000;
	background-color: #F9F9F9;
	line-height: 1.1em;
	padding: 5px 5px;
}

.clickable {
	border: 1px solid black;
	padding: 2px 12px;
	text-decoration: none;
	font-size: 1.1em;
}

.precode {
	padding: 0px;
	margin-left: 1em;
	margin-right: 1em;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	/* line-height: 1.2em; */
	border: 1px dashed;
	background-color: #eee;
	font-family: monospace;
	page-break-inside: avoid;
	display: block;
}

ul {
	margin-top: 0px;
}

.box {
	display: inline;
	font-size: 0.8em;
}

.box a {
	text-decoration: none;
}

table, th, td {
	border: 1px solid black;
	padding: 4px;
	margin: 5px;
	border-spacing: 0;
	border-collapse: collapse;
}

th {
	background-color: #77f;
	color: white;
}

dt {
	font-style: italic;
}

.toc {
	background-color: #eee;
	border: 1px dashed;
	display: block;
	clear: right;
	width: 170px;
	float: right;
	margin: 10px;
	font-size: 60%;
}

.toc li, ul {
	padding: 0px;
	margin-left: 1em;
}

h1 { font-size: 1.5em; color: green; }
h2 { font-size: 1.3em; color: green; }
h3 { font-size: 1.2em; color: green; }
h4 { font-size: 1.1em; color: green; }

hr { border-style: dashed; }

blockquote {
	font-style: italic;
}

/* Syntax hilighting */

/* colorful.css */
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #808080 } /* Comment */
.highlight .err { color: #F00000; background-color: #F0A0A0 } /* Error */
.highlight .k { color: #008000; font-weight: bold } /* Keyword */
.highlight .o { color: #303030 } /* Operator */
.highlight .cm { color: #808080 } /* Comment.Multiline */
.highlight .cp { color: #507090 } /* Comment.Preproc */
.highlight .c1 { color: #808080 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold } /* Comment.Special */
.highlight .gd { color: #A00000 } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .gr { color: #FF0000 } /* Generic.Error */
.highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.highlight .gi { color: #00A000 } /* Generic.Inserted */
.highlight .go { color: #808080 } /* Generic.Output */
.highlight .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.highlight .gt { color: #0040D0 } /* Generic.Traceback */
.highlight .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #003080; font-weight: bold } /* Keyword.Pseudo */
.highlight .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #303090; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #6000E0; font-weight: bold } /* Literal.Number */
.highlight .s { background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #0000C0 } /* Name.Attribute */
.highlight .nb { color: #007020 } /* Name.Builtin */
.highlight .nc { color: #B00060; font-weight: bold } /* Name.Class */
.highlight .no { color: #003060; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #505050; font-weight: bold } /* Name.Decorator */
.highlight .ni { color: #800000; font-weight: bold } /* Name.Entity */
.highlight .ne { color: #F00000; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0060B0; font-weight: bold } /* Name.Function */
.highlight .nl { color: #907000; font-weight: bold } /* Name.Label */
.highlight .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */
.highlight .nt { color: #007000 } /* Name.Tag */
.highlight .nv { color: #906030 } /* Name.Variable */
.highlight .ow { color: #000000; font-weight: bold } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mf { color: #6000E0; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #005080; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000D0; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #4000E0; font-weight: bold } /* Literal.Number.Oct */
.highlight .sb { background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #0040D0 } /* Literal.String.Char */
.highlight .sd { color: #D04020 } /* Literal.String.Doc */
.highlight .s2 { background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #606060; font-weight: bold; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { background-color: #e0e0e0 } /* Literal.String.Interpol */
.highlight .sx { color: #D02000; background-color: #fff0f0 } /* Literal.String.Other */
.highlight .sr { color: #000000; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #A06000 } /* Literal.String.Symbol */
.highlight .bp { color: #007020 } /* Name.Builtin.Pseudo */
.highlight .vc { color: #306090 } /* Name.Variable.Class */
.highlight .vg { color: #d07000; font-weight: bold } /* Name.Variable.Global */
.highlight .vi { color: #3030B0 } /* Name.Variable.Instance */
.highlight .il { color: #0000D0; font-weight: bold } /* Literal.Number.Integer.Long */