.main {
	width: 600px;
	margin: auto;
}

dt {
	font-weight: bold;
}

dl.tabular > dt {
	float: left;
	font-weight: bold;
}

dl.tabular > dd {
	margin-left: 7ex;
}

dl.tabular > dd > ul {
	padding-left: 1em;
}

.right_note {
	text-align: right;
}

.math_line {
	display: block;
	text-align: center;
}

.TeX_definitions {
	display: none;
}

ul.conditions {
	list-style-type: disc;
}

ol.conditions {
	list-style-type: lower-roman;
}