.example_src_xmp, .example_src_pre 
	{
	padding-left: 1em;
	border-right: 1px dotted #ccc;
	margin: 0;
	}
	
/* 
xmp breaks out of the .example div on all browsers. so padding
bottom doesn't really do anything. oh well, we write a few br's
after each example. 
*/
.example { 
	padding-top: 1em; 
	padding-bottom: 1em;
	}
	
.example_src { 
	float: left; 
	width: 50%; 
	}

.example_res { 
	float: right;  
	width: 45% ; 
	}

.example_res_top 
	{
	background: url(browser-top.gif) 0 0; 
	background-repeat: no-repeat;
	padding-top: 40px;
	margin-right: 40px;
	}
	
.example_res_bot
	{
	background: url(browser-bottom.gif) bottom left; 
	background-repeat: no-repeat; 
	padding-bottom: 23px;
	}
	
.example_res_mid 
	{
	background: url(browser-left.gif) #efefef  0 0; 
	background-repeat: repeat-y;
	padding-left: 5px;
	padding-bottom: 40px;
	}
	
.tag
{
	margin-left: 1em;
}

.tag_start
{
	color: #039;
	font-weight: bold;
}

.tag_end
{
	color: #039;
	font-weight: bold;
}

.tag_content
{
	font-family: monospace;
}

.tag_optional
{
	font-style: italic;
	font-size: smaller;
}

.code
{
	margin: 1em;
	padding: 1em;
	border-left: medium solid #66f;
}
	
dd { 
	border-bottom: 1px dashed #ccc;
}
dt {
	padding-top: 1em;
}