#foldheader {
	FONT-WEIGHT: bold; CURSOR: hand
}
#foldinglist {
	
}
.submenu {
	MARGIN-BOTTOM: 0.5em
}