div.inline_toc {
	margin : 0 0 1ex 2%;
}

ol.no_indent {
	margin : 2ex 0 0 0;
}

ul.no_indent {
	margin-left : 0;
	padding-left : 0;
}

ul.no_bullet {
	list-style-type : none;
	margin-bottom : 0;
	badding-bottom : 0;
}

ol.no_bottomspace {
	margin-bottom : 0;
	padding-bottom : 0;
}


li.inline_toc_ds {
	padding-bottom : 2ex;
}

li.inline_toc_ss {
	padding-bottom : 1ex;
}

li.inline_toc_last {
	padding-bottom : 0;
}