/* Strevens Style Sheet */
/* New */

body {
		font-size: medium;
		font-family: "myriad pro", helvetica, sans-serif;
		background-color: #fffaf7;
	}

a:link {
	color: DarkGreen;
}

a:visited {
	color: OliveDrab;
}

a:active {
	color:#006633
}

a:hover {
	color: Maroon
}

a.menuTitle {
	text-decoration:none;
}
a.menuTitle:link {
	color: MidnightBlue
}
a.menuTitle:visited {
	color: MidnightBlue;
}
a.menuTitle:hover {
	color: Maroon
}

a.menuItem {
	text-decoration:none;
}

a.heading {
	text-decoration:none;
}
a.heading:link {
	color: Maroon
}
a.heading:visited {
	color: Maroon;
}
a.heading:hover {
	color: MidnightBlue
}

a.menuItem {
	text-decoration:none;
}

/* Lists */

ul {
	margin-top: 0%;
	list-style-type: square;
}

ul.present {
	list-style-type: none;
}

li {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

/* Positioning */

/* img.right { float: right; } */

#wrapper {
/* 	width:720px; */
/* 	width: device-width; */
	margin:0px;
	padding:10px;
}
#header {
	height: auto;
}
#header div {
  	padding:10px;
  	float:left;
}
#header-left {
	width:160px;
}
#header-main {
	margin-left:10px;
/* 	width:500px; */
}
#toptoc {
	height: auto;
  	float:left;
}
#toctop div {
	margin-left:10px;
	padding-left:10px;
	clear:left;
}
#toctop-left {
	width:10px;
}
#toctop-main {
	margin-left:10px;
/* 	width:500px; */
}

#content {
	margin-top:0px;
}
/* applies to all divs within the content div */
#content div {
 	padding:10px;
	float:left;
}
#content-left {
	margin-top:12px;
	width:160px;
	clear:left;
}
#content-main {
	margin-left:10px;
/* 	width:500px; */
}

@media all and (min-width: 746px) {
	#toctop {display: none; }
	#header-left {display: block; }
	#content-left { display: block; }
/* 	#wrapper { width: device-width; } */
	#header-main { width: 500px; }
	#content-main { width: 500px; }
	#toptoc-main { width: 500px; }
	img.right { float: right; }
}

@media all and (min-width: 0px) and (max-width: 745px) {
	#toctop {display: block; }
	#header-left {display: none; }
	#toctop-left {display: none; }
	#content-left { display: none; }
/* 	#wrapper { width: device-width; } */
/*
	#header-main { width: device-width; }
	#content-main { width: device-width; }
	#toptoc-main { width: device-width; }
*/
	image.right { float: none; }
}

/* Elemental formatting */

h1.menuTitle {
	font-size: 120%; 
	font-weight: bold;
	margin-top: 10%;
	margin-bottom: 0%;
}

h1.menuTopTitle {
	font-size: 100%; 
	font-weight: bold;
	margin-top: 10%;
	margin-bottom: 0%;
}

p.menuItem {
	margin-left: 10%;
	margin-top: 2%;
	margin-bottom: 2%;	
	padding-left: 12pt;
	text-indent: -12pt;
}

p.header {
	font-size: 150%; 
	font-weight: bold;
	margin-top: 0%;
	margin-bottom: 0%;
	color: maroon;
}

h1.topic {
	font-size: 150%; 
	font-weight: bold;
	margin-top: 0%;
	margin-bottom: 0%;
	color: maroon;
}

h1, h2, h3 {
	color: maroon;
	font-weight: bold;
}

h1 {
	font-size: 150%; 
	margin-top: 0%;
	margin-bottom: 0%;
}

h1.researchtopic {
	font-size: 120%; 
	font-weight: bold;
	margin-top: 0%;
	margin-bottom: 0%;
	color: maroon;
}

h1.paper {
	font-size: 120%; 
	font-weight: bold;
	margin-top: 0%;
	margin-bottom: 0%;
	color: maroon;
}

h1.misctitle {
	font-size: 120%; 
	font-weight: bold;
	margin-top: 0%;
	margin-bottom: 0%;
	color: maroon;
}

h2.publist {
	font-size: 100%; 
	font-weight: bold;
	margin-top: 0%;
	margin-bottom: 0%;
	color: MidnightBlue;
}

h2.cv {
	font-size: 100%; 
	font-weight: bold;
	margin-top: 18pt;
	margin-bottom: 0%;
	color: MidnightBlue;
}

h2.standard {
	font-size: 100%; 
	font-weight: bold;
	margin-top: 18pt;
	margin-bottom: 0%;
	color: MidnightBlue;
}


h2.part {
	font-size: 110%; 
	font-weight: bold;
	margin-top: 18pt;
	margin-bottom: 0%;
	color: #316202;
}


h2.subtopic {
	font-size: 110%; 
	font-weight: bold;
	margin-top: 18pt;
	margin-bottom: 0%;
	color: #820150;
}


h3.chapter {
	font-size: 100%; 
	font-weight: bold;
	margin-top: 12pt;
	margin-bottom: 0%;
	color: MidnightBlue;
}


h1.class {
	font-size: 120%; 
	font-weight: bold;
	margin-top: 0%;
	margin-bottom: 0%;
	color: maroon;
}
.subhead {
	margin-top: 0.5ex;
	font-size: medium;
	color: MidnightBlue;
}

h2.classlist {
	font-size: 100%; 
	font-weight: bold;
	margin-top: 18pt;
	margin-bottom: 0%;
	color: MidnightBlue;
}

span.absname {
	color: black;
	font-weight: bold;
	margin-right: 0.5em;
}

p.chaosheader {
	font-weight: normal;
	margin-top: 0%;
	margin-bottom: 0%;
	color: MidnightBlue;
}