/*
 * style.css: CSS style definition file
 * modified from ((<URL:http://www.ruby-lang.org/ja/man-1.6/style.css>)).
 * 2005/06/02 Y. Morikawa Update
 * 2005/04/13 M. Ishiwatari Update
 * 2005/02/13 M. Odaka
 */

body {
    color: black;
    margin-left: 5%;
    margin-right: 5%;
    line-height: 150%;
}

h1 {
    text-align: center; 
    line-height: 100%;
}

h2 {
    background-color: gainsboro;
}

h3
   {
    background-color: #99ff99;
    margin-right: 3em;
    margin-left: 0.5em;
}

h4
   {
     background-color: #ffff99;
    margin-right: 50%;
    margin-left: 1.0em;
}

h4, h5, h6 {
    font-family: verdana, arial, helvetica, Sans-Serif;
}



/*
div.header p.status { text-align: right; }
div.header p.last-modified { text-align: left; }
*/



p {
  margin-left: 2em;
}

ul {
  margin-left: 2em;
}

ul ul{
  margin-left: 1em;
}

ul p{
  margin-left: 0em;
}


li {
    line-height: 150%;
}


dt {
    font-weight: bold;
    margin-top: 2ex;
    margin-left: 1em;
}

em {
    color: #004080;
    font-family: arial, helvetica, Sans-Serif, gothic;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
}

code {
    padding-right: 0.5em;
    padding-top: 0.3em;
    padding-left: 0.5em;
    padding-bottom: 0.3em;
    background-color: #3e3e3e;
    color: #e6e6e6;
    text-decoration: underline;
}

pre {
    line-height: 100%;
    border-right: #646464 1px solid;
    padding-right: 0.5em;
    border-top: #646464 1px solid;
    padding-top: 0.5em;
    border-left: #646464 1px solid;
    padding-left: 0.5em;
    border-bottom: #646464 1px solid;
    padding-bottom: 0.5em;
    margin-left: 2em;
    margin-right: 2em;
    white-space: pre;
    background-color: #3e3e3e;
    color: #e6e6e6;
}

ol.rd2html_hindex
        { font-size: 80%;
	  list-style-type: decimal;
	  margin-left: 3ex;
          margin-right: 0ex;
          margin-top: 0ex;
          margin-bottom: 0ex;
          line-height: 100%;}
 
ol.rd2html_hindex ul
        { font-size: 100%;
	  list-style-type: decimal;
	  margin-left: 5ex;
          margin-right: 0ex;
          margin-top: 0ex;
          margin-bottom: 0ex;
          line-height: 100%;}