h1 {
	float: left;
}

body {
	padding: 25px;
}

.definition1 {
	font-weight: bold;
}

.rule_num {
	margin-left: 0px;
	font-weight: bold;
}

.rule_level_1 {
	margin-left: 12px;
}

.rule_sub_header {
	margin-left: 20px;
	padding-top: 15px;
}

.rule_sub_num {
	margin-left: 20px;
	display: block;
}

.rule_sub_sub_num {
	margin-left: 40px;
	display: block;
}

.dyntoc > ul {
	margin: 20px;
}

.otherStuff {
	background-color: AliceBlue;
	font-style: italic;
	border-style: double;
	margin-left: 100px;
	margin-right: 100px;
	padding: 10px;
	margin-top: 30px;
}
.logo_image {
	float: right;
	padding-bottom: 15px;
}

.rule_sub_list {
	margin-left: 25px;
}