body {
    padding: 50px 150px 50px 150px;
    border-style: solid;
    border-width: 20pt;
    border-color: #790000;
}

body, p, li {
	font-family: monospace;
	font-size: 12pt;
}

#table-of-contents {
    color: black;
    background: #FFF;
    font-size: 80%;
    padding: .5em;
    /*margin: 1em -2em 1em 1em;*/
    float: right;
    display: block;
    border: 1px solid #CCC;
    max-width: 50%;
    overflow: auto;
}

#table-of-contents a  {
    color: #003333;
}

#table-of-contents a:hover {
    color: #003333;
    text-decoration: underline;
}

#table-of-contents li {
    margin: 0px;
}

#table-of-contents h2 {
    border: none;
}

img {
    border: 0px;
}

.title {
    color: #990000;
    padding-bottom: 7px;
    margin-bottom: 20px;
    border-bottom: 1px solid #222;
}

h2 {
    padding-bottom: 4px;
    margin-bottom: 5px;
    border-bottom: 3px solid #DDD;
}

h3 {
    color: #333333;
}

a {
    text-decoration: none;
    color: #006666
}

a:visited {
    text-decoration: none;
    color: #336666
}

a:hover {
    text-decoration: underline;
    color: #003333
}


#postamble {
	margin-top: 50px;
	border-top: 1px solid #DDD;
}

#postamble p {
	font-size: 0.75em;
	margin: 0px;
}

/* start style for menu */
#menu {
	float:right;
	width:100%;
	background:#ffffff;
	font-size:93%;
	line-height:normal;
	/*border-bottom:1px solid #666;*/
	}
#menu ul {
	margin:0;
	padding:10px 10px 0 50px;
	list-style:none;
	}
#menu li {
	display:inline;
	margin:0;
	padding:0;
	}
#menu a {
	float:right;
	background:url("images/tableftF.gif") no-repeat left top;
	margin:0;
	padding:0 0 0 4px;
	text-decoration:none;
	}
#menu a span {
	float:Left;
	display:block;
	background:url("images/tabrightF.gif") no-repeat right top;
	padding:5px 15px 4px 6px;
	color:#666;
	}
	
/* Commented Backslash Hack hides rule from IE5-Mac \*/
#menu a span {float:none;}
/* End IE5-Mac hack */
#menu a:hover span {color:#FFFFFF;}
#menu a:hover {background-position:0% -42px;}
#menu a:hover span {background-position:100% -42px;}


/* start style for example block and source code block */
.example {
    border: 1pt solid black;
    padding: 10pt;
    background: rgb(240, 240, 255);
    overflow: auto
}

pre {
      border: #777777 1px solid;
      padding: 0.5em;
      margin-left: 3em;
      margin-right: 3em;
      white-space: pre;
      background-color: #000000;
      color: #006400 ;
      font-family : Luxi Mono, Luxi Sans, Monospace, sans-serif, ËÎÌå;    
      font-size: 90%;
      overflow: auto;
      max-height: 3in;
}


/*
#ads-bar{
       width: 728px;
       height: 90px;
       float: center;
}
*/

#ads-vertical {
       /* background-color:#cccccc; */
       /* border:2px solid #333333; */
       width: 120px;
       height: 600px;
       float: right;
       position:absolute;
       top: 250px;
       right: 35px;
}