/* Ternary Goldbach Blueprint presentation by Gershon Bialer. */
div.theorem_thmcontent,
div.proposition_thmcontent,
div.nativecertificate_thmcontent,
div.externalcomputation_thmcontent {
  border-left: .15rem solid #334155;
  padding-left: .75rem;
}

div.proof_content {
  border-left: .08rem solid #94a3b8;
  padding-left: .75rem;
}

code {
  overflow-wrap: anywhere;
}