@import "manual.css";
p.version {
	border-top: 2px groove #8070C0;
}
h1 {
	border-bottom: 2px groove #8070C0;
}
h2 {
	background-color: #C8C0FF;
	padding-left: 4pt;
}
h3 {
	background-color: #E8E4FF;
	padding-left: 4pt;
}
h4 {
	background-color: #F4F0FF;
	padding-left: 4pt;
}
div.note {
	background-color: #E8E8E8;
}