body{line-height:24px;min-width:900px;}
ol,ul{list-style:none;}

table{border-collapse:collapse;border:1px;border-color:#ffffcc;border-spacing:0px;font-size:12px;}

body{background:#ffffff;color:#000;font-family:Arial,Helvetica,sans-serif;font-size:80%;}


pre {
	font-size: 12px;
	padding: 10px;
	margin-top: 5px;
	margin-bottom: 5px;
	background-color: #F1FFEA;
	border: 1px dashed #ccc;
	line-height: 20px; /*--Height of each line of code--*/
	width: 95%;
	overflow: auto; /*--If the Code exceeds the width, a scrolling is available--*/
	overflow-Y: hidden;  /*--Hides vertical scroll created by IE--*/
}

pre {
	overflow-x: auto; /* Use horizontal scroller if needed; for Firefox 2, not needed in Firefox 3 */
	white-space: pre-wrap; /* css-3 */
	white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
	white-space: -pre-wrap; /* Opera 4-6 */
	white-space: -o-pre-wrap; /* Opera 7 */ /*
	width: 95%; */
	word-wrap: break-word; /* Internet Explorer 5.5+ */
}

b,strong{font-weight:bold;}
i,em{font-style:italic;}
ul{list-style:disc;margin-left:3px;margin-bottom:1em;}
ol ul,ul ol,ul ul,ol ol{margin-bottom:0;}
p{clear:both;margin-bottom:1em;}
ol{list-style:decimal;margin-left:3px;margin-bottom:1em;}
a{color:4A6B82;text-decoration:none;cursor:pointer;}
a:hover{text-decoration:underline;background-color=orange}
a:visited{color:#4A6B82;}

h1{font-family:Trebuchet MS,Helvetica,sans-serif;font-weight:bold;font-size:170%;margin-bottom:7px;border:1px;}
h2{font-family:Trebuchet MS,Helvetica,sans-serif;font-size:110%;font-weight:bold;margin-bottom:3px;}
h3{font-family:Trebuchet MS,Helvetica,sans-serif;font-size:130%;font-weight:bold;margin-bottom:5px;}
h4{font-family:Trebuchet MS,Helvetica,sans-serif;font-size:100%;font-weight:bold;margin-bottom:2px;}

hr{border:0;color:#aaa;background-color:#aaa;height:1px;margin:0px;}


#full
{MARGIN: 5px,0px,0px,0px ; WIDTH: 100%;min-width:900px; BACKGROUND-COLOR: #fff; ZOOM: 1;padding:0px;
BORDER-BOTTOM: #888 0px solid; BORDER-LEFT: #bbb 0px solid;BORDER-RIGHT: #bbb 0px solid;BORDER-TOP: #bbb 0px solid;}

#top{MARGIN:0px; WIDTH: 100%;min-width:900px; BACKGROUND-COLOR: #ffffff; height=60px;}