@charset "ISO-2022-JP";

BODY {
     background-image : 
     url(http://www.yl.is.s.u-tokyo.ac.jp/~oiwa/images/bg2.jpg);
     background-color: #e4ecf5;
     font-family : "Palatino Linotype", "Book Antiqua", "Palatino", "URW Palladio L", 
       		   Kyoto, "MS Mincho", serif;
     font-size : 100%;
     margin : 5pt 3em;
}
/* Sans Serif Fonts */
H1, H2, H3, H4, H5, H6, 
FONT.autoindex-fileinfo,
FONT.common-linkupdate,
DIV.common-footer {
     font-family : "Humnst777 Cn BT", "Humanist 777 Condensed", 
                   "Humnst777 BT", "Humanist 777", 
                   "Lucida Sans Unicode", "Tahoma", 
                   "Helvetica", "Arial", Osaka, "MS Gothic", sans-serif;
}

H1 { /* page title */
     font-weight : 600;
     font-size : 200%;
     color: #4040a0; 
     background-color: #c0c0f0;
     text-align: center;
     border: 3pt double #202080;
     padding: 0.5em 0pt;
     margin: 2pt -1em 20pt -1em;
}
H2 { /* section title */
     font-size : 140%;
     color:#6060c0;
     background-color: #e4ecf5;
     border : solid black;
     border-width: thin 5pt;
     padding-left : 0.7em;
     margin : 1em -1em;
}
H3 { /* subsection title */
     font-size : 120%;
     color:#6060c0;
     border : solid black;
     border-width: 0pt 0pt thin 3pt;
     padding-left : 0.7em;
     margin : 1em 0em;
}
H4 {
     font-size : 110%;
     color:#6060c0;
     margin : 0.8em 20% 0.5em 0em;
     padding-left : 0.5em;
     padding-right : 0.5em;
     border : solid #6060c0;
     border-width: 0.7pt 0pt 0.7pt 0pt;
}
H5 {
     font-size : 110%;
     color:#6060c0;
     margin : 0.8em 30% 0.5em 0em;
     border : solid #6060c0;
     border-width: 0pt 0pt 0.5pt 0pt;
}
H6 {
     font-size : 100%;
     color:#6060c0;
     margin : 0.8em 40% 0.5em 0em;
}

SPAN.nospam, FONT.nospam { display : none ; }
HR.phantom { width : 0pt ; display : none ; border-width : 0pt; }
HR.block { 
           margin : 1em 5pt
}
FONT.common-header-update-date {
  font-size: 80%;
}
FONT.common-linkupdate,
FONT.autoindex-fileinfo {
  font-size: 80%;
  font-weight : 300;
  color:#6060c0;
}
DIV.common-header-link {
  font-size : 90%;
}
DIV.common-footer { 
  font-weight : 300;
  padding : 0pt 10pt;
  border-width : thin;
  border-style : solid;
  background-color : #e0e0ff;
  margin-top : 4em;
  font-size: 80%;
  margin-left : auto;
  margin-right : 0;
  width : 80%;
}
DIV.common-myname {
  font-size: 120%;
}
DIV.common-footer-myaddr P {
  margin-bottom : 2pt;
  padding-bottom : 0em;
}
DIV.common-footer-myaddr UL {
  margin-top : 0em;
  padding-top : 0em;
  line-height : 1;
}
DIV.common-footer-rcsid {
  font-family : "lucida console", monospace;
  font-size: 50%;
  text-align: center;
}