@charset "utf-8";

body {
   background: white;
   color: black;
   font-family: Verdana, Arial, sans-serif;
   font-size: 12pt;
   padding-left: 20px;
   width: 700px;
}

div.title {
	font-family: 'Times New Roman', Garamond, serif;
	font-size: 250%;
	font-weight: bold;
	text-align: center;
	margin: 1em 0ex 1ex 0ex; 
}


h1 {
	font-family: 'Times New Roman', Garamond, serif;
	font-size: 200%;
	margin-top: 1ex;
	margin-left: -1ex;
}

h2 {
	font-family: 'Times New Roman', Garamond, serif;
	font-size: 150%;
}

pre {font-family: monospace}

a:link { color: blue }
a:visited { color: purple }
a:active { color: red }

span.lead { float: left;
	margin: 0em .5em .25em 0em;
	background: #ffc;
	padding: .3em;
	border: thin black solid;
	font-size: 150%;
	font-family: 'Times New Roman', Garamond, serif;
	font-weight: bold;
}


div.top {
	margin-left: -1em;
	margin-right: -1em;
}

div.bottom {
	margin-left: -1em;
	margin-right: -1em;
}

img.finmath {
	height: 25px;
	vertical-align: middle;
}