/* Plain mathematical environments for the long proof posts.
   Typography and page dimensions are inherited from the Jekyll theme. */

.plain-math-post .post-article blockquote.definition,
.plain-math-post .post-article blockquote.lemma,
.plain-math-post .post-article blockquote.proposition,
.plain-math-post .post-article blockquote.theorem,
.plain-math-post .post-article blockquote.corollary,
.plain-math-post .post-article blockquote.example,
.plain-math-post .post-article blockquote.remark,
.plain-math-post .post-article blockquote.proof {
  margin: 1rem 0 !important;
  padding: 0.12rem 0 0.12rem 0.7rem !important;
  border: 0 !important;
  border-left: 2px solid #dfe2e5 !important;
  border-radius: 0 !important;
  background: transparent !important;
  box-shadow: none !important;
  color: inherit !important;
  font-size: 1em !important;
  font-style: normal !important;
  line-height: inherit !important;
}

.plain-math-post .math-env__label {
  display: inline;
  margin: 0 0.25em 0 0;
  color: inherit !important;
  font-size: 1em;
  font-weight: 700;
  line-height: inherit;
}

.plain-math-post .math-env__label + p,
.plain-math-post .post-article blockquote.proof > p:first-child {
  display: inline;
}

.plain-math-post .math-env__label + p::after,
.plain-math-post .post-article blockquote.proof > p:first-child::after {
  content: "";
  display: block;
  margin-bottom: 0.35rem;
}

.plain-math-post .post-article blockquote.proof {
  margin: 0.9rem 0 !important;
  padding: 0 !important;
  border: 0 !important;
}

.plain-math-post .post-article blockquote.proof::before {
  content: "Proof.";
  display: inline;
  margin-right: 0.25em;
  color: inherit;
  font-size: 1em;
  font-style: italic;
  font-weight: 400;
}

.plain-math-post .post-article blockquote.proof::after {
  content: "\25A1";
  display: block;
  margin-top: 0.2rem;
  color: inherit;
  font-size: 1em;
  font-weight: 400;
  text-align: right;
}

.plain-math-post .post-article blockquote p,
.plain-math-post .post-article blockquote li,
.plain-math-post .post-article blockquote mjx-container,
.plain-math-post .post-article blockquote ul,
.plain-math-post .post-article blockquote ol {
  font-size: 1em;
  line-height: inherit;
}

.plain-math-post .post-article .xref {
  font-weight: 400;
}

.plain-math-post .post-article iframe.quiver,
.plain-math-post .post-article iframe.quiver-embed {
  display: block;
  max-width: 100%;
  margin: 0.75rem auto;
  border: 0 !important;
  border-radius: 0 !important;
}