/** styles for php reference pages */

@import url(default.css);

object {
        height: 70%;
        width:  90%;
}

ul {
	margin-bottom: 20px;
}

li {
	margin: 2px;
}

table {
	font-family: verdana, helvetica, sans-serif ;
	font-size: 14px;
	width: 640px;
	margin-left: 20px;
	margin-bottom: 45px;
	border: 0px;
	border-collapse: collapse;
	border-spacing: 0px
}

th {
	background-color: #bbbbbb;
	padding: 7px 7px 7px 7px;
	text-align: left;
	border: 1px #ffffff solid;
}

td {
	padding: 7px 7px 7px 10px;
	text-align: left;
	border: 1px #ffffff solid;
	background-color: #e0e0e0;
}

td.symbol
{
	width: 75px;
	padding-left: 7px;
	text-align: center;
	font-weight: bold;
}

td.example
{
	text-align: left;
	padding-left: 20px;
}

td.result
{
	text-align: center;
}

table.compact {
	font-size: 12px;
	width: 240;
	margin:  0px 0px 0px 0px;
}

table.compact td {
	padding: 3px 3px 3px 8px;
	border: 1px #ffffff solid;
	background-color: #e0e0e0;
}

table.compact th {
	padding: 5px 5px 5px 5px;
}

div.bounds {
	float: left;
	margin:  0px 20px 20px 0px;
	padding: 0px 0px 0px 0px;
}

table#unicode {
	width: 600;
}

table#unicode td {
	padding: 3px 3px 3px 4px;
}

td.symbol {
	width: 32px;
	background-color: #efefef;
	padding: 1px 2px 1px 2px;
}


/** end */
