body { text-align: justify; background: white; font-family: Ariel, Verdana, Helvetica, sans-serif; font-size: 9pt; }
p { text-align: justify; font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 9pt}
pre {font-family: courier; text-align: left;}

td { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 9pt; background:#FEFEFE; }

tr { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 9pt; background: #FEFEFE; 
border: dotted;}

th { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 9pt; background: #C0C0C0; }

li { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 9pt }
ul { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 9pt }
h1 { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 16pt; color: #0066CC}
h2 { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 12pt; color: #0066CC}
h3 { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 11pt; color: #0066CC}
.white {  color: #FFFFFF}
a:hover {  color: #FF0000}
.small {  font-size: 8pt}
th { font-family: Ariel, Verdana, Helvetica, sans-serif ; font-size: 9pt ; font-style: italic; 
font-weight: bold; background: DDD; }
.nounderline {  text-decoration: none}
.big {  font-size: 16pt}
.c { text-align: center }
.l { text-align: left }
.r { text-align: right }
.j { text-align: justify }
.flash { background: CCC; }
.darkborder {background: black; color: #FFFFFF}
.red { color: red; }
.smallscholar {font-size: 6pt; color: pink;}
.scholarlink { color: grey; }
.pink {color: pink;}
.lightgrey { color: lightgrey; }
.darkgrey { color: darkgrey; }
.submission { color: #500000; }
.grey { color: grey; }
small { font-size: 8pt;}
.left {text-align: left;}

.redb
{
	text-align:left;
	background: F88;
	font-size: 9pt;
}

.cryptotd
{
	text-align:left;
	background: white;
	font-size: 9pt;
}

.cryptoth
{
	background:	#F0F0F0;
	text-align:	left;
	font-size:	11pt;
	height:		16pt;
	margin-left:	20px;
}

div.banner {
  margin: 0;
  font-size: 90% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;           /* Fallback if 'fixed' is not supported */
  position: fixed;
  top: 1em;
  left: auto;
  width: 14em;
  right: 0.1em;
}

div.banner p {
  margin: 0;
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background: #999;             /* Override according to type of page */
  border: thin outset #999;     /* Override this color together with bg */
  color: white;
}