/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */

.codebox {
        border:1px solid black;
        background-color:#EEEEFF;
        white-space: pre-line;
        padding:10px;
        font-size:1.2em;
        display: inline-block;
}

  table { border-style: none;
    border-color: rgb(17, 17, 17);
    padding-top: 0px;
    margin-top: 0px;
    }

  p { text-indent: 0em;
    margin-top: 0pt;
    font-family: Arial,Helvetica,sans-serif;
    line-height: 18px;
    margin-bottom: 6px;
    font-size: small;
    }

  td { font-family: Arial,Helvetica,sans-serif;
    font-size: small;
    }

  em { font-style: italic;
    font-weight: bold;
    }

  pre { font-family: monospace;
    }

  strong { text-transform: uppercase;
    font-weight: bold;
    }

  div.box { border: thin solid ;
    width: 100%;
    }

  *:link { color: rgb(0, 0, 153);
    }

  *:visited { color: rgb(153, 0, 153);
    }

  a:active { color: rgb(255, 0, 102);
    }

  a:hover { color: rgb(0, 96, 255);
    }

  #navcontainer { width: 200px;
    }

  #navcontainer ul { margin-left: 0pt;
    padding-left: 0pt;
    list-style-type: none;
    font-family: Arial,Helvetica,sans-serif;
    }

  #navcontainer a { border-bottom: 1px solid rgb(238, 238, 238);
    padding: 3px;
    display: block;
    width: 160px;
    background-color: rgb(0, 51, 102);
    }

  #navcontainer a:link, #navlist a:visited { color: rgb(238, 238, 238);
    text-decoration: none;
    }

  #navcontainer a:hover { background-color: rgb(51, 102, 153);
    color: rgb(255, 255, 255);
    }

  h1 { font-family: Garamond,sans-serif;
    font-size: x-large;
    text-align: left;
    }

  h2 { font-family: Garamond,sans-serif;
    font-size: large;
    text-align: left;
    }

	li.A {
		margin-bottom:10px;
        }
        
li {
	margin-top: 6px;
    }