styles.css

/* css styles */

@font-face {
  font-family: JuliaMono-Regular;
  src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono/webfonts/JuliaMono-Regular.woff2");
}

.rmenv,
.itenv {
  padding: 0.5em;
  margin-bottom: 1.2em;
  border: 1px solid #007481;
}
.solenv {
  margin-bottom: 1.8em;
}

.itenv {
  font-style: italic;
}
.itenv em {
  font-style: normal !important;
}

.itenv:before,
.rmenv:before {
  content: attr(title)".";
  font-weight: 600;
  padding-right: 0.5em;
  display: inline;
}

.itenv > p:first-of-type,
.rmenv > p:first-of-type,
.solenv > p:first-of-type {
  margin-top: 0 !important;
  display: inline;
}

.itenv > :last-child,
.rmenv > :last-child,
.solenv > :last-child {
  margin-bottom: 0 !important;
}

.solenv:before {
  content: "Solution.";
  font-weight: 600;
  padding-right: 0.5em;
  display: inline;
}

.tikzcd {
  display: flex;
  flex-direction: column;
  align-items: center;
  margin-bottom: 1em;
  margin-top: 1em;
}