html {
	overflow-y: scroll;
}

body {
	background-color: #fafffa;
	color: #000;
	font-family: sans-serif;
	padding: 0;
	margin: 0;
}


.term {
    white-space: pre;
    line-height: 95%;
    font-family: Courier New;
    border-radius: 10px;
    background-color:  #141;
    color: white;
    padding: 0px;
    padding-left: 10px;
}


.code {
     white-space: pre;
    font-family: Courier New;
    border-radius: 10px;
    background-color:  #dfd;
    color: black;
    padding: 10px;
    padding-left: 10px;
    border: dashed 2px;
    margin: 5px;
}

#pandoc_code{
    white-space: pre;
    font-family: Courier New;
    border-radius: 15px;
    background-color:  #dfd;
    color: black;
    padding: 10px;
    padding-left: 10px;
    border: dashed 2px;
    margin: 5px;
}


.c {
    white-space: pre;
    font-family: Courier New;
    border-radius: 10px;
    color: black;
}

a {
	color: #166;
}

#header a, #nav a, #menu a {
	text-decoration: none;
}

#nav a:hover {
	background-color: #cceecc;
}

#menu {
	clear: both;
	color: #096;
	overflow: hidden;
	background-color: #0a7;
	padding: 0.7ex;
	border-top: 2px solid #ccc;
	border-bottom: 2px solid #ccc;
}

#menu a {
	padding: 0.5ex 1ex;
	color: #fff;
}

#menu a:hover {
	background-color: #096;
}

#header {
	background-color: #f1faf1;
	clear: both;
	color: #555;
	font-size: 1.78em;
	padding: 0.7ex 0.7ex 0.7ex 0.7em;
}

#headerLink {
	color: #195;
	margin-left: 5px;
}

h1 {
	margin: 1em 1ex 0.5ex 0;
	font-size: 1.4em;
}

h2 {
	margin: 1em 1ex 0.5ex 0;
	font-size: 1.3em;
}

h3 {
	margin: 1em 1ex 0.5ex 0;
	font-size: 1.0em;
}

h4 {
	margin: 1em 1ex 0.5ex 0;
	font-size: 0.9em;
}

#headerSubtitle {
	font-size: 0.75em;
	font-style: italic;
	margin-left: 1em;
}

#content {
	clear: both;
	margin: 0;
	padding: 0;
	/*background-color: #fff;
	overflow: hidden;*/
}

#nav {
	/*background-color: #fff;*/
	float: left;
	margin: 0 1px 0 0;
	padding: 1em 0;
	border-right: 1px dotted #555;
	width: 170px;
}

#nav ul {
	margin: 0;
	padding: 0;
}

#nav li {
	list-style: none;
	padding: 0;
	margin: 0;
}

#nav li ul {
	padding-left: 0.6em !important;
}

#nav li a {
	display: block;
	margin: 0;
	padding: 0.8ex 2em 0.8ex 1em;
}

#main {
	margin: 0 0 0 200px;
	max-width: 50em;
	padding: 1.5em;
}

.left {
	float: left;
	margin: 0;
	padding: 0;
}

.right {
	float: right;
	margin: 0;
	padding: 0;
}



.hidden {
	display: none;
}

.active {
    font-weight: bold;
}

#term {
    white-space: pre;
    font-family: Courier New;
    border-radius: 10px;
    background-color:  #232;
    color: white;
    padding: 0px;
    padding-left: 10px;
}

#code {
    white-space: pre;
    font-family: Courier New;
    border-radius: 10px;
    background-color:  #dfd;
    color: black;
    padding: 10px;
    padding-left: 10px;
    border: dashed 2px;
    margin: 5px;
}




    code span.al { color: #ff0000; font-weight: bold; } /* Alert */
    code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
    code span.at { color: #7d9029; } /* Attribute */
    code span.bn { color: #40a070; } /* BaseN */
    code span.bu { color: #008000; } /* BuiltIn */
    code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
    code span.ch { color: #4070a0; } /* Char */
    code span.cn { color: #880000; } /* Constant */
    code span.co { color: #60a0b0; font-style: italic; } /* Comment */
    code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
    code span.do { color: #ba2121; font-style: italic; } /* Documentation */
    code span.dt { color: #902000; } /* DataType */
    code span.dv { color: #40a070; } /* DecVal */
    code span.er { color: #ff0000; font-weight: bold; } /* Error */
    code span.ex { } /* Extension */
    code span.fl { color: #40a070; } /* Float */
    code span.fu { color: #06287e; } /* Function */
    code span.im { color: #008000; font-weight: bold; } /* Import */
    code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
    code span.kw { color: #007020; font-weight: bold; } /* Keyword */
    code span.op { color: #666666; } /* Operator */
    code span.ot { color: #007020; } /* Other */
    code span.pp { color: #bc7a00; } /* Preprocessor */
    code span.sc { color: #4070a0; } /* SpecialChar */
    code span.ss { color: #bb6688; } /* SpecialString */
    code span.st { color: #4070a0; } /* String */
    code span.va { color: #19177c; } /* Variable */
    code span.vs { color: #4070a0; } /* VerbatimString */
    code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */