/* Shared styling for theorem, lemma, corollary, proposition, 
conjecture and definition environments: */
/* div[id^="thm-"], div[id^="lem-"], div[id^="cor-"], div[id^="prp-"], div[id^="cnj-"], div[id^="def-"] {
	background-color:rgb(240,240,240);
	padding:0.5ch;
	border-radius:0.5ch;
	margin-bottom:1ch;
} */

div[id^="thm-"], div[id^="lem-"], div[id^="cor-"], div[id^="prp-"], div[id^="cnj-"], div[id^="def-"] {
	background:rgba(255,0,0,0.025);
	padding:0.5ch;
	border:1px solid black;
	border-radius:0.25rem;
	margin-bottom:1ch;
}

/* Shared styling for example and remark environments: */
div[id^="exm-"], div[id^="rem-"] {
	border-left:1px solid rgb(200,200,200);
	padding:0.5ch;
	margin-bottom:1ch;
}

/* Styling for example environments specifically: */
div[id^="exm-"] {
	background:rgba(0,255,0,0.025);
}

/* Styling for remark environments specifically: */
div[id^="rem-"] {
	background:rgba(0,0,255,0.025);
}

/* Styling for 'live' code blocks: */
div[id^="lst-"] {
	border:1px solid rgba(109, 122, 134, 0.2);
	padding:0.5ch;
	border-radius:0.25rem;
}

/* Styling for proof environments: */
/* Note: `[class="proof"]` selects only `<div>`'s that are of only one class namely "proof". This
   is a workaround for the seemingly weird choice in Quarto to give some other environments, such
   as remarks, also 'proof' as one of the class names. */
div[class="proof"] {
	border-left:1px solid rgb(200,200,200);
	padding:0.5ch;
	padding-bottom:0;
	margin-bottom:1ch;
}

div[class="proof"] p:last-child {
	margin-bottom:0;
}

div[class="proof"]::after {
	content:"\25A0";
	display:block;
	text-align:right;
}

/* Styling for exercise environments: */
div[id^="exr-"] {
	margin-top:5ch;
}

/* Styling for solutions to exercises: */
.callout-tip.solution {
	margin-bottom:3ch;
}

/* Elements that are of the class "staggeredrelease" are hidden by default,
   and are made visible on the basis of a release schedule ran by incl/js/staggeredrelease.js: */
.staggeredrelease {
	display:none;
}

/* Styling of links: */
a {
	text-decoration:none;
}

/* Styling of Quarto-live code blocks (uses CodeMirror): */
.cm-editor {
	font-size:0.8rem;
}