div.tip
{
	float: right;
	width: 35%;
	padding: 8px;
	margin: 8px 0px 12px 12px;
	border: solid 1px #778;
	background-color: #eff;

	font-family: sans-serif;
	font-size: 80%;
}







div.code_background
{
	background-color: #ddd;
	padding: 8px;
	color: #000;
	overflow: auto;
}

table.code_table
{
	font-family: monospace;
	font-size: 13px;
	border: none;
	border-collapse:collapse;
}

td.line_number
{
	background-color: #ffb;
	padding: 0px 12px;
}

td.code_line
{
	padding: 0px 8px;
	white-space: nowrap;
}

pre.code_output
{
	font-family: monospace;
	background-color: #ddd;
	padding: 8px;
}








span.php_comment
{
	color: #080;
}

span.php_tag
{
	color: #b0b;
	font-weight:bold;
}

span.php_keyword
{
	color: #606;
}

span.php_string
{
	color: #00d;
}

span.php_var
{
	color: #0bb;
}

span.php_const
{
	color: #b00;
}