#contract, #insertions {
	margin: 0;
	padding: 5px;
	background-color:#fff;
	border-top: 1px solid gray;
}
#contract p, #contract li {
	font-size: 1em;
	line-height: 1.6em;
}
#contract a {
	text-decoration: none;
	background-color: yellow;
	color: black;
}
/*
#bad_contract_tiplist {
	position:relative;
	top:0;
	left:0;
}
*/
.bad_contract_tip {
	font:12px/19px Arial,Helvetica,sans-serif;
	border:solid 1px #999;
	width:270px;
	padding:6px;
	position:absolute;
	z-index:100;
	visibility:hidden;
	color:#000;
	top:0;
	left:0; 
	background-color:#eee;
	layer-background-color:#eee;
}
.alt {
	display:block;
	margin:4px;
}
.language {
	background-color:#ffe;
	color:#006;
}
.insert {
	padding-left: 15px;
	text-indent: -15px;
}
.insert em {
	font-weight: bolder;
}
#contract ol, #insertions ol {
	list-style: decimal outside;
	margin-left: 20px;
}