A:link {
    text-decoration: none;
}
A:visited {
    text-decoration: none;
}
A:hover {
    text-decoration: underline;
}

H2 {
  color: #993399;
}

H1,H3 {
  text-align: center;
}

TD {
  padding-right: 30px;
  vertical-align: top;
  padding-bottom: 5px;
}

BODY {
  font-family: Tahoma;
  margin-left: 50px;
  margin-right: 50px;
  margin-top: 10px;
  margin-bottom: 10px
}

.smallcaps {
  font-variant: small-caps;
}

.goto {
  font-size: xx-small
}

.ref {
	vertical-align: super; 
	font-size: smaller 
}

.gap {
  padding-bottom: 20px
}

.emph {
  font-weight: bold;
  color: #6633CC
}

PRE {
  background: #DDDDDD;
  padding-top: 20px;
  padding-left: 20px;
  padding-right: 20px;
  padding-bottom: 20px
}

TABLE.OPT {
  background: #FFFFCC;
  padding-top: 20px;
  padding-left: 20px;
  padding-right: 20px;
  padding-bottom: 20px
}