/* CSS Document */

#banner
{
	margin: 0 auto 0 0;
	background-color: #99CCFF;
	height: 25px;
}

#banner_title
{
	font-size: 12px;
	color: black;
	font-style: italic;
	font-family: Times Times New Roman, Verdana;
	padding-left: 10px;
	padding-top: 5px;
}

#banner_text
{
	font-size: 12px;
	color: black;
	font-style: normal;
	font-family: Times Times New Roman, Verdana;
	font-weight: bold;
	padding-left: 10px;
}

#content_text
{
	font-family: Times Times New Roman, Verdana;
	font-size: 14px;
	padding-right: 10px;
	padding-left: 10px;
	padding-top: 5px;
	margin-left: 20px;
	margin-right: 20px;
}

.syntax
{
	padding-right: 10px;
	padding-left: 10px;
	background-color: #f0f0f0;
	padding-bottom: 10px;
	padding-top: 10px;
	border-right: #b0b0b0 1px solid;
	border-top: #b0b0b0 1px solid;
	border-left: #b0b0b0 1px solid;
	border-bottom: #b0b0b0 1px solid;
}

.h4
{
	margin-left: -20px;
}

.code
{
	color: #000099;
}