@charset "utf-8";

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

a:link {
   background: white;
   color: blue;
}
a:visited {
   background: white;
   color: purple;
}

h1, h2 {
   font-family: TimesNR, Times, serif;
   font-weight: bold;
}
h1 {
   font-size: 24pt;
}
h2 {
   font-size: 18pt;
}

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

span.math {
   font-style: oblique;
}

span.code {
   font-family: monospace;
   font-size: 14pt;
}

div.home {
   margin-top: 4px;
   margin-bottom: 4px;
}
a.home:link { color: black; text-decoration: none; }
a.home:visited { color: black; text-decoration: none; }
a.home:active { color: black; text-decoration: none; }

a.symb:link { color: black; text-decoration: underline; }
a.symb:visited { color: black; text-decoration: underline; }
a.symb:active { color: black; text-decoration: underline; }

h2.symbol {
   margin-bottom: 0.2em;
}
table.symbol {
   margin: 0.5em 1.0em 1.0em 1.0em;
}
td.s1 {
   font-weight: bold;
}

/*
a.icon {
   float:left;
   margin: 0.2em 1.0em 0.5em 0;
}
a.icon:link { color: black; text-decoration: none; }
a.icon:active { color: black; text-decoration: none; }
a.icon:visited { color: black; text-decoration: none; }
*/

span.home {
   background-color: yellow;
   padding: 0.0em 0.2em;
   border-style: solid;
   border-color: black;
   border-width:thin;
   font-family: "Times New Roman", serif;
   font-weight: bold;
   font-size: 14pt;
}

img.home {
   vertical-align: bottom;
}

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

/*
div.page {
   margin: 0.0em 0.0em 1.0em 0.5em;
}

a.page:link { color: black; background: #cfc; text-decoration: underline; }
a.page:active { color: black; background: #cfc; text-decoration: underline; }
a.page:visited { color: black; background: #cfc; text-decoration: underline; }

span.page {
   float: left;
   background: #cfc;
   padding: 0.1em 0.2em 0.1em 0.2em;
   margin: 0.0em 0.5em 0.0em -0.5em;
   border-style: solid;
   border-color: black;
   border-width:thin;
   font-family: "Times New Roman", serif;
   font-weight: bold;
   font-size: 18pt;
}
*/

/*
img.math { vertical-align: middle; }
img.math1 { vertical-align: -10%; }
img.math2 { vertical-align: -13%; }
img.math3 { vertical-align: -18%; }
*/

address { margin-top: 0.5em; }