/* -------------------------------------------------------------------------- */
/* Theorem, Lemma, Corollary */
/* -------------------------------------------------------------------------- */
.env {
  margin: 1.2em 0;
  padding: 1em;
  background: #f9f9f9;
}
.env > :first-child {
  margin-top: 0rem;
}
.env > :last-child {
  margin-bottom: 0rem;
}
.env svg {
  display: block;       /* ensures it sits on its own line */
  margin: 1em auto;     /* top/bottom space; auto centers */
  max-width: none;
}
.env div:has(> svg) {
  overflow-x: auto;
}

body[data-md-color-scheme="slate"] .env {
  background: #272b36;
}

.assumption   { border-left: 4px solid #ad0f0a; }
.axiom        { border-left: 4px solid #ad0f0a; }
.definition   { border-left: 4px solid #ffb300; }
.theorem      { border-left: 4px solid #3f51b5; }
.lemma        { border-left: 4px solid #616161; }
.corollary    { border-left: 4px solid #616161; }
.example      { border-left: 4px solid #4caf50; }
.proposition  { border-left: 4px solid #616161; }
.fact         { border-left: 4px solid #616161; }
.algorithm    { border-left: 4px solid #009688; }
.remark       { 
  border-left: 4px solid #9e9e9e; 
  /* font-style: italic;  */
}
.proof, 
.solution {
  position: relative;
  margin-left: 0.2rem;
  margin-right: 0rem;
}
.proof::after {
  content: "◼";
  position: absolute;
  right: 10px;
  bottom: 5px;
  font-weight: bold;
}
.solution::after {
  content: "◻";
  position: absolute;
  right: 10px;
  bottom: 5px;
  font-weight: bold;
}
body[data-md-color-scheme="default"] .proof::after, 
body[data-md-color-scheme="default"] .solution::after {
  color: #000000;
}
body[data-md-color-scheme="slate"] .proof::after, 
body[data-md-color-scheme="slate"] .solution::after {
  color: #ffffff;
}