body {
  font-family: Georgia, serif;
  line-height: 125%;
  color: #000;
  background: #dfdfff;
  background-image: none;
  margin: 1em 1em 0em 1em;
  padding: 0em;
}

/* links */
a {
  background: #d4d4ff;
  color: #000;
}
a:link {
  background: #d4d4ff;
  color: #0000ef;
}
a:visited {
  background: #d4d4ff;
  color: #000070;
}
a:hover {
  background: #c4c4ff;
  color: #101010; 
}
a:active {
  background: #80b0b0; 
  color: #000000;
}

/* other elements */ 
.nav {
  background: #c0c0f0;
  color: #000;
  padding: .5em;
}
.nav a {
  background: #c0c0f0;
  color: #000;
padding: .5em;

}
.nav a:hover { color: #101010; background: #b0b0ff; }
.nav a:active { color: #000000; background: #80b0b0; }
.navicon div {
  text-align: right;
}
.navicon img {
  float: right;
}

.navtop {
  background: #c0c0f0;
  color: #000;
  padding: .5em;
}

.navbore {
  font-size: 50%;
  text-align: right;
  background: #c0c0f0;
  color: #888;
  padding: .5em;
}
.navbore a {
  background: #c0c0f0;
  color: #000;
}
.navbore a:visited {
  background: #c0c0f0;
  color: #000;
}
.navbore br {
  clear: right;
}


/* splash screen */
table.splash {
    border-collapse: collapse;
    border: 0px;
    padding: 0px;
    spacing: 0px;
}
td.splash_blank {
    width: 48px;
    padding: 0px;
    background-color: #000;
}
td.splash_icon {
    width: 48px;
    padding: 0px;
    background-color: #000;
    vertical-align: middle;
    text-align: center;
}
td.splash_icon_tl {
    width: 48px;
    padding: 0px;
    vertical-align: bottom;
    text-align: right;
    background-color: #000;
}
td.splash_icon_tr {
    width: 48px;
    padding: 0px;
    vertical-align: bottom;
    text-align: left;
    background-color: #000;
}
td.splash_icon_bl {
    width: 48px;
    padding: 0px;
    vertical-align: top;
    text-align: right;
    background-color: #000;
}
td.splash_icon_br {
    width: 48px;
    padding: 0px;
    vertical-align: top;
    text-align: left;
    background-color: #000;
}
td.splash_text {
    width: 48px;
    padding: 1px;
    text-align: center;
    font-size: smaller;
}