a.pdf { border: 1px solid black; line-height: 1rem; padding: 0.2rem; }
a.pdf img { margin: 0px; padding: 0px; }
html { font-size: 14px; }
.inline-img-big { max-height: 200px; max-width: 100%; }
#search-toggle { background-color: rgba(0,0,0,0.08); margin-left: 10px; padding: 0.2em; }
@media (max-width: 576px) {
	.schema-navbar-logo { margin-left: 15vw; margin-right: 5vw; }
}
@media (min-width: 577px) and (max-width: 767px) {
	.schema-navbar-logo { margin-left: 15vw; margin-right: 5vw; }
}