/* main.css */

/* Setting for Japanese common style */

@charset "UTF-8";

BODY {
  line-height: 130%;
  background: #ebe7e1;
  color: #000000;
  font-family: Georgia, "メイリオ", Meiryo, "游明朝", YuMincho, "ヒラギノ明朝 ProN W3", "Hiragino Mincho ProN", serif;
}

A:link    { color: #0000ff; }
A:visited { color: #800080; }

H1 {
  font-size: 150%;
  margin-top: 3ex;
}

H2 {
  font-size: 110%;
  margin: 0;
}

H2.abstract {
  font-size: 110%;
  margin-top: 3ex;
}

P {
  text-indent: 1em;
}

#toppage {
  margin-top:   5ex;
}

P.authorname {
  text-indent: 0;
  font-variant: small-caps;
}

P.updated {
  text-indent: 0;
  font-family: Georgia, serif;
  font-style: italic;
}

PRE.stereogram {
  line-height: 100%;
  white-space: pre;
  font-family: "Courier New", monospace;
}

PRE, OL, DL, DIV {
  margin-top: 1ex;
  margin-bottom: 1ex;
}

DIV.footer {
  width: 100%;
  clear: both;
  margin-top: 3ex;
}

ADDRESS {
  margin-right: 4%;
}

P, UL, DD {
  margin-top: 1ex;
  margin-bottom: 1ex;
}

UL.contents {
  list-style-type: none;
}

EM.modified {
  font-family: Georgia, serif;
  font-style: italic;
  font-size: 80%;
}