style.css

/* https://aykevl.nl/2014/09/fix-jumping-scrollbar */
@media screen and (min-width: 55rem) {
	html {
		margin-left: calc(100vw - 100%);
		margin-right: 0;
	}
}

body {
	max-width: 50rem;
	margin: 0 auto;
}

/* small screen */
body:not(.show-nav) #tree {
	display: none;
}

body.show-nav .toggle-nav {
	font-weight: bold;
}

@media (min-width: 40rem) { /* big screen */
	.toggle-nav {
		display: none;
	}
	body:not(.show-nav) #tree {
		display: block;
	}

	#tree {
		max-width: calc(14rem - 50px);
		float: left;
	}

	#main {
		margin-left: 14rem;
	}
}

.nav-item .nav-item .nav-link {
	padding-left: 2rem;
}

.nav-item .nav-item .nav-item .nav-link {
	padding-left: 3rem;
}

.subtitle {
	font-style: italic;
}

.identifier {
	font-family: monospace;
}

.alert.warning-test {
	clear: right;
}

.attribute.name {
	margin-top: 1.5rem;
	font-size: 1.3rem;
}

#searchresults {
	/* Sorry about this... It is required to correctly position the search box
	 * when using a d-none button to toggle the dropdown. */
	top: initial !important;
	transform: initial !important;
}

#templates {
	display: none;
}

h1 {
	margin: 1rem 0;
}

.items {
	margin-left: 1.5rem;
}