/*===========================================================================*/
/* (C) 2003 Eiji Uchibe. All Rights Reserved.                                */
/*                                                                           */
/*  URI : http://www.cns.atr.jp/cnb/crp/                                     */
/*  Version: $Id: index.css,v 1.4 2004/03/10 09:01:17 uchibe Exp $  */
/*  Type: Cascading Style Sheet                                              */
/*===========================================================================*/
html {
  direction: ltr;
}

body {
  font-family: "Arial", "Helvetica", "Times New Roman", sans-serif;
  color: #333;
  background: #fff;
  font-size: 100%;
  line-height: 150%;
  margin: 0;
  padding: 0;
}

h1 {
  font-size: 200%;
  margin: 0;
  margin-left: 2%;
  padding: 0;
  border: 0;
  font-style: normal;
  font-weight: bold;
  color: #333;
  background: #fff;
  line-height: 150%;
}

h2, h3, h4, h5, h6, img, em, dfn, ul li.here{
  font-size: 100%;
  margin: 0;
  padding: 0;
  border: 0;
  font-style: normal;
  font-weight: bold;
}

pre {
  font-family: 'Courier New', Courier, monospace;
  color: #111111;
  background: #eeeeee;
  border: 2px solid #dddd3d;
  padding: 1%;
  margin-right: 2%;
  margin-left: 2%;
}

code {
  font-size: 90%;
  line-height: 1.2;
}

strong {
  color: #f00;
  background: transparent;
}

ul {
  margin-right: 0;
  margin-left: 0;
}

ul.pub {
  margin-left: 5%;
  margin-right: 5%;
}

hr{
  width: 96%;
  display: none;
  height: 1px;
  margin: 0 2% 0;
  text-align: center;
} /* fixer for Mozilla */

address {
  font-style: normal;
}
.center {
  text-align: center;
}

ul.place {
  line-height: 150%;
  padding: .1% 1%;
  color: #333;
  background: #eee;
  border-top: 1px solid #999;
  border-bottom: 1px solid #999;
}
ul.place li {
  display: inline;
}
ul.place li ul {
  display: inline;
  padding: 0;
}
a:link, a:visited{
  color: #0000f9;
}

/*===========================================================================*/
/*===========================================================================*/
div#normal {
  clear: left;
  width: 95%;
  padding: 1% 1%;
  margin-left: 1%;
  margin-right: 1%;
}
div#normal ul li {
  list-style: disc;
  display: list-item;
  line-height: 160%;
  margin-left: 5%;
}
div#footer {
  clear: left;
  width: 100%;
  position: relative;
  text-align: right;
  padding: 1% 0%;
  border-top: 1px solid #999;
  margin-right: 2%;
}
div#update {
  margin-left: 2%;
  margin-right: 2%;
  text-align: right;
}
div#update em{
  font-style: italic;
  color: #ee0022;
}
div#footer p {
  margin: 0; padding: 0;
}

div#normal dl dt{
  list-style: none;
  display: list-item;
  line-height: 160%;
  margin-left: 2%;
}

div#normal dl dd{
  list-style: none;
  display: list-item;
  line-height: 160%;
  margin-left: 5%;
}

/*===========================================================================*/
/*  Left and Right                                                           */
/*===========================================================================*/
div#left{
  float: left; width: 25%;
  margin: 2% 1%;
}
div#right{
  float: left; width: 65%;
  margin: 2% 1%;
}
div#right p{
  margin: 0 0 1.5%;
}
h2.index, h3.index{
  width: 70%;
  padding-left: 5%;
  color: #ffffff; /* #00247e; */
  background: #ff991a;
  border-top: 1px solid #999;
  border-left: 1px solid #999;
  border-right: 3px solid #999;
}
h4{
  margin-top: 1%;
}
div.topic{
  border-top: 1px solid #999;
  border-bottom: 3px solid #999;
  border-left: 1px solid #999;
  border-right: 3px solid #999;
  padding: 1.5% 3.5% 2%;
  margin-bottom: 1.5%;
}
div.topicimage {
  float: right;
}

div#left ul{
  padding: .5em 2% .5em 8%;
}
div#left ul li{
  /* list-style: none; */
  display: list-item;
  padding: 0;
  line-height: 160%;
  margin-left: 0%;
}
div#right ul{
  padding: 0 2% 0 5%;
}
div#normal h2{
  border-bottom: 1px solid #ff991a;
  border-right: 1px solid #ff991a;
  border-left: 1px solid #ff991a;
  border-top: 1px solid #ff991a;
  font-size: 140%;
  padding-left: 1%;
  padding-top: 1%;
  color: #00247e;
  background: #eeeeee;
}
div#normal h3.command{
  border-bottom: 1px solid #ff991a;
  border-right: 1px solid #ff991a;
  font-size: 120%;
  padding-left: 1%;
  padding-top: 1%;
  color: #00247e;
}
div#normal h3{
  font-size: 120%;
  padding-left: 5%;
  padding-top: 1%;
  border-bottom: 1px solid #999;
  border-right: 1px solid #999;
}
em
{
  font-style: normal;
  font-weight: 600;
  color: #7d00ff;
}

ul li{
  list-style-type: disc;
  display: list-item;
}