.matching {
	background-color: #f0f0f0;
}

thead {
	background-color: silver;
}

.panel-heading {
	font-size: 1.5em;
}

.gitrev {
	font-family: monospace;
}

.table > tbody > tr > td,
.table > tbody > tr > th,
.table > tfoot > tr > td,
.table > tfoot > tr > th,
.table > thead > tr > td,
.table > thead > tr > th {
	vertical-align: middle;
}

/* see https://stackoverflow.com/questions/16958049/how-to-center-vertically-a-floating-div-inside-an-inline-block */
.page-header {
	display: flex;
	justify-content: center;
	align-items: center;
}

.page-header img {
	display: inline-block;
	margin-right: 1%;
	padding-right: 1%;
	border-right: solid 2px #eee;
	width: 100px;
	height: 100px;
}

@media screen and (max-width: 450px) {
	.page-header img {
		width: 60px;
		height: 60px;
	}

	.page-header h1 {
		font-size: 2em;
	}
	
	.container {
		min-width: 450px;
	}
}

.page-header .headertext {
	display: inline-block;
}