.mlg-box {
  font-family: Georgia,"Times New Roman",Times,serif;
  line-height: 1.3;
  display: block;
  padding: 1em 1.1em;
  margin: 2.25em auto;
  border-width: 1px;
  border-radius: 2px;
  border-color: #d8d8d8;
  box-shadow: 0 1px 5px rgba(0,0,0,.2);
  width: fit-content;
}

.mlg-proof-box {
  font-family: Georgia,"Times New Roman",Times,serif;
  line-height: 1.3;
  display: block;
  padding: 1em 1.1em;
  margin: 2.25em auto;
  margin-top: -1em;
  border-width: 1px;
  border-radius: 2px;
  border-color: #d8d8d8;
  box-shadow: 0 1px 5px rgba(0,0,0,.2);
  width: fit-content;
}

.mlg-id {
  display: block;
  margin-bottom: -15px;
  border-bottom: solid;
  border-bottom-width: 0.5px;
  border-bottom-color: #e0e0e0;
}

.mlg-header {
  color: #05b;
}

.mlg-title {
  display: block;
  margin-bottom: 5px;
  border-bottom: solid;
  border-bottom-width: 0.5px;
  border-bottom-color: #e0e0e0;
}

.MJX-TEX {
  font-size: 105% !important;
}

code, kbd, pre {
  background-color: white !important;
  border: solid;
  border-width: 0.5px;
  border-color: #e0e0e0;
  border-radius: 3px;
  margin-left: 5px;
  margin-right: 5px;
}