body 
{
	margin:auto;
	width: 700px;
	font-family: "Roboto", "Montserrat";
	font-size:16px;
	line-height: 160%;
	color:#333333;
}

h1, h2, h3, h4, h5, h6 
{
   margin-top: 10px;
   margin-bottom: 20px;
   padding-top: 5px;
   font-weight: bold;
}

h1 
{
	font-size: 200%;
	clear:both;
	display: block;
	font-weight: bold;
	line-height:1em;
	color:#333333;
	background-color:#F5F5F5;
	min-height:55px;
	margin-bottom: 15px;
	margin-top: 30px;
}

h2 
{
	font-size: 150%;
	color:#333333;
	line-height: 1.0909em;
}

h3 
{
	font-size: 131;
 	line-height: 1.2em;
	color:#333333;
}

h4 
{
	font-size: 112.5%;
	line-height: 1.2em;
	color:#333333;
}
h5 
{
	font-size: 118%;
	line-height: 1.2em;
	color:#333333;
}


p 
{
	display: block;
	height: auto;
	line-height: 150%;
	vertical-align: baseline;
	font-size:16px;
	color:#333333;
    margin-bottom: 16px;
}

p.information 
{
	line-height:115%;
	padding-bottom: 5px;
	color:#333333;
	font-size:16px;
}


div.main 
{
	margin-top: 10px;
	clear:both;
	overflow:hidden;
	width:auto;
	padding-bottom:0px;
	display: block;
	width: 700px;
	color:#333333;
	font-size:16px;
}

div.footer 
{
	clear:both;
	float:left;
	display:block;
	border-top:5px solid black;
	margin-top:50px;
	width:inherit;
	min-height:150px;
	color:#333333;
}


ul, li 
{
	height: auto;
	font-size: 12px;
	color:#333333;
	line-height:125%;
}

li
{
	font-weight:normal;
	color:#333333;
}

p, ul, li 
{
	height: auto;
	font-size:16px;
	color:#333333;
	line-height: 150%;
	padding-top: 0.25em;
}

p, dl
{
	padding-bottom:0px;
}

dl
{
	padding-top:0px;
	font-weight: bold;
	color:#006432;
	padding-bottom:6px;
	line-height:120%;
}

dt, dd 
{
	font-size: 16px;
	padding-top:6px;
	padding-bottom:6px;
	color:#333333;
	line-height:150%;
}

dd
{
	font-weight:normal;
	line-height:125%;	
	color:#333333;
}

span.cite 
{
	font-weight:normal;
	font-style:italic;
}

span.emphasis 
{
	font-weight: bold;
}

span.semphasis 
{
	font-weight:bolder;
	font-size:medium;
	font-style: italic;
}

em
{
	font-weight:bolder;
	font-size:medium;
	font-style:italic;
}


sup, sub 
{
  vertical-align: baseline;
  position: relative;
  top: -0.4em;
}
sub 
{ 
  top: 0.4em; 
}

span.signature 
{
	font-weight: bold;
	clear:both;
	width:auto;
	padding-left:25px;
	padding-top:10px;
	padding-bottom:10px;
	border: 1px solid black;
	background-color:#F5F5F5;
	display: block;
	margin-top:15px;
	margin-bottom:15px;
	font-family: "Roboto Mono","Source Code Pro", monospace;
	line-height:125%;
}

span.struct
{
	font-weight: bold;
	clear:both;
	width:auto;
	padding-left:25px;
	padding-top:10px;
	padding-bottom:10px;
	border: 1px solid black;
	background-color:#F5F5F5;
	display: block;
	margin-top:0px;
	margin-bottom:0px;
	font-family: "Roboto Mono","Source Code Pro", monospace;
	line-height:125%;
	overflow: auto;
	white-space: nowrap;
 font-size:80%;
}

.defaults 
{
	font-weight: bold;
	color:#000053;
	padding-top:4px;
	padding-bottom:4px;
}

div.scroll 
{
	margin-top:6px;
	background-color: #F9F9F9;
	width: 500px;
	height: 400px;
	overflow: scroll;
	padding-left:20px;
	font-weight:normal;
	font-family: "Roboto Mono","Source Code Pro", monospace;
	border-left-style:inset;
	border-top-style:inset;
	font-size: 12px;
	line-height:100%;
}

div.scroll2
{
	margin-top:6px;
	background-color: #F9F9F9;
	width: 500px;
	height: 300px;
	overflow: scroll;
	padding-left:20px;
	font-weight:normal;
	font-family: "Roboto Mono","Source Code Pro", monospace;
	border-left-style:inset;
	border-top-style:inset;
	font-size: 12px;
	line-height:120%;
}
span.codehigh 
{
	color:red;
	font-size:inherit;
	font-family: "Roboto Mono","Source Code Pro", monospace;
}

ul 
{
  list-style: square outside;
}

ul ul,
ol ol 
{
  margin: 0 0 0 60px;
}


.hor-minimalist-a
{
	font-family: "Lucida Sans Unicode", "Lucida Grande", Sans-Serif;
	font-size: 12px;
	background: #fff;
	margin: 45px;
	width: auto;
	border-collapse: collapse;
	text-align: left;
	line-height:150%;
}


.hor-minimalist-a th
{
	font-size: 14px;
	font-weight: normal;
	color: #333;
	padding: 10px 8px;
	text-align: center;
	border-top-width: 2px;
	border-bottom-width: 2px;
	border-top-style: solid;
	border-bottom-style: solid;
	border-top-color: #6678b1;
	border-bottom-color: #6678b1;
	vertical-align: middle;
}

.hor-minimalist-a td
{
	color: #333;
	text-align: left;
	padding-top: 5px;
	padding-right: 5px;
	padding-bottom: 0px;
	padding-left: 5px;
}

td.tdright
{
	text-align: left;
	padding-top: 5px;
	padding-right: 5px;
	padding-bottom: 0px;
	padding-left: 10px;
	color: #333;
	width:100%;
}

.hor-minimalist-a tbody tr:hover td
{
	color: red;
}

.stats table
{
	  width: 250px; 
}
.stats table td:nth-child(1)
{
	text-align:left;
	margin: 45px;
	width: 100px;
	color: 111111;
}
.stats table td:nth-child(2)
{
	text-align:right;
	margin: 45px;
	width: 120px;
	color: 111111;
}


.hor-minimalist-a table td:nth-child(1) 
 {
    padding-left: 0;
    color: 111111;
}

caption
 {
	caption-side: top;
	text-align: center;
	font-size: 1.25em;
	line-height: 1.5em;
	color:#333333;
	font-weight:200;
	font-variant: normal;
	margin-bottom: 15px;
}

.builtins
{
	font-family: "Roboto Mono","Source Code Pro", monospace;
	font-size: 80%;
	background: #fff;
	margin: 5px;
	width: auto;
	border-collapse: collapse;
	text-align: left;
	line-height:150%;
}

.builtins table tbody
{
	border:thin;
	border-color:#000;
}

.builtins th
{
	font-size: 125%;
	font-weight: normal;
	color: #333;
	padding: 10px 8px;
	text-align: center;
	border-top-width: 2px;
	border-bottom-width: 2px;
	border-top-style: solid;
	border-bottom-style: solid;
	border-left-width: 1px;
	border-left-style: solid;
	border-right-width: 1px;
	border-right-style: solid;
	border-top-color: #6678b1;
	border-bottom-color: #6678b1;
	vertical-align: middle;
	border-left-style: solid;
}

.builtins td
{
	color: #333;
	text-align: left;
	padding-top: 5px;
	padding-right: 5px;
	padding-bottom: 0px;
	padding-left: 5px;
	border:thin solid #000;
}

.builtins tbody tr:hover td
{
	color: red;
}

blockquote
{
	text-align: justify;

}