@media screen {
	main {
		padding-top: 80px;
		padding-bottom: 60px;
	}
}

/* A bit more space after first header on page */
main h1.title {
	margin-bottom: 1rem;
	line-height: 1;
}

main h2,
main h3 {
	display: inline-block;
	border-bottom: 1px solid lightgray;
	padding-right: 3rem;
	padding-bottom: 0.5rem;
	margin-top: 0.5rem;
	margin-bottom: 1.5rem;
}

/* Sub navigations */
.sub-nav {
	width: 12rem;
	padding-left: 1rem;
	padding-top: 0.5rem;
	padding-bottom: 0.5rem;
	margin: 0 0 2rem 2rem;
	border-left: 3px solid #efa60f;
	/* .shadow */
	box-shadow: 0 0.5rem 1rem rgba(0, 0, 0, 0.15) !important;
}

.sub-nav ul {
	list-style: none;
	padding-left: 0;
	margin-bottom: 0;
}

.sub-nav ul a {
	color: black;
}

.sub-nav ul a.active {
	font-weight: bold;
}

code {
	font-size: inherit;
}

pre > code {
	padding: 0.75rem 1.25rem;
	display: block;
	border: 1px solid #dee2e6 !important;
	border-radius: 0.25rem !important;
	background-color: #f8f9fa !important;
}

div.edit > form {
	background-color: lemonchiffon;
	padding: 0 10px;
}

/* Redefine xs buttons from Bootstrap 3 */
.btn-group-xs > .btn,
.btn-xs {
	padding-top: 0.3rem !important;
	padding-bottom: 0.2rem !important;
	padding-left: 0.1rem !important;
	padding-right: 0.1rem !important;
	font-size: 0.875rem;
	line-height: 1;
	border-radius: 0.2rem;
}

.btn > i {
	/* .fa-fw */
	width: 1.25rem;
	text-align: center;
}

.btn > i:not(:last-child) {
	margin-right: 0.5rem;
}