/* Padding is applied to the html tag, rather than a margin to the body tag.
   This is because Internet Explorer is faulty. */

html {
  padding: 5%;
}

body {
  color: #000000;
	background-color: #ffffff;
}

h1 {
  color: #00008b;
	background-color: #ffffff;
	text-align: center;
	font-family: Arial, Helvetica, Sans-Serif;
	font-weight: Bold;
	font-size: 23pt;
}

h2 {
  color: #00008b;
	background-color: #ffffff;
	text-align: center;
	font-family: Arial, Helvetica, sans-Serif;
	font-weight: Bold;
	font-size: 17pt;
}

h3 {
  color: #00008b;
	background-color: #ffffff;
	text-align: center;
	font-family: Arial, Helvetica, Sans-Serif;
	font-weight: Bold;
	font-size: 13pt;
}

div {
  color: #00000b;
	background-color: #ffffff;
	text-align: left;
	font-family: Verdana, Arial, Helvetica, Sans-Serif;
	font-size: 11pt;
}

div.attention {
	background-color: #ff0033;
	border-width: thin;
	border-style: solid;
	font-size: 80%
} 

a {
	text-decoration: underline;
}

a:link {
  color: #0000c0;
}

a:visited {
  color: #0c0000;
}

a:active {
  color: #000000;
}

a:hover {
  color: #000000;
	background-color: #ffff90;
}

div a.picture {
  padding: 0px;
}

div a.picture:link {
  color: #0000c0;
	background-color: #ffffff;
	text-decoration: none;
}

div a.picture:visited {
  color: #0c0000;
	background-color: #ffffff;
	padding: 0px;
	text-decoration: none;
}

div a.picture:active {
  color: #000000;
	background-color: #ffffff;
}

div a.picture:hover {
  color: #000000;
	background-color: #ffff90;
	text-decoration: none;
}

div h1 {
  color: #ffffff;
	text-align: left;
	font-family: Arial, Helvetica, Sans-Serif;
	font-weight: Bold;
	font-size: 15pt;
	background-color: #00008b;
	padding-left: 2em;
	border-top-width: thin;
	border-bottom-width: thin;
	border-style: solid;
	border-color: #000000;
	width: 20em;
}

div h2 {
  color: #ffffff;
	text-align: left;
	font-family: Arial, Helvetica, Sans-Serif;
	font-weight: Bold;
	font-size: 13pt;
	background-color: #a0a0c0;
	padding-left: 2em;
	border-top-width: thin;
	border-bottom-width: thin;
	border-style: solid;
	border-color: #000000;
	width: 20em;
}

div h3 {
  color: #000000;
  text-align: left;
  font-family: Arial, Helvetica, Sans-Serif;
  font-weight: Bold;
  font-size: 11pt;
  background-color: #ddffff;
  padding-left: 2em;
  border-top-width: thin;
  border-bottom-width: thin;
  border-style: solid;
  border-color: #000000;
  width: 20em;
}

div img {
  padding: 0px;
}

div div {
  color: #00000b;
  background-color: #efefef;
  padding: 1%;
  margin-left: 1%;
  margin-right: 1%;
}


div div div {
  color: #00000b;
  background-color: #e0e0e0;
  border-width: thin;
  border-style: dotted;
  border-color: #000000;
  padding: 1%;
  margin-left: 3%;
  margin-right: 3%;
  margin-bottom: 1em;
}


div p {
  text-align: left;
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 11pt;
}

div p.caption {
  text-align: left;
	font-family: Verdana, Arial, Helvetica, Sans-Serif;
	font-size: 9pt;
}

div p.abstract {
  text-align: left;
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 11pt;
  font-style: italic;
  margin-top: 0em;
  margin-bottom: 0em;
}


div.image {
  text-align: left;
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 9pt;
  font-weight: bold;
  float:right
}
	
div cite {
  margin-top: 0em;
  margin-bottom: 0em;
}

div span.smaller {
  font-size: 80%;
}

div span.editingcomment {
  font-size: 80%;
  color: #00000b;
	background-color: #e1efff;
}

div.menu {
  color: #000080;
  background-color: #c0c0c0;
  text-align: left;
  font-family: Arial, Helvetica, Sans-Serif;
  font-size: 12pt;
  margin-left: 1em;
  padding: 1em;
  border-width: thin;
  border-style: solid;
  border-color: #000000;
  float: right;
  display: block;
	line-height: 1.3em;
}

div.menu a {
  padding: 2px;
}

div.menu a:link {
  color: #0000c0;
	background-color: #c0c0c0;
}

div.menu a:visited {
  color: #0c0000;
	background-color: #c0c0c0;
}

div.menu a:active {
  color: #000000;
	background-color: #c0c0c0;
}

div.menu a:hover {
  color: #000000;
  background-color: #ffff80;
  text-decoration: underline overline;
}

div.menu p {
  color: #303030;
  font-size: 9pt;
	line-height: 1em;
}

div.menu p a:hover {
  background-color: #c0c0c0;
  text-decoration: none;
}

div.footer {
  color: #00000b;
	background-color: #e0e0e0;
  text-align: center;
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 12pt;
  padding: 3px;
  border-width: thin;
  border-style: solid;
  border-color: #000000;
	clear: both;
	line-height: 1.3em;
}

div.footer a {
  padding: 1px;
}

div.footer a:link {
  color: #0000c0;
	background-color: #e0e0e0;
}

div.footer a:visited {
  color: #0c0000;
	background-color: #e0e0e0;
}

div.footer a:active {
  color: #000000;
	background-color: #e0e0e0;
}

div.footer a:hover {
  color: #000000;
  background-color: #ffff90;
  text-decoration: underline overline;
}

div.footer a.valid:link {
  color: #0000c0;
	background-color: #e0e0e0;
}

div.footer a.valid:visited {
  color: #0c0000;
	background-color: #e0e0e0;
}

div.footer a.valid:active {
  color: #000000;
	background-color: #e0e0e0;
}

div.footer a.valid:hover {
  color: #000000;
	background-color: #e0e0e0;
}

div.footer p {
  text-align: center;
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 9pt;
}