h2 {
	padding: 2px 10px 2px 5px; font-weight: bold; margin-right: 15%; margin-left: 5px; border-bottom-color: rgb(0, 0, 0); border-left-color: rgb(0, 0, 0); border-bottom-width: 1px; border-left-width: 5px; border-bottom-style: solid; border-left-style: solid; white-space: normal;
}
h3 {
	padding: 2px 10px 2px 5px; font-weight: bold; margin-right: 15%; margin-left: 10px; border-bottom-color: rgb(105, 105, 105); border-left-color: rgb(105, 105, 105); border-bottom-width: 1px; border-left-width: 3px; border-bottom-style: solid; border-left-style: solid; white-space: normal;
}
h4 {
	padding: 2px 10px 2px 5px; font-weight: bold; margin-right: 15%; margin-left: 15px; border-bottom-color: rgb(153, 153, 153); border-left-color: rgb(153, 153, 153); border-bottom-width: 1px; border-left-width: 1px; border-bottom-style: solid; border-left-style: solid; white-space: normal;
}
p {
	margin-right: 20%; margin-left: 25px;
}
pre {
	margin-right: 20%; margin-left: 30px; background-color: rgb(221, 221, 221);
}
ul.top {
	margin-right: 15%;
}