pre, pre code {
	border: none;
	box-shadow: none;
	padding: 1em;
}

.container {
	max-width: 100%;
}

.terminal-mkdocs-side-panel {
	max-width: 200px;  /* adjust to taste */
	min-width: 0;
}

.terminal-mkdocs-main-grid {
	grid-template-columns: 200px 1fr;  /* match the max-width above */
}