h6 {  font-size: xx-small; font-style: normal; line-height: normal; font-weight: lighter}

.tiny {  font-family: Arial, Helvetica, sans-serif; font-size: xx-small; font-style: normal; font-weight: lighter; color: #FF0033}


/* ###### Side Boxes ###### */

.sideMenuBox, .sideTextBox {
  background-color: #f0f0f0;
  width: 15.5em;
  border-bottom: 1px solid #999999;
  padding-top: 1px;
  padding-bottom: 1px;
  float: none;
  clear: both;
}

.sideMenuBox div, .sideTextBox div {
  font-weight: bold;
  padding-left: 0.5mm;
  padding-bottom: 1ex;
}

.sideMenuBox a {
  text-decoration: none;
  display: block;
  padding: 1.5ex 1ex 1.5ex 5mm;
}

.sideMenuBox a:hover {background-color: #6487dc;}

.sideMenuBox .thisPage {
  display: block;
  padding: 1.2ex 1ex 1.2ex 5mm;
}

.sideTextBox span {
  line-height: 1.5em;
  display: block;
  padding: 0 1ex 0 5mm;
}

.sideTextBox a {
  text-decoration: none;
  border-bottom-style: solid;
  border-bottom-width: 1px;
}

.sideTextBox a:hover {
  border-bottom: none;
}

.lighterBG {
  background-color: white;
}
.redunderline {
	border-top-width: medium;
	border-right-width: medium;
	border-bottom-width: medium;
	border-left-width: medium;
	border-top-style: none;
	border-right-style: none;
	border-bottom-style: solid;
	border-left-style: none;
	border-top-color: #FF0000;
	border-right-color: #FF0000;
	border-bottom-color: #FF0000;
	border-left-color: #FF0000;
}
.redunderlinebold {

	border-top-width: thick;
	border-right-width: thick;
	border-bottom-width: thick;
	border-left-width: thick;
	border-top-style: none;
	border-right-style: none;
	border-bottom-style: solid;
	border-left-style: none;
	border-top-color: #FF0000;
	border-right-color: #FF0000;
	border-bottom-color: #FF0000;
	border-left-color: #FF0000;
}
.redunderlinethin {

	border-top-width: thin;
	border-right-width: thin;
	border-bottom-width: thin;
	border-left-width: thin;
	border-top-style: none;
	border-right-style: none;
	border-bottom-style: solid;
	border-left-style: none;
	border-top-color: #FF0000;
	border-right-color: #FF0000;
	border-bottom-color: #FF0000;
	border-left-color: #FF0000;
}