@charset "UTF-8";
@font-face {
  font-family: "iconfont";
  src: url("../fonts/iconfont/iconfont.eot");
  src: url("../fonts/iconfont/iconfont.eot#iefix") format("embedded-opentype"), url("../fonts/iconfont/iconfont.woff") format("woff"), url("../fonts/iconfont/iconfont.ttf") format("truetype"), url("../fonts/iconfont/iconfont.svg#iconfont") format("svg");
}
.Warning h3::before, .Algorithm h3::before, .Example h3::before, .Remark h3::before {
  font-family: "iconfont" !important;
  speak: none;
  font-style: normal;
  font-weight: normal;
  font-variant: normal;
  text-transform: none;
  line-height: 1;
  -webkit-text-stroke-width: 0.2px;
  /* Enable Ligatures ================ */
  letter-spacing: 0;
  font-feature-settings: "liga";
  font-variant-ligatures: discretionary-ligatures;
  /* Better Font Rendering =========== */
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

.Theorem, .Lemma, .Proposition, .Corollary, .Definition, .Conjecture {
  box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
  position: relative;
  margin: 0.9765em 0;
  padding: 0 0.75rem;
  border-left: 0.25rem solid #00b0ff;
  border-radius: 0.125rem;
  overflow: auto;
}
.Theorem h3, .Lemma h3, .Proposition h3, .Corollary h3, .Definition h3, .Conjecture h3 {
  margin: 0 -0.75rem;
  border-bottom: 0.1rem solid rgba(68, 138, 255, 0.1);
  background-color: rgba(0, 176, 255, 0.1);
  font-weight: 700;
  display: block;
  font-size: 1em;
  color: #008ac7;
  padding: 0.5rem 0 0.5rem 0.75rem;
}

.Remark {
  box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
  position: relative;
  margin: 0.9765em 0;
  padding: 0 0.75rem;
  border-left: 0.25rem solid #00b8d4;
  border-radius: 0.125rem;
  overflow: auto;
}
.Remark h3 {
  margin: 0 -0.75rem;
  border-bottom: 0.1rem solid rgba(68, 138, 255, 0.1);
  background-color: rgba(0, 184, 212, 0.1);
  font-weight: 700;
  display: block;
  font-size: 1em;
  color: #00899e;
  padding: 0.5rem 0 0.5rem 0.75rem;
}
.Remark h3::before {
  content: "";
  margin-right: 0.75rem;
  font-weight: 400;
  color: #00b8d4;
}

.Example {
  box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
  position: relative;
  margin: 0.9765em 0;
  padding: 0 0.75rem;
  border-left: 0.25rem solid #00bfa5;
  border-radius: 0.125rem;
  overflow: auto;
}
.Example h3 {
  margin: 0 -0.75rem;
  border-bottom: 0.1rem solid rgba(68, 138, 255, 0.1);
  background-color: rgba(0, 191, 165, 0.1);
  font-weight: 700;
  display: block;
  font-size: 1em;
  color: #009e88;
  padding: 0.5rem 0 0.5rem 0.75rem;
}
.Example h3::before {
  content: "";
  margin-right: 0.75rem;
  font-weight: 400;
  color: #00bfa5;
}

.Proof {
  box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
  position: relative;
  margin: 0.9765em 0;
  padding: 0 0.75rem;
  border-left: 0.25rem solid #00c853;
  border-radius: 0.125rem;
  overflow: auto;
}
.Proof h3 {
  margin: 0 -0.75rem;
  border-bottom: 0.1rem solid rgba(68, 138, 255, 0.1);
  background-color: rgba(0, 200, 83, 0.1);
  font-weight: 700;
  display: block;
  font-size: 1em;
  color: #00a043;
  padding: 0.5rem 0 0.5rem 0.75rem;
}
.Proof:after {
  content: "□";
  float: right;
  margin-top: -1em;
  font-size: 1.9em;
}

.Algorithm {
  box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
  position: relative;
  margin: 0.9765em 0;
  padding: 0 0.75rem;
  border-left: 0.25rem solid #8e5bff;
  border-radius: 0.125rem;
  overflow: auto;
}
.Algorithm h3 {
  margin: 0 -0.75rem;
  border-bottom: 0.1rem solid rgba(68, 138, 255, 0.1);
  background-color: rgba(101, 31, 255, 0.1);
  font-weight: 700;
  display: block;
  font-size: 1em;
  color: #6635d2;
  padding: 0.5rem 0 0.5rem 0.75rem;
}
.Algorithm h3::before {
  content: "";
  margin-right: 0.75rem;
  font-weight: 400;
  color: #8e5bff;
}

.Warning {
  box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
  position: relative;
  margin: 0.9765em 0;
  padding: 0 0.75rem;
  border-left: 0.25rem solid #ff9100;
  border-radius: 0.125rem;
  overflow: auto;
}
.Warning h3 {
  margin: 0 -0.75rem;
  border-bottom: 0.1rem solid rgba(68, 138, 255, 0.1);
  background-color: rgba(255, 145, 0, 0.1);
  font-weight: 700;
  display: block;
  font-size: 1em;
  color: #e48200;
  padding: 0.5rem 0 0.5rem 0.75rem;
}
.Warning h3::before {
  content: "";
  margin-right: 0.75rem;
  font-weight: 400;
  color: #ff9100;
}