/* This file contains CSS tweaks for this blueprint.
 * As an example, we included CSS rules that put
 * a vertical line on the left of theorem statements
 * and proofs.
 * */

div.theorem_thmcontent {
	border-left: .15rem solid black;
}

div.proposition_thmcontent {
	border-left: .15rem solid black;
}

div.lemma_thmcontent {
	border-left: .1rem solid black;
}

div.corollary_thmcontent {
	border-left: .1rem solid black;
}

div.proof_content {
	border-left: .08rem solid grey;
}

/* NetSpec verbatim blocks: inline comments run ~80 chars wide; default
 * theme wraps them mid-content. Force non-wrap + horizontal scroll and
 * shrink slightly so the alignment stays readable. */
pre {
	white-space: pre;
	overflow-x: auto;
	font-size: 0.9em;
}

/* Mobile viewport fix (issue #2): the leanblueprint theme sets
 * `body { height: 100vh; overflow: hidden }`, which clips the bottom
 * of content on Android Chrome and iOS Safari because mobile `vh`
 * units include the collapsible URL-bar's max height. `100dvh`
 * (dynamic viewport height) tracks the current visible viewport;
 * browsers that don't recognize it fall back to the theme's
 * `100vh`. */
body {
	height: 100dvh;
}