body {
  width: 70%;
  margin: 2em auto;
  padding: 0em;
  border: 1px solid #cccccc;
  color: #3f3f3f;
  background-color: #ffffff;
  line-height: 1.5em;

  /*
  background-image: url("http://www.hikoboshi.org/styles/hiko/bg30.png");
  background-position: left bottom;
  background-repeat: no-repeat;
     */
}

h1,h2,h3,h4,h5,h6 {
  font-weight: normal;
}

h1 {
  text-align: center;
  text-shadow: 2px 2px 2px #999999;
  font-family: Skia;

  margin: 0em;
  padding: 1em;

  border-width: 0px 0px 1px 0px;
  border-color: #cccccc;
  border-style: solid;
}

h2 {
  margin: 1em;
}

h3 {
  text-decoration: underline;
  margin: 1em 2em 0em 2em;
}

p {
  margin: 0.5em 3em;
}

div {
  margin: 0.5em 3em;
}

pre {
  border: 1px solid #cccccc;
  background-color: #fcfcfc;
  margin: 1em;
  padding: 0.5em;
  font-family: monospace;
  white-space : pre;
}

a {
  color: #333333;
}

a:hover {
  color: #000000;
  text-shadow: 2px 2px 2px #999999;
}

img {
  border-width: 0px;
}

/* class */
.note {
  color: #999999;
  font-size: x-small;
}

/* title */
#title {
  text-align:right;
  text-shadow: 2px 2px 2px #999999;
  font-family: Skia;
}

/* menu */
#subtitle {
  font-family: monaco;
  font-size: smaller;
}

#subtitle input {
  color: #909090;
  background-color: #ffffff;
  font-family: Monaco;
  font-size: smaller;
  border: 0px none #ffffff;
}

#menu {
  float: right;
  border-width: 1px 1px 0px 1px;
  border-style: solid;
  border-color: #cccccc;
  font-family: Monaco;
  margin: 0px;
  padding: 0px;
}

#menu div {
  border-bottom: 1px solid #cccccc;
  padding: 0.1em 10px;
}

#menu div:hover {
  color: #ffffff;
  background-color: #909090;
}

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

#menu div a:link, #menu div a:visited {
  color: #909090;
}

#menu div a:hover, #menu div a:active, #menu div a:focus {
  color: #ffffff;
}

/* navigation */

#navigation {
  font-size: small;
  text-align: right;
  color: #aaaaaa;
}

#navigation a {
  color: #999999;
}

/* credit */

#credit {
  font-size: x-small;
  text-align: center;
  border-top: 1px solid #f0f0f0;
}