/********************************************************************************************************************************
 * General
********************************************************************************************************************************/

html {
  font-size: 100% !important;
}
body {
  margin: 0;
  padding: 0;
}
.border-top {
  border-top: 1px dotted #bbb;
}
.border-bottom {
  border-bottom: 1px dotted #bbb;
}
.padding-top {
  padding-top: 1rem;
}
.stacked.short {
  margin: 1rem 0;
  padding: 0;
}
.stacked {
  padding: 1rem 0;
}
.messages__wrapper p,
.messages p:first-child {
  margin-top: 0;
}
.messages h2,
.messages h3,
.messages h4 {
  margin-top: 0;
  margin-bottom: 0;
}
.messages h4 {
  font-size: 1.15rem;
  margin-bottom: 0.2rem;
  line-height: 110%;
}
.messages ul {
  margin: 0;
  padding-left: 1.25rem;
}
.messages__wrapper p:last-child,
.messages p:last-child {
  margin-bottom: 0;
}
.messages:last-child {
  margin-bottom: 13px;
}
.messages:first-child {
  margin-top: 28px;
}
.messages.messages--status.no-icon {
  background-image: none;
}
.main a.bold {
  font-weight: 500;
}
.main a.bold strong {
  font-weight: 600;
}
p {
  margin: 0 0 1rem 0;
}
p.small-margin {
  margin-bottom: 0.5rem;
}
.clearfix::after {
  content: "";
  clear: both;
  display: table;
}
.no-margin-bottom {
  margin-bottom: 0 !important;
}
.no-margin-top {
  margin-top: 0 !important;
}
.left {
  float: left;
  margin: 0 1rem 0 0;
}
.left.important {
  float: left !important;
  margin: 0 1rem 0 0 !important;
}
.right {
  float: right;
  margin: 0 0 0 1rem;
}
.right.important {
  float: right !important;
  margin: 0 0 0 1rem !important;
}
p.section-description {
  font-weight: bold;
}
.gray-bg pre,
pre.congruent-debug {
  background-color: transparent;
  border: none;
  font-size: 0.8rem;
  margin: 0;
  line-height: 140%;
  color: #444;
}
.gray-bg code,
code.congruent-debug {
  background-color: #eee;
  display: inline-block;
  padding: 0.5rem 0.75rem;
  font-size: 0.9em;
}
.info-icon {
  display: inline-block;
  margin: 0 0.5rem;
}