html {
	padding:0;
	margin:0;
	width: 100%;
	height:auto;
}

body {
	font-family: 'Open Sans', sans-serif;
	/* font-size: calc(1em+1vw); */
	padding: 0;
	margin: 0;
	width: 95%;
	height: auto;
	color: black;
	background-color: white;
}

a, a:link, a:visited {
	/* color:  forestgreen; */
	font-size: 110%;
	color: darkgreen;
	text-decoration: none;
}

a:active, a:focus, a:hover {
	font-size: 110%;
	color: maroon;
	text-decoration: underline;
}



ul {
	padding: 0;
	margin-left: 1.24em;
	/* list-style-type: disc;*/
}

nav {
/*     
	position:fixed;
	top:0;
*/
	display: block;
	width: 100%;
	height: auto;
	padding: 0;
	padding: 0.20em;
	/* caltech orange, white and black
	color: white;
	background-color: #FF6E1E; 
	*/
	/* white on deep red */
	/*
	color: white;
	background-color: #5f0202;
	*/
}

nav a, nav a:link, nav a:visited {
	font-weight: lighter;
	/*
	color: white; 
	*/
	text-decoration: none;
}

nav a:active, nav a:focus, nav a:hover {
	font-weight: lighter;
	/*
	color: orange;
	*/
	text-decoration: none;
	text-transform: uppercase;
}


nav ul {
	display: block;
	width: 100%;
	height: auto;
	list-style: none;
	list-style-type: none;
	padding: 0;
	margin: 0;
}

nav ul li {
	display: inline-block;
	text-align: left;
	padding-top: 0em;
	padding-left: 0.82em;
	padding-right: 0.24em;
	padding-bottom: 0em;
	margin: 0;
}

section, article {
	display: block;
	max-width: 90%;
	height: auto;
	padding: 1.24em;
	margin-top: 1.24em;
	margin-bottom: 0.24em;
}


img.rss-valid {
	display: inline;
	width: auto;
	height: 0.82em;
}

h1 {
	font-size: 200%;
}

h2 {
	font-weight: lighter;
	font-size: 170%;
}

h3 {
	font-weight: lighter;
	font-size: 120%;
	text-transform: uppercase;
}

h4 {
	font-weight: lighter;
	font-size: 100%;
	text-transform: lowercase;
}

h1 code, h2 code, h3 code, h4 code {
	text-transform:none;
}


footer {
	font-size: 0.82em;
	font-weight: lighter;
	padding: 0;
	margin: 0;
	width: 100%;
	height: auto;
	color: white;
	background-color: black;
}

/* NOTE: Ingnore a P tag inserted by Markdown when rendering footer */
footer p {
	display: block;
	width: 100%;
	height: auto;
	padding: 0;
	margin: 0;
	font-family: 'Dosis', sans-serif;
	font-size: 0.82em;
	font-weight: lighter;
	margin-top: 0.32em;
	margin-left: 0;
	margin-right: 0;
	margin-bottom: 0;
}

footer img {
	display: block;
	float: left;
	vertical-align: top;
	border: 1px solid black;
	border-top-left-radius: 1.2em;
	border-top-right-radius: 1.2em;
	box-shadow: inset 0.12em 0.12em black;
	width: 3.2em;
	height: auto;
	margin: 0.24em;
}

footer a, footer a:link, footer a:visited {
	font-weight: lighter;
	/* caltech orange */
	color: #FF6E1E; 
}

footer a:active, footer a:focus, footer a:hover {
	font-weight: lighter;
	color: lightgreen;
}

/* color injections for AndOr */
.red {
	color: red;
}

/* Google prittyprint customizaions CSS */
li.L0, li.L1, li.L2, li.L3, li.L4, li.L5, li.L6, li.L7, li.L8, li.L9
{
	color: #555;
	list-style-type: decimal;
}


/* Mmark css */
#footnote-section {
	font-size: 80%;
	display: none;
}

.footnotes {
	font-size: 80%;
}

/*
 * Project Customizations
 */
div.project-name {
	display: block;
	width: 100%;
	height: auto;
	padding-top: 1.24em;
	padding-left: 1.24em;
	margin-top: 1.24em;
}

header {
	display: block;
	margin:0;
	padding:0;
	width: 100%;
	height: auto;
	border-bottom: thick double gray; 
}


header h1 {
	max-width: 90%;
	margin: 0;
	padding: 0;
	text-align: center;
	/* text-shadow: 3px 3px 1px gray;*/
	text-shadow: 0 1px #808d93,
	   	              -1px 0 #cdd2d5,
	   	              -1px 2px #808d93,
	   	              -2px 1px #cdd2d5,
	   	              -2px 3px #808d93,
	   	              -3px 2px #cdd2d5,
	   	              -3px 4px #808d93,
	   	              -4px 3px #cdd2d5,
	   	              -4px 5px #808d93,
	   	              -5px 4px #cdd2d5,
	   	              -5px 6px #808d93,
	   	              -6px 5px #cdd2d5,
	   	              -6px 7px #808d93,
	   	              -7px 6px #cdd2d5,
	   	              -7px 8px #808d93,
	   	              -8px 7px #cdd2d5;

	z-index:100;
}

header h2 {
	max-width: 90%;
	font-style: italic;
	font-size: 100%;
	margin: 0;
	padding-top:0;
	padding-left:0;
	padding-right:0;
	padding-bottom: 1em;
	text-align: center;
	text-decoration: blue wavy underline;
	z-index:100;
}

header img {
	display: inline-block;
	z-index: -5;
	padding: 0;
	margin: 0;
	z-index:1;
}

header blockquote {
	display: block;
	width: 100%;
	height: auto;
	padding: 0em;
	margin-left: 2.48em;
}

section {
	width: 100%;
	padding: 1%;
	margin: 1%;
}

section > div {
	padding: inherit;
	border-bottom: double black;
}

/* an hr is used to break between articles */
hr {
  border: none;
  border-top: 2px double #333;
  color: #333;
  overflow: visible;
  text-align: center;
  height: 5px;
}

hr:after {
  background: #fff;
  content: '§';
  padding: 0 4px;
  position: relative;
  top: -13px;
}