footer { font-size: 70% }
nav { font-size: 90% }
code { color: #6c757d }
.information { font-size:90% }

.striped .row:nth-of-type(even) {
	background-color: #f8f9fa;
}
.hovered .row:hover {
	background-color: #f8f9fa;
}