body {margin: 0px 0px 0px 0px; font-family: Verdana, Helvetica, sans-serif;
font-size : 100%;  color: #000000; margin: 25px;
/*	margin: 0;
	padding-left: 3%;
	padding-right: 3%;
	padding-top: 2em;
	padding-bottom: 2em; */
	margin-left: 3%;
	margin-right: 3%;
/*
	margin-top: 2em;
	margin-bottom: 2em; 
	margin-top: 0;
	margin-bottom: 0.5em;
*/
}
DIV.left	{
	/* make the left column a float */
	float: left;
	width: 49.9%; /* no horizontal scrollbar on MSIE5 */
	/* leave the alignment to the other attributes */
	margin: 0;
	padding: 0;
	border-top-width: 0;
	border-style: none;
	}

DIV.right	{
	float: right;
	width: 50%;
	margin: 0;
	padding: 0;
	border-top-width: 0;
	border-style: none;
	}

DIV.bottom	{
	float: left;
	width: 100%;
	padding-top: .1em; /* margin messes up NN 4.5 */
	}

img { border: 0; }


table .title { background-color: #FFFFFF; width:100%; border: 0px; }
table {
    border: 1px solid #aaa;
    border-collapse: collapse;
    padding: 2px;
    margin-top: 0.5em;
    margin-bottom: 0;
}
                                                                                                                             
td, th {
    empty-cells: show; 
    padding: 0.1em 0.2em;
    vertical-align: top;
    text-align: left;
    line-height: 1.3em;
}


.pre { white-space: pre;}

h1 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 105%; font-weight: bold; color: #FF6600; text-decoration: none;}
h2 {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #aae51b; text-decoration: none; font-weight: bold; font-size: 100%;}
h3 {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #515151; text-decoration: none; font-weight: bold; font-size: 100%;}
h4 {  font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none; font-weight: bold; font-size: 90%;}
p {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333333; text-decoration: none; font-weight: normal; font-size: 100%;}
td {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333333; text-decoration: none; font-weight: normal; font-size: 100%;}
th {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333333; text-decoration: none; font-weight: bold; font-size: 100%;}
li {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333333; text-decoration: none; font-weight: normal; font-size: 100%;}
select {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333333; text-decoration: none; font-weight: normal; font-size: 100%;}
option {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333333; text-decoration: none; font-weight: normal; font-size: 100%;}
input {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333333; text-decoration: none; font-weight: normal; font-size: 100%; }
textarea {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333333; text-decoration: none; font-weight: normal; font-size: 100%;}


a:link {font-family: Verdana, Arial, Helvetica, sans-serif;  color: #666666; font-size: 90%;} 
a:visited {font-family: Verdana, Arial, Helvetica, sans-serif;  color: #999999; font-size: 90%; }
a:visited:hover {font-family: Verdana, Arial, Helvetica, sans-serif;  color: #999999; font-size: 90%;}
a.small {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #666666; font-weight: bold; font-size: 90%;}
a.small:link {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #666666; font-weight: bold; font-size: 90%;}
a.small:visited {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #666666; font-weight: bold; font-size: 90%;}
a.small:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #999999; font-weight: bold; font-size: 90%;}

.note { border: solid 1px #7099C5; background-color: #f0f0ff;}
.note .title {color: #7099C5; font-size: 110%;}

.warning { border: solid 1px #ff0000; background-color: #fff0f0; }
.warning .title {color: #ff0000; font-size: 110%; }

.example {border: solid 1px #666600; color: #666600; margin: 5px; font-size: 130%;}
.programlisting {border: solid 1px #666600; color: #666600; margin: 5px; font-size: 130%;}
.screen {border: solid 1px #666600; color: #666600; margin: 5px; font-size: 130%;}



.highlight { background-color: yellow; }
.legalese { font-size: 75%; }
.header { font-size: 75%; }