table.bnf {
	width: 100%;
	font-family: "Teletype Model 37", monospace;
	line-height: 90%;
	font-size: 90%;
	margin: 0 auto;
}
.comment {
	padding: 10px 0;
	color: gray;
}
.separator { padding: 0 1% 0 0; }
.name, .separator { text-align: right; }
.rule { text-align: left; }
.name, .rule { width: 48%; }
.terminal { color: #ff9900; }