@font-face {
	font-family: 'EB Garamond'; 
	src: url('fonts/EB_Garamond/EBGaramond-Regular.ttf') format('truetype');
}

@font-face {
	font-family: 'DejaVuMono'; 
	src: url('fonts/DejaVu/DejaVuSansMono.ttf') format('truetype');
}

html {
	font-family: 'EB Garamond';
	-fx-font-family: 'EB Garamond';
}

body {
	font-size: 125%;
}

samp {
	font-size: 75%;
	font-family: DejaVuMono;
	-fx-font-family: DejaVuMono;
}

/* used by div that wraps a centered equation derived from <eq>expression</eq>*/
.eq {
	display:block;
	text-align:center;
}

/*.border {
	background-color: #e8e8f8;
	display: inline;
	padding: 2px;
}
*/
.border {
	display: inline;
	padding: 0px;
	background-color: inherit;
	padding-left:1ex;
	padding-right:1ex;
	border: 1px solid;
	border-radius: 8px;
}

.paraheading {
	font-variant: small-caps;
	font-weight: bold;
}
span span.border a {
	text-decoration: none;
	color: black;
}
.footref {
	vertical-align: super;
    font-size: smaller;
}

button.footclose {
	float: right;
	vertical-align: top;
}

footnote {
	display: none;
}

#footnote_div {
	width: 210px;
	position: absolute;
	display: none;
	opacity: 1;
	background: #ffffff;
	border: 1px solid;
	border-radius: 5px;
	padding: 5px
}

#expr_div {
	position: absolute;
	display: none;
	opacity: 1;
	background: #ffffff;
	border: 1px solid;
	border-radius: 5px;
	padding: 5px
}

#expr_content {
	vertical-align: middle;
}

ul.nav {
	list-style-type: none;
	margin: 0;
	padding: 0;
	overflow: hidden;
}

li.nav {
	float: left;
}
.navtable {
	width:100%;
	font-family: arial;
}
/* no longer used?*/
a.nav:link, a.nav:visited {
	/*display:block;*/
	/*width:200px;*/
	font-weight: bold;
	color: #808080;
	/*background-color:#e0e0e0;*/
	/*background-color:#ffffff;*/
	text-align: center;
	padding: 4px;
	text-decoration: none;
	text-transform: uppercase;
	border: 1px solid black;
	display: inline;
	padding: 2px;
}

a.nav:hover, a.nav:active {
	background-color: #e0e0e0;
}

a {
	text-decoration: none
}
/*ol {list-style:none;}  */
.nonumber {
	list-style: none;
}

/*
ol > li:first-child {counter-reset: item;}
ol > li {counter-increment: item;} 
ol > li:before {content:counters(item, ".") ". "; font-weight:bold;} 
*/
.topnav {
/*	text-align: center;*/
	float: top;
	padding: 5px;
	font-size: 75%;
}

/* Used by paragraphs in the nav links */
.alignleftarrow {
	text-align:left;
	width:5%;
	font-family:arial;
}
.alignleft {
    text-align:left;
    width:30%;
/*	border: 1px solid black;*/
    font-family: arial;
}
.aligncenter {
    text-align:center;
    width:30%;
/*	border: 1px solid black;*/
    font-family: arial;
}
.alignright {
    text-align:right;
    width:30%;
/*	border: 1px solid black;*/
    font-family: arial;
}
.alignrightarrow {
	text-align:right;
	width:5%;
	font-family:arial;
}
/* used by paragraphs for numbered equations */
.eqleft {
	float: left;
    text-align:left;
    width:10%;
}
.eqcenter {
 	float: left;
    text-align:center;
    width:80%;
}
.eqright {
 	float: left;
    text-align:right;
    width:10%;
}
.eqclear {
 	clear:left;
}
.links {
	/*    line-height:30px;*/
	width: 300px;
	float: right;
	padding: 5px;
}

.section {
	display: block;
	padding: 10px;
	font-family: serif;
}

h1 {
	clear: left;
	line-height: 2;
	color: #002674;
	font-weight: bold;
	font-family: verdana;
	font-size: 125%;
	text-align: center;
}

h2 {
	color: #002674;
	font-weight: bold;
	font-family: verdana;
	font-size: 100%
}

h3 {
	color: #002674;
	font-weight: normal;
	font-family: verdana;
	font-size: 100%
}

p {
	margin-top: 0em;
	margin-bottom: .5em;
	text-align: inherit;
}

.linksheading {
	line-height: 2;
	text-align: center;
	color: #002674;
}

.figure {
	text-align: center;
}

table {
	margin-left: auto;
	margin-right: auto;
}

td.heading {
	border-bottom: 1px solid;
	border-top: 1px solid
}

td.center {
	text-align:center;
}

td.centerheading {
	border-bottom: 1px solid;
	border-top: 1px solid;
	text-align:center;
}

span.subcaption {
	align: center;
	font-size: 75%;
}

figcaption {
	line-height: 1.5;
}

.theoremlabel, .definitionlabel {
	font-weight: bold;
}

.theorembody, .definitionbody {
	font-style: italic;
}

.eq {
	padding-top: 5px;
}