/* CSS Document */

.execphpwidget {
	background-color:#ccc;
	padding-bottom:0px;
	padding-top:8px;
	border-top-width: 1px;
	border-top-style: solid;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: none;
	border-top-color: #666;
}