/* fwtk.css */
/* Cascading Style Specifications for FWTK project homepage */
/* Created by CHIBA Shoju (schiba@reitaku-u.ac.jp) 2002/11/22 */
/* Last modified 2002/11/22 by CHIBA Shoju */

/* line-hight specifications avoided because of the wrong interpretation by IE3 & NN3 */
/* Note: Background images stored under the directory css, otherwise images are not shown properly with Netscape 4.x */

 body { margin-left: 10%; 
        margin-right: 10%;
        background: #FFCC99; /* url(images/o023.jpg) */
        color: black; }
 h1, h2, h3, h4, h5, h6 { color: #990000; /* black; */ }
 h2 { text-align: left;
/*      margin-left: 2%; */
      font-size: large;
      font-weight: bold; }
 p { line-height: 150%; 
     font-size: medium; }
 a { font-weight: bold; }
 a:hover { color: #996600; background: #FFFFA0; }
 a:link { color: #990000;
/* underline-decoration go wrongly with Netscape */
/* (name-attribute carries underline) */
          text-decoration: underline;
         }
 a:visited { color: #CC6633;
             text-decoration: underline; }
 a:active { color: #ff8000;
            text-decoration: underline; }
 div.description { margin-left: 10px 20px 10px 20px;
                   border-width: thin;
                   border-style: solid;
                   border-color: #990000;
                   padding: 0.5em; }
 div.description li { list-style-image: url("images/button1.gif");
                         font-size: medium; }
 div.explanation { margin: 10px 0 10px 0;
                   font-size: smaller; }
 div.menu { background-color: #990000;
            color: FFCC99;
/*            font-family: sans-serif; */
          }
 div.note { text-align: center;
            font-weight: bold;
            font-size: smaller;
            color: 990000;
            margin: 10px 0 10px 0; }
 div.nav { text-align: right;
           font-size: smaller;
           color: #CC6633; }
 div.nav a:link { text-decoration: none;
                  color: #CC6633; }
 div.nav a:visited { text-decoration: none; }
 strong { font-weight: bold;
/*        font-size: medium; */
          font-style: normal;
          background-color: #990000;
          color: #FFCC99; }
 em { color: #006600;
      font-weight: bold;
      font-style: normal;
      color: #CC6633; }
 span.link { font-size: 10pt;
             font-weight: bold;
             color: #990000; }
 address { font-style: normal; 
           font-size: 10pt; }
 .en { font-family: "Times New Roman", serif; }
