a:link {
  color:rgb(10,20,150);
  text-decoration:none;
}

a:visited {
  color:rgb(35,70,255);
  text-decoration:none;
}

a:hover {
  color:rgb(0,30,60);
  text-decoration:underline;
}

body {
  color:rgb(0,0,0);
  background-color:rgb(255,255,240);
  line-height:110%;
  font:normal 100% 'Times New Roman',Times,serif;
}

h1.top {
  margin-top:0px;
  position:fixed;
  color:rgb(255,255,255);
  background-image:url("/graphics/tokyo.jpeg");
  text-align:left;
  width:1600px;
  font:bold 200% normal Helvetica,Arial,sans-serif;
  padding:0.7em 0em 0.8em 1em;
  border-bottom:thick ridge rgb(120,120,155);
}

table.top {
  margin-top:120px;
}

h2 {
  color:rgb(255,255,255);
  background-color:rgb(20,40,100);
  text-align:left;
  font:bold 120% normal Helvetica,Arial,sans-serif;
  margin:0.7em 0em 0.5em 0em;
  padding:2px 5px 2px 5px;
}

.menu {
  width:8em;
  font:bold 95% normal Helvetica,Arial,sans-serif;
}

td.menu {
  width:9em;
  height:16em;
  background-color:rgb(250,250,230);
  vertical-align:top;
}

td.data {
  vertical-align:top;
}

div.menu {
  position:fixed;
  color:rgb(255,255,255);
  background-color:rgb(50,100,180);
  text-align:left;
  line-height:1.1;
  padding:3px 5px 2px 5px;
}

div.menu p {
  margin:0;
  padding:0.2em 0.3em;
  border:0px none rgb(40,40,60);
  border-top:thin outset rgb(40,40,60);
}

div.menu p:first-child { border-top:none; }

div.menu p.inactive { color:rgb(150,150,150); }

div.menu p.subinactive {
  color:rgb(150,150,150);
  text-indent:1em;
  border-width:0px;
}

div.menu p.submenu {
  color:rgb(250,150,250);
  text-indent:1em;
  border-width:0px;
}

div.menu a {
  text-decoration:none;
}

div.menu a:link,
div.menu a:visited {
  color:rgb(255,255,255);
}

div.menu a:hover {
  color:rgb(50,100,180);
  background-color:rgb(255,255,255);
}

p.justify {
  text-align:justify;
}