@import url('bootstrap.min.css');

@media only screen and (max-width: 600px) {
	td.res-icon, td.res {
		padding-bottom: 0.5em;
	}
}

* {
	font-size: inherit !important;
}

body {
	padding: 0.5em;
	background-color: #fefefe;
}

td.res {
	padding-top: 4px;
	padding-left: 0.25em;
}

td.info {
	padding-left: 0.25em;
}

#topnav a {
	margin-top: 0.25em;
	margin-right: 0.75em;
}

#topnav a img {
	margin-top: -0.25em;
}

input {
	border: solid 1px #1188aa;
}

pre {
	font-family: monospace;
}