a:link{
  color : #000000;
  font-weight : normal;
  text-decoration : none;
}

a:visited{
  color : #000000;
  font-weight : normal;
  text-decoration : none;
}

a:hover{
  color : #000000;
  font-style : italic;
}

form {
  padding:0px;
  margin:0px;
}

body{
  background : #FFFFFF;
  color : #101639;
  font-family : Arial, Helvetica, sans-serif;
  font-size : 85%;
}

h2{
  color : #0000CD;
  font-family : Arial, Helvetica, sans-serif;
  font-size : medium;
  font-weight : normal;
}

h3{
  color : #0000FF;
  font-family : Arial, Helvetica, sans-serif;
  font-size : large;
}

h4{
  color : #3255A6;
  font-family : Arial, Helvetica, sans-serif;
  font-size : 118%;
}

ol,ul {
  font-family : Arial, Helvetica, sans-serif;
}

p,td,th {
  font-family : Arial, Helvetica, sans-serif;
  font-size : 85%;
}

.glossary {
  font-weight : bold;
}

.keysentence {
  color : #800000;
  padding-left : 40px;
  padding-right : 40px;
}

.keyword {
  color : #800000;
}

.navbuttons {
  font-family : Arial, Helvetica, sans-serif;
  font-size : 80%;
}

.navposition {
  font-family : Arial, Helvetica, sans-serif;
  font-size : 80%;
}

.navsubsections {
  background-color : #CAD8FF;
}

.pagetitle {
  color : #800000;
  font-size : 138%;
  font-weight : normal;
}

.searchbar {
	font-family : Arial, Helvetica, sans-serif;
	font-size : 80%;
}

.searchfrm{
	font-family : Arial, Helvetica, sans-serif;
	font-size : 80%;
}

.tiptable {
  background-color : #CAD8FF;
}

.tiptd {
  background-color : #FFFFFF;
  font-size : 72%;
}

.tipth {
  color : #800000;
}