body {
	font-family: sans-serif;
	margin: 0;
	padding: 0 0 10px 0;
	text-align: center;
}

.group-text {
	display: inline-block;
}

.deemphasize {
	color: #aaa;
}

input {
	font-size: inherit;
	max-width: 100%;
	box-sizing: border-box;
}
input[type=text] {
	font: inherit;
}



/*** Invisible space for correct text wrapping *************************************/
.invisiblespace {
	font-size: 0pt;
}


/*** Header and footer *************************************************************/
.header {
	background-color: #2b3034;
	color: #fff;
	border-bottom: 1px solid #ffd800;
	padding: 0.5em 0;
	text-align: center;
}
@media (min-width:500px) {
	.header {
		padding: 1em 0;
	}
}

h1, .subtitle {
	display: inline-block;
}
.subtitle {
	margin-left: 0.5em;
}

h1, h2 {
	margin: 0;
	padding: 0;
	font-size: 120%;
}
h1 a {
	color: inherit;
	text-decoration: none;
}
h2 {
	margin-top: 1em;
	font-size: 110%;
}

@media (min-width:500px) {
	h1 {
		font-size: 160%;
	}
	h2 {
		font-size: 140%;
	}
}


.info, .footnote {
	text-align: center;
	padding: 0 1em;
}
.info {
	margin-bottom: 1em;
}
.info .stopref {
	margin: 0.4em 0;
}

@media (min-width:500px) {
	.info {
		width: 400px;
		text-align: right;
		min-width: 30%;
		max-width: 1000px;
		margin-left: auto;
		margin-right: auto;
	}
	.info .stopref {
		float: left;
		margin: 0;
	}
}

.bottom-search div {
	margin: 0.3em 0;
}


/*** Search elements ***************************************************************/
.mainsearch input {
	font-size: 120%;
}

@media (min-width:500px) {
	.mainsearch input {
		font-size: 140%;
	}
}

.search {
	margin-top: 1em;
}

/*** Error messages  ***************************************************************/
.user-error {
	color: #333;
	margin: 1em 0;
	font-size: 150%;
}

/*** Line numbers ******************************************************************/
span.line-nr {
	display: inline-block;
	text-align: center;
	width: 2em;
	padding: 0.1em;
	border: 2px solid transparent;
	border-radius: 5px;
}
span.small.line-nr {
	font-size: 75%;
}