a.system {
	text-decoration: none;
}

ul {
	text-align: left;
}

ul ul.straight {
	margin-left: 1em;
}

ul.straight {
	margin-left: 2em;
}

#advice {
	color: #008000;
}

#attention {
	color: #CB3029;
}

#blist {
	margin-bottom: 3ex;
}

#comment {
	color: #0000FF;
}

#indent {
	text-indent: 1em;
}

#light {
	color: #808080;
}

#list {
	margin-bottom: 1ex;
}

#separated {
	margin-bottom: 1.5ex;
	margin-top: 1.5ex;
}