/* ---------------------------------------------------------------- */
/*     Copyright (C) GFD Dennou Club, 2005. All rights reserved.    */
/* ---------------------------------------------------------------- */
/*
=begin
= Cascade Style Sheet for gt4f90io Reference Manuals

   * Developers: Yasuhiro Morikawa (morikawa)
   * Version: $Id: gt4f90io.css,v 1.5 2006/01/16 06:46:24 morikawa Exp $
   * Tag Name: $Name: gt4f90io-20060121-2 $
   * Change History: 

=end
*/


a:link
/*      {color: #336666;} */
        {color: #000080;} 

a:visited
/*      {color: #669999;} */
        {color: #800080;} 

a:active
/*        {color: #666666;} */
        {color: #FF0000;} 

/*
a:hover
        {color: #99CCCC;}
*/

body
        { font-family: verdana, arial, helvetica, Sans-Serif;
          background-color: #C0F0C0; 
          color: #000000;
          margin-left: 5%;
          margin-right: 5%;
          line-height: 110%;
        }


/*

table
        { table-border-color-light: rgb(153,204,153);
          table-border-color-dark:  rgb(153,204,153);
          margin-left: 4ex;
          margin-right: 1ex;
          margin-top:0.5ex;
          margin-bottom:0.5ex}

*/


h1, h2, h3, h4, h5, h6
        { font-family: Arial }

  h1
        {
         font-family: "times roman", verdana, sans-serif; 
         text-align: center; 
         color: #FFFFFF;
         background: #338833;
         border-top: #338833 4px solid;
         border-bottom: #338833 4px solid;
         line-height: 120%;
        }


  h2
        {
         border-left:  #99ff99 0.6em solid;
         border-bottom: #00ff99 5px solid;
         margin-right: 30%;
         line-height: 120%;
        }

  h3
        { color: #208050;
          border-bottom: #000066 1px solid;
          /* margin-left: 25px; */
          margin-right: 15%;
          margin-top:2ex;
          margin-bottom:0ex }
  h4
        { color: #000000;
          /* padding-top: 0.2em;
          padding-left: 0.5em;
          border-top: #000066 1px solid; 
          border-left: #006600 5px solid;
          margin-left: 35px; 
          margin-right: 50% */}
  h5
        { color: rgb(204,153,51);
          /* margin-left: 4ex; */
          margin-right: 1ex }
  h6
        { color: rgb(153,153,51);
          /* margin-left: 5ex; */
          margin-right: 1ex }
pre
        {
          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: 8%;
          margin-right: 8%;
          white-space: pre;
          background-color: #E6E6E6;
          color: black;}


p
        { text-indent: 0;
          /* margin-left: 7ex; */
          margin-right: 1ex;
          /* margin-top:3ex; */
          /* margin-bottom:3ex; */
          line-height:150%}


ul      {
          margin-left: 6%;
          margin-top:1.0ex;
          margin-bottom:0.5ex;
          line-height:100%;
        }

ul ul   {
          margin-top:0.0ex;
        }

ul li  {
         margin-top:0.0ex;
         margin-bottom:0.0ex;
         line-height:150%;
        }

ol      { margin-left: 6% }

ol li   { line-height: 150%;}

ol.contents
        { font-size: 80%;
          margin-left: 0ex;
          margin-right: 0ex;
          margin-top: 0ex;
          margin-bottom: 0ex;
          line-height: 100%;}

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

dt      { 
          font-family: Arial
          font-style: normal;
          font-weight: bold;
          margin-left: 0.5em;
          margin-top: 1em;
          margin-bottom: 0.2em;
        }

em
        {
          font-style: normal;
          font-weight: bold;
          font-size: 100%;
        }


.update {font-size:80%;
         font-weight: bold;
         text-align: left;
         margin-top:0ex
         margin-bottom:0ex
         }

.left
        {margin-left:0ex;}
.large
        {font-size:120%;}
.script
        { font-family: Courier New }
.small
        {font-size:80%;}
.source
        { padding:2ex; background-color: #DBD7BE}
.results
        { margin-left: 8ex; padding:2ex}
p.source
        { width:100%; background-color: #FF0000}
textarea.source
        { margin-left: 8ex }