li a {
    color: green;
}

body{
	background: white;
	font-size: 10pt;
	font-family: Arial, serif;
	color: black;
	max-width: 1100px;
	margin: auto;
}

h3{
	font-size: 14pt;
	font-family: Arial, serif;
}
div#navigation {
	position: fixed;
	height: 600px;
	width: 150px;
	margin-top: 3px;
	margin-right: 10px;
    text-align: left;
    float: left;
    vertical-align: top;
    background-color: white;
    border-right: 2px solid rgb(243,243,243);
    margin-top: 15px;
}
div#navigation ol{
	padding-left:10px;
	padding-right:2.5px;
	font-size:8pt;
}
div#navigation ol#sectionlist li{
	font-size: 8pt;
	margin-top:-15px;
}
div#navigation ol#sectionlist li a{
	font-size: 9pt;
}
div#navigation ol#sectionlist li#sechead{
	font-size: 9pt;
	list-style-type: none;
	margin-left: -15px
}
div#tutnav{
	margin-left: -10px;
	width: 128px;
	border: #8b5946 solid 1.5px;
	border-radius: 5px;
	padding: 1em;
}
div#navigation ul{
	list-style: none;
	margin: 10px 0px 100px 0px;
	padding: 0px;
}
div#navigation li{
	margin: 20px 0px;
}
div#navigation li.subsec{
	padding-left:10px;
	margin-top:-20px;
	padding-top:0px;
}
div#navigation li a{
	text-decoration: none;
	color: #15317E;
}
div#navigation li a:link, div#navigation li a:visited{
	font-size: 10pt;
	background-color: white;
	color: #15317E;
	display: block;
	padding: 3px 0px 3px 3px;
}
div#navigation li a.selected:link, div#navigation li a.selected:hover{
	font-size: 10pt;
	font-weight: bold;
	color: #15317E;
	text-decoration: underline;
	width:90%;
	display: block;
	padding: 3px 0px 3px 3px;
}
div#navigation li a:hover{
	font-size: 10pt;
	background-color: white;
	color: #396c8a;
	display: block;
	padding: 3px 0px 3px 3px;
}
div#navigation li#navhead {
	 font-weight:bolder;
	 font-size:14pt;
	 color:black;
	 margin-bottom: 10px;
	 margin-top: 0px;
}
div.content {
	width: 70%;
	float: left;
	margin-left: 170px;
}
div.content a{
	text-decoration: none;
	color: #15317E;
}
div.content a:hover{
	text-decoration: none;
	color: #396c8a;
	text-decoration: underline 0.5px;
	text-decoration-style: solid;
	text-decoration-color: #396c8a;
}
ul.researchlist{
	list-style: none;
	padding-left: 0;
}
ul.researchlist li.title{
	color: #15317E;
	font-size: 10pt;
	font-family: Arial, serif;
}
div.content ul.researchlist li.title a {
	text-decoration: none;
	font-size: 10pt;
	color: #15317E;
}
div.content ul.researchlist li.title a:hover {
	text-decoration-style: solid;
	text-decoration-color: #396c8a;
	font-size: 10pt;
	color: #396c8a;
}
li.authors{
	font-size: 9pt;
	font-family: Arial, serif;
	color: black;
	margin-left: 10px;
}
li.other {
	font-size: 9pt;
	font-family: Arial, serif;
	color: black;
	margin-left: 10px;
}
div.content ul.researchlist li.authors a {
	text-decoration: none;
	font-weight: normal;
	color: #4e6daf;
	font-size: 9pt;
}
footer#footer {
	font-size: 9pt;
	font-style: italic;
	color: #787878;
	padding-top: 150px;
	text-align: left;
	clear: both;
}
div.reveal {
	background-color: #f3f3f3;
	margin-top: 5px;
	border: 1px solid rgba(69,69,69,0.1);
	border-radius: 5px;
	font-size: 10pt;
	margin-left: 10px;
	max-width: 1000px;
	display: none;
	padding: 5px;
	padding-right: 10px;
}
div.bigpanel{
	width: 70%;
	height: 150px;
	margin-bottom: 30px;
	margin-top: 30px;
	float:center;
}
div.panel {
	background-color: white;
	margin-right: 20px;
	width: 40%;
	height: 150px;
	padding-top: 0px;
	padding-left: 10px;
	padding-right: 10px;
	border: 1px solid #f3f3f3;
	font-size: 10pt;
}
code {
	display: block;
	width: 650px;
	min-height: 50px;
	max-height:300px;
	font-size: 8pt;
	background-color: #f3f3f3;
	text-align: left;
	padding-left: 5px;
	padding-bottom: 5px;
	padding-top: 5px;
	border: 1px solid rgba(69,69,69,0.4);
	border-radius: 5px;
	overflow:auto;
	scrollbar-width: thin;
}
span.shortcut{
	background: #f3f3f3;
	border: 0.5px solid rgba(69,69,69,0.4);
	border-radius: 5px;
	padding-left: 1px;
	padding-right: 1px;
	margin-right: 2px;
	margin-left: 2px;
}
p.explainer{
	margin-top: 30px;
	margin-bottom: 30px;
}
span.code{
	font-family: Courier New;
}

img.center{
	display: block;
  	margin-left: auto;
  	margin-right: auto;
  	width:50%;
  	height:50%;
}

div.row:after{
  content: "";
  clear: both;
  display: table;
}