@charset "utf-8";

body
{margin:0em 0em 0em 0em; padding:0px; text-align:center; color:#333333;
 background:#fcfcfc; font-family:Verdana,Helvetica,Arial,sans-serif;}

a:link   {color:#0000ff; text-decoration:none;}
a:visited{color:#0000cc; text-decoration:none;}
a:hover  {color:#0000ff; background:#ffffff; text-decoration:underline;}

img   {border-width:0px;}
em    {color:#333333; text-decoration:none; font-style:bold;}
strong{color:#333333; text-decoration:none; font-style:bold;}
h1    {font-size:125%; font-weight:bold; color:#333333;
       margin:10px 0px}
h2    {font-size:110%; font-weight:bold; color:#333333;
       margin:2em 0em 0.5em 0em; padding:0em 0em 0em 0.5em;
       border-style:double; border-width:0em 0em 0em 0.5em; border-color:#009900;}
h3    {font-size:100%; font-weight:bold; color:#333333;
       margin:1em 0em 0em 0em; text-decoration:underline; }
h4    {font-size:80%; font-weight:bold; color:#333333;
       margin:1em 0em 0em 0em;}
/*
ul    {margin:0.0em 2.0em 1.0em 1.5em; padding:0em; list-style:circle;}
*/
ul    {margin:1.0em 1.5em; padding:0em; list-style:circle;}
ul ul {margin:0.0em 2.0em 1.0em 1.5em; padding:0em; list-style:square;}
hr    {visibility:hidden;}
p     {text-indent:1em; margin:1em 0em 0em 0em;}
pre   {margin:0em; font-family:monospace;}

.figure   {text-align:center; margin:1em; }
.notice   {border-style:solid; border-width:1px; padding:1em;
           line-height:1.25;}
.comment  {border-style:solid; border-width:2px; padding:1em;
           line-height:1.25; border-color:#999999; }
.code     {border-style:solid; border-width:1px; padding:1em;
           font-size:80%; font-family:monospace; margin-top:0.5em;
           line-height:1.2; }
.code2    {border-style:solid; border-width:1px; padding:1em;
           font-size:80%; font-family:monospace; margin:0.5em;}
.code3    {border-style:solid; border-width:1px; padding:1em;
           font-size:80%; font-family:monospace; margin:0.5em;
           line-height:100%; }
.output   {border-style:solid; border-width:2px; padding:1em;
           font-size:60%; font-family:monospace; margin:0.5em;
           border-color:#000099; }
.console  { background:#333333; color:#eeeeee; line-height:1.2em; padding:1em;
           font-size:80%; font-family:monospace; margin:0.5em;
           border-color:#000099; }
.console2 { background:#333399; color:#ffffff; line-height:1.2em; padding:0.5em;
           font-size:80%; font-family:monospace; margin:0.5em;}
.console2{
   color:#ffffff;
   background-color:#333399;
   padding:0.5em;
   margin:0.5em;
   font-family:monospace;
}

.consolequote{
   color:#ffffff;
   background-color:#000000;
   padding:0.5em;
   margin:0.5em;
   font-family:monospace;
   font-size:xx-small;
}

.q        { font-family:monospace; }
.dir      { font-family:monospace; }

#top
{width:80%; margin:0px auto; padding:1em 1em 1em 1em;
 border-style:solid; border-width:2em 0em 0em 0em; border-color:#009900;}

#header
{margin:0em; padding:0em; text-align:left;}
#header span{font-size:90%;}

#menu
{margin:0px; padding:0px; text-align:left; font-size:80%;}
#menu dl{margin:10px 0px; padding:0px;}
#menu dt{margin:0px 5px; padding:0px; display:inline;}
#menu dd{visibility:hidden; display:none;}
#menu hr{visibility:hidden;}

#main
{float:right; width:78%; margin:0em; padding:0em 0em 0em 1em;
 text-align:left; font-size:100%; line-height:1.5;
 border-style:dashed; border-width:0em 0em 0em 1px; border-color:#666666;}

#full
{width:85%; margin:0em; padding:0em 0em 0em 1em;
 text-align:left; font-size:100%; line-height:1.5;}

#sub
{float:left; width:10em; margin:0em; padding:0em 0em 0em 0.5em;
 text-align:left; font-size:90%; line-height:170%;}

#footer
{clear:both; margin:10px 0px; padding:10px;
 font-size:70%; text-align:right;
 border-style:dashed; border-width:1px 0px 0px 0px; border-color:#666666;}
#footer span{visibility:hidden; display:none;}

.pagetop{display:block; margin:10px 0px; padding:5px 0px 0px 0px;
 text-align:right; font-size:90%;}

.download{
 list-style-image: url(img/bluball.gif);
}