html
{
	margin: 14px;
}


.example
{
	display: block;
	background-color: #f7f7f7;
	padding: 5px 10px;
	line-height: 16px;
	margin-left: 22px;
	border-right: 1px solid gray;
	border-bottom: 1px solid gray;
	border-top: 1px solid #e8e8e8;
	border-left: 1px solid #d3d3d3;
	font-family: Monaco, monospace;
	font-size: 11px;
	white-space: pre;
}

.menu
{
	display: block;
	background-color: #e0e0ff;
	padding: 5px 10px;
	line-height: 20px;
	border-right: 2px solid #c0c0ff;
	border-bottom: 2px solid #c0c0ff;
	border-top: 2px solid #f0f0ff;
	border-left: 2px solid #e0e0ff;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14px;
	white-space: pre;
	
	width: 100px;
}

li
{
	border-bottom: 1px solid #c0c0ff;
	border-top: 1px solid #f0f0ff;
	padding: 1px;
	margin: 0px;
	white-space: pre;
}