.section-header{
  margin-bottom: 10px;
}

.section-explainer{
  margin-bottom: 5px;
}

.section-header-span{
  border-bottom: 1px solid #ccc;
  font-size: 15px;
}

#debugging-rulesets{
  width: 100%;
  height: 500px;
  display: none;
  border: 1px solid black;
}

#debugging-rulesets.unsaved{
  border: 1px solid red;
}

#changed{
  font-weight: bold;
  margin: 10px 0px;
  color: #F00;
  visibility: hidden;
  text-align: center;
}

#saved{
  display: none;
  color: green;
  font-weight: bold;
  margin: 30px;
}
