blockquote {
	font-size: 1.26em;
	padding: .375em .75em;
}

table {
	border-collapse: collapse;
	border-spacing: .75em;
}

th {
	font-weight: normal;
	text-align: right;
}

td {
	padding: 0 0 0 .75em;
}

th:first-child, td:first-child {
	padding-left: 0;
}

th:last-child, td:last-child {
	padding-right: 0;
}

.no {
	text-decoration: line-through;
}

table {
	border-bottom: .75em solid #fff;
	border-top: .75em solid #fff;
}

.proof .premise {
	border-top: .75em solid #fff;
}

.proof .premise:first-child {
	border-top: none;
}

.box {
	display: inline-block;
	padding-right: 2.25em;
}

.box + .box {
	padding-right: 0;
}