@CHARSET "UTF-8";
#disambiguation {
	font-size: 13px;
	padding: 8px 10px;
}
#disambiguation ul {
	list-style-type: disc;
}
#disambiguation li {
	margin-bottom: 2px;
	margin-left: 16px;
}

#disambiguation-border {
	background-color: #ECECFF;
	border: 1px solid #BFBFFF;
	border-radius: 4px;
	margin: 30px;
	padding: 17px 14px 14px 14px;
}
#disambiguation-border #disambiguation {
	font-size: 15px;
	padding: 0px;
}
#disambiguation-border #disambiguation li {
	margin-top: 5px;
	margin-bottom: 6px;
}