body {
	margin: 0;
	padding: 0;
	text-align: left;
	background-color: #282C34;
	color: Black;
	font-family: Times, sans-serif;
	vertical-align: top;
}
header {
	background-color: #E1E1E1;
	color: #282C34;
	width: 70%;
	padding-top: 1em;
	padding-left: 5%;
	padding-right: 5%;
	padding-bottom: 1em;
	margin: 10%;
	margin-bottom: 0;
	margin-top: 2.5%;
	border-width: 1px;
	border-color: #CDCDCD;
	border-style: solid;
}
section {
	background-color: #EBEBEB;
	width: 70%;
	margin-left: 10%;
	margin-right: 10%;
	padding-left: 5%;
	padding-right: 5%;
	padding-bottom: 3em;
	padding-top: 2em;
  border-width: 1px;
  border-color: #EBEBEB;
  border-style: solid;
}
img {
  max-width: 100%;
	width: auto;
  text-align: center;
  border-width: 1px;
	border-color: #CDCDCD;
	border-style: solid;
}
.codered {
	color: #C8646E;
}
.codeorange {
	color: #C59366;
}
.codegrey {
	color: #A0A7B2;
}
.codeblue {
	color: #5AB5C0;
}
.codegreen {
	color: #8AAE72;
}
.codepurple {
	color: #8B5E9D;
}
.contents {
	background-color: #F0F0F0;
	float: right;
	max-width: 80%;
  border-width: 1px;
	border-color: #CDCDCD;
	border-style: solid;
	padding-left: 1em;
	padding-right: 1em;
	margin-left: 3em;
}
.caption {
  font-style: italic;
  margin-top: -.25em;
  text-indent: 0;
  color: #282C34;
}
.image {
  margin-top: 3em;
  margin-bottom: 3em;
}
.focus {
	text-align: center;
	margin: 1.5em;
	font-size: 1.1em;
}
.to-top {
	float: right;
}
.header-button {
	background-color: #282C34;
	text-decoration: none;
	font-family: Helvetica, sans-serif;
	font-size: 1.25em;
	font-weight: 200;
	border-width: 1px;
	border-style: solid;
	border-color: #CDCDCD;
	padding: .5em;
	margin: 2px;
	cursor: pointer;
}
.header-button-bar {
	margin-left: 1em;
	margin-bottom: 1.5em;
	margin-top: 1em;
	float: right;
}
.git-link {
	font-family: Helvetica, sans-serif;
	font-weight: bold;
	font-size: 1.2em;
}
object {
	height: 300px;
}