.current {
	background-color: gray;
}

.property-yes {
	font-weight: bold;
}

p {
	padding-top: 1em;
}

p.table {
	padding: 0;
	margin: 0;
}

h3 {
	padding-top: 1em;
}

p.source {
	font-style: italic;
}