/* --*- Coding: utf-8-unix -*- */
/* --- header --- */
.header {
  width: 100%;
  padding: 3 6 0 6;
  margin: 0 0 0 0;	/* does this work well in all environment?? */
}

form {
  margin: 0;
  padding: 0;
}

.header span {
  color: #000000;
  font-weight: 700;
  border-style: solid;
  border-width: 1 1 0 8;
  width: 120;
  line-height: 20px;
  text-align: left;
  padding-left: 5;
  padding-top: 2;
  vertical-align: bottom;
}
.header span.menu0 {
  border-color: #0000dd;
  background-color: #eeffff;
}
.header span.menu1 {
  border-color: #008800;
  background-color: #e0ffe0;
}
.header span.menu2 {
  border-color: #dd0000;
  background-color: #ffeeee;
}
.header span.menu3 {
  border-color: #0000cc;
  background-color: #eef8ff;
}
.header span.menu4 {
  border-color: #ffcc66;
  background-color: #ffffcc;
}
.header a {
  color: #000000;
  text-decoration: none;
}    

.header a:hover {
  color: #cc0000;
}

/* --- footer --- */
.footer {
  width: 100%;
  padding: 3 6 0 6;
  margin: 0 0 0 0;
  border-style: solid;
  border-width: 6 0 0 0;
  border-color: #eeda9a;
}
.footer a {
  color: #005500;
  text-decoration: none;
}

.footer a:hover {
  text-decoration: underline;
}