@CHARSET "windows-31j";
P{line-height:120%}
UL{line-height:120%}
DL{line-height:120%}

A:link{     color:#8080FF;}
A:visited { color:#0033CC;}
A:active {  color:red;}
A{text-decoration:none}
A:hover{color:red;}

DIV.right { text-align: right;}

/* source code */
DIV.so{ background-color:#FAF6F6;
        color:#000000;
        border:thin;
	padding:8px;
        border-width: 1px 1px 1px 1px; 
        border-style: solid; 
        border-color: #885555; 
        margin-left: 0; 
        margin-right: 0; 
      }

/* comment for source */
P.co{ background-color:#FFFFFF;
      color:#5a5a5a;
      border:thin;
      padding:5px; 
      border-width: 0px 1px 1px 0px; 
      border-style: solid; 
      border-color: #558855; 
      margin-left: 50px; 
      width:50%;
    }

/* term */
DIV.term{ background-color:#000000;
          color:#FFFFFF;
          border:thin;
          padding:8px;
          border-width: 1px 1px 1px 1px; 
          border-style: none; 
          border-color: #000000; 
          margin-left: 0; 
          margin-right: 0; 
        }



/* HeadLine1 */
H1{ border-width: 3px 0 3px 0; 
    border-style: solid; 
    border-color: #003399; 
    margin-left: 0; 
    margin-right: 0; 
    font-weight: bold; 
    padding: 8px; 
    background-color: #E6E6FA; 
    color: #003399; 
  }

/* HeadLine2 */
H2{ border-width: 2px 0 2px 0; 
    border-style: solid; 
    border-color: #006666; 
    margin-left: 0; 
    margin-right: 0; 
    margin-top:50px;
    padding: 10px; 
    font-weight:bold;
    color:#006666;
    background-color:#E6FAE6
   }


/* BODY */
BODY{ background-color: #EEEEEE;
      background-image: url(http://www.itlb.te.noda.sut.ac.jp/~takuma/img/back.gif); 
/*      background-image: url(./img/back.gif); */
      padding-left:30px;
      padding-right:30px;
/*
      border-style:none;
      border-left-width:30px;  	
      border-right-width:30px;  	
*/
      color: #5a5a5a;
    }


/* Navigator */
div.menu{border-width: 0px 0 1px 0; 
          border-style: solid; 
          border-color: #003399; 
          margin-left: 0; 
          margin-right: 0; 
          padding: 2px; 
          color:#006666;
          font-size:small;
         }

div.end{ border-width: 1px 0 0px 0; 
          border-style: solid; 
          border-color: #003399; 
          margin-left: 0; 
          margin-right: 0; 
          padding: 2px; 
          color:#006666;
          font-size:small;
         }
div.c_co{
	color:#99FF00;
	}

P.ho{ background-color:#FFFFFF;
      color:#000000;
      border:thick;
      padding:8px;
      border-style: solid; 
      border-color: #8080FF; 
      margin-left: 0; 
      margin-right: 0; 
    }