/* ====================================================================== +/
     CSS  for HTML 4.01 
     $Id: text.css,v 1.2 2003/09/17 13:01:27 kshimz Exp $
/+ ====================================================================== */

body {
  color: black;
  background-color: white;
  line-height: 1.3em ;
  margin: 0em;
}

div { clear: both;  }

div.main   { margin: 0em 3em 0em 3em; }
div.header { margin: auto; text-align: center ; }
div.body   { margin: 1em 5% 2em 5%; }
div.footer { text-align: center ; }

h1 {
  font-size: 2.0em; 
  font-family: Times, serif;
  font-weight: bolder; 
  clear: both;
  margin: 0.5em 0em 0.5em;
}
h2 {
  font-size: 1.4em ; 
  font-weight: bolder ; 
  clear: both; 
  margin: 0.5em 0em 0.5em; 
}
h3 {
  font-size: 1.2em ; 
  font-weight: bolder ; 
  clear: both; 
  margin: 1em 0em 0.5em; 
}
h4 {
  font-size: 1.2em;
  font-weight: bolder;
  clear: both;
  margin: 1em 0em 0.5em;
}

p {
  clear: both;  
  line-height: 1.2em;
  text-indent: 1em;
}

p.noindent { text-indent: 0em;  }

p.movement {
  text-align: center ;
  font-size: 80%;
  margin: 1.5em 0em 0.5em;
  padding: 1.0em 0em 0em;
  border-top: 1pt solid ;
}

dl { line-height: 1.2em;  }
ol { line-height: 1.2em;  }
ul { line-height: 1.2em;  }

pre { font-family: monospace}
em  { font-style: italic; color: rgb(0, 0, 153) }

strong { font-weight: bolder }

blockquote {
  font-style: normal ;
  margin:  1em 2em;
  padding: 0.5em 1em;
  line-height: 1.2em;
  background: #eee ;
}

table {
  margin: 0em auto 1em 1em ; 
}

thead {
  background: #ffc;
  text-align: center;
}

tfoot { background: #ffc ; }

td  {
  padding: 1px 2px ;
}  

td.title  { text-align: center ; }

br  { clear: both;  }

a { text-decoration: none ;}

a:link    { color: #4040f0 }
a:visited { color: #4040f0 }
a:hover   { color: #008080; text-decoration: underline; }
a:active  { color: #ff0000 ; text-decoration: underline;}

/* ====================================================================== +/
     attributes
/+ ====================================================================== */

.right  { text-align: right ; }
.left   { text-align: left ; }
.center { text-align: center ; }

.big    { font-size: 120% ; }
.small  { font-size: 90% ;  }
.tiny   { font-size: 80% ;  }
.bolder { font-weight: bolder ; }

.symbol { text-align: center ; }
.string { text-align: left ; }
.num    { text-align: right ; }

.rubi    { font-size: 80% ;  }
.lastupd { font-size: 80% ;  }
.comment { font-size: 90% ; color: green ; }

.credit  { font-weight: bolder ; }
.remarks { color: red ;  }
.warning { font-weight: bolder ; color: red ; }
.strong  { font-size: 110% ; font-weight: bolder;}

.nostyle { list-style-type: none ;  } 


.speedbar {
  text-align: center ;
  text-indent: 0em;
  line-height: 1.2em;
  padding: 0.5em 0.5em;
  border-top: 1pt solid;
  border-bottom: 1pt solid;
}

.current {
  text-align: left;
  text-indent: 1em;
  line-height: 1.2em;
  padding: 0.5em 0.5em;
  background: #cfcfff;
}

.indent    { margin: 0em 0em 0em 1em;  }
.indent2   { margin: 0em 0em 0em 2em;  }