/*
 * davis.css: CSS style definition file for davis
 * modified from ((<URL:http://www.ruby-lang.org/ja/man-1.6/style.css>)).
 * 2007/03/10 (M. Odaka)
 * 2006/05/25 (M. Odaka)
 * 2005/11/06 (Y. Morikawa) background URL is changed to local site
 * 2005/08/11 (Y. Morikawa) Update
 * 2005/06/02 (Y. Morikawa) Update
 * 2005/04/13 (M. Ishiwatari) Update
 * 2005/02/13 (M. Odaka)
 */

a:link {
    color: #007777;
}

a:visited {
    color: #aa6666;
}

a:active {
    color: #FF0000;
}

body {
    /* background: #EEEEEE; */
    /* background: url(http://www.gfd-dennou.org/html/htmltool/wall_d.gif); */
    background: url(/html/htmltool/wall_d.gif);
    /* color: black;*/
    color: #003333;
    margin-left: 5%;
    margin-right: 5%;
    /* font-size: 10.5pt; */
    font-family: verdana, arial, helvetica, Sans-Serif;
    line-height: 150%;
}

h1 {
    font-family: "times roman", verdana, sans-serif; 
    text-align: center; 
    /*color: #FFFFFF;*/
    /*background: #9999FF;*/
    /*border-top: #9999FF 4px solid;*/
    /*border-bottom: #9999FF 4px solid;*/
    border-top: #000066 1px solid;
    border-bottom: #000066 1px solid;
    line-height: 200%;
}

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

h2 {
    /*border-left: #9999ff 0.6em solid; */
    /*border-bottom: #0099ff 5px solid; */
    margin-right: 30%;                
}

h3
   {
    color: #003366;
    /* border-bottom: #000066 1px solid;*/
    /* margin-right: 35%; */
    margin-top:2ex;
    margin-bottom:0ex;
    margin-left: 0.5em;
}

h4
  {
    margin-left: 1.0em;
}

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

ul
  {
    margin-left: 2em;
}

ul ul
  {
    margin-left: 1em;
}
 

li {
    line-height: 150%;
}


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

p
  {
   margin-left: 2em;
}

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;
}

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

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

ol p {
  margin-left: 0em;
  padding: 0;
}
 
 
/*
address {
    color: gray;
    background: #EEEEEE;
    text-align: right;
    font-family: Times, serif;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
}
*/


/*
var {
    color: #408000;
}
*/

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

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: #e6e6e6;
    color: black;
}

/*
span.download {
    font-weight: normal;
    color: blue;
    background: #EEEEEE;
}

.path {
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

.navi {
    text-align: right;
}
*/