table.menu
{
	background-color: #80C0FF;
}

td.menu
{
	text-align: center;
	font-family: "Arial", sans-serif;
	font-size: 1em;
}

td.menuleft
{
	text-align: left;
}

a.menu
{
	text-decoration: none;
	font-weight: bold;
}

a.menu:link{color: rgb(128,0,255);}
a.menu:visited{color: rgb(128,0,255);}
a.menu:hover{color: rgb(255,0,128);}

a.footnote:link{color: rgb(0,192,0);}
a.footnote:visited{color: rgb(0,192,0);}
a.footnote:hover{color: rgb(0,192,0);}

a.preview
{
	font-size: 1.2em;
	text-decoration: none;
	font-weight: bold;
}

a.preview:link{color: rgb(0,0,0);}
a.preview:visited{color: rgb(0,0,0);}
a.preview:hover{color: rgb(255,128,0);}

a.previewh1
{
	text-decoration: none;
}

a.previewh1:link{color: rgb(0,0,0);}
a.previewh1:visited{color: rgb(0,0,0);}
a.previewh1:hover{color: rgb(255,128,0);}

h1
{
	font-family: "Arial", sans-serif;
	font-size: 1.8em;
}

h1.sub
{
	font-family: "Arial", sans-serif;
	font-size: 1.2em;
	margin-left: 2em;
	font-style: italic;
}

h2
{
	font-family: "Times New Roman", serif;
	font-size: 1.5em;
}

h3
{
	font-family: "Times New Roman", serif;
	font-size: 1em;
	font-style: italic;
	font-weight: bold;
	text-align: center;
}

p
{
	font-family: "Times New Roman", serif;
	font-size: 1em;
	text-align: justify;
}

li
{
	font-family: "Times New Roman", serif;
	font-size: 1em;
	text-align: justify;
}

span.footnote
{
	color: rgb(0,192,0);
	text-decoration: underline;
}

span.symbol
{
	font-family: "Symbol", "SymbolProp BT", "Greek", serif;
}

a:link { color: rgb(0,0,255); }
a:visited { color: rgb(192,0,192); }
a:hover { color: rgb(255,64,0); }

p.center
{
	text-align: center;
}

p.right
{
	text-align: right;
}

p.left
{
	text-align: left;
}

p.picture
{
	font-size: 0.8em;
	font-style: italic;
	text-align: left;
}

p.author
{
	text-align: right;
	font-style: italic;
	font-weight: bold;
}

p.reference
{
	font-size: 0.8em;
	text-align: left;
	margin-width: 0;
	padding: 0pt 0pt 0pt 0pt;
}

p.preview
{
	font-size: 0.8em;
	text-align: left;
	font-style: italic;
}

p.example
{
	font-weight: bold;
	text-decoration: underline;
	border-style: none none solid none;
	border-width: 1pt;
}

table.box p
{
	font-size: 0.8em;
}

p.box
{
	font-size: 0.8em;
	text-align: left;
}

table.box
{
	border-style: none;
	background-color: #D0D0D0;
	border-spacing: 10pt;
}

table.box td
{
	padding: 10pt;
}

table.nopadding td
{
	padding: 0pt;
}

table.picture
{
	border-style: none;
	border-spacing: 5pt;
}

td.picture
{
	border-style: none;
	background-color: #FFFFFF;
}