div.main { background: white; }

div.banner {
  color: black;
  background: rgb(255,255,150);
  margin: 0;
  padding: 0.5em 0.5em 0.5em 1em;
  border: 0;
}

div.banner a:link { 
  background: transparent;
  color: blue;
  text-decoration: none;
}

div.banner a:visited { 
  background: transparent;
  color: rgb(80,0,180);
  text-decoration: none;
}

div.banner a:hover { 
  background: transparent;
  text-decoration: underline;
}

div.heading { 
font-size: 120%;
font-weight: bold;
text-align: left;
margin-top: 1em;
margin-bottom: 1em;
}

div.menu { 
  font-size: 80%;
  text-align: left;
}

div.menu ul {
  list-style-type: disc;
  list-style-position: outside;
  text-indent: 0;
  margin: 0.3em 0 0.3em 0;
  border: 0;
  padding: 0;
}

div.menu li {
  margin: 0.1em 0 0.1em 1em;
  border: 0;
  padding: 0;
  text-align: left;
}

div.location { 
  font-size: 70%;
  font-family: Arial;
  font-weight: bold;
  text-align: left;
}

div.matinstbanner {
  color: #004477;
  background-color: #004477;
  font-family: Arial;
  top: 0;
  left: 0;
  bottom: 0;
  right: 0;
  padding-top: 0;
  padding-bottom: 0;
  margin-top: 0;
  margin-bottom: 0;
  margin-left: 0;
}

.su { 
  text-decoration: none; 
  color: white;
  background: transparent;
  font-size: 150%;
}

.mi { 
  text-decoration: none; 
  color: white;
  background: transparent;
  font-size: 200%;
  font-weight: bold;
}

table.lang { 
  background-color: rgb(200,200,200);
}

table.lang img { 
  border-style: inset;
  padding: 0;
  margin: 0;
}

table.lang a img { 
  border-style: outset;
}

table.lang td {
  background-color: transparent;
  vertical-align: middle;
  width: 35px;
  height: 25px;
}