div.quality_gantt .section0 {
	fill: #c09cef !important;
}

.noborder {
  border-style: none !important;
  border-width: 0px !important;
}

.nomargin {
  margin: 0px 0px 0px 0px !important;
  padding: 1rem;
}
  
.nopadding {
  padding: 0px !important;
}

.rule_error, .rule_warning {
  padding: 0.2em;
  border-width: 2px;
  border-style: solid;
}

.rule_error {
  background-color: #E6B6A4;
}

.rule_warning {
  background-color: #FFEB3B;
}

/* can't combine these, chrome doesn't accept it for some reason */
.lambdas_used li {
  margin-left: 0px !important;
}

.spark_functions_used li {
  margin-left: 0px !important;
}

.spark_functions_used, .lambdas_used {
  display: flex;
  flex-direction: row;
  justify-content: start;
  flex-wrap: wrap;
}

.spark_functions_used, .lambdas_used > p {
  font-weight: bold;
}

#tag_list > li {
  padding: 0.2em;
  border-width: 2px;
  //border-style: solid;
}

.alternative {
  margin-left: 2em;
}

.shrink_to_fit {
  max-width: 100%;
  max-height: 100%;
}

.caption {
  background-color: #EDEDED;
  /* font-weight: bold; */
  font-size: x-large;
}

details.coverage p {
  margin: 0px !important;
}

details.coverage tr{
  background-color: #cedefb;
}

details.coverage summary:before {
  -webkit-mask-image: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="m18.5 3.5 2 2-15 15-2-2 15-15M7 4c1.66 0 3 1.34 3 3s-1.34 3-3 3-3-1.34-3-3 1.34-3 3-3m10 10c1.66 0 3 1.34 3 3s-1.34 3-3 3-3-1.34-3-3 1.34-3 3-3M7 6c-.55 0-1 .45-1 1s.45 1 1 1 1-.45 1-1-.45-1-1-1m10 10c-.55 0-1 .45-1 1s.45 1 1 1 1-.45 1-1-.45-1-1-1Z"></path></svg>');
}

details.coverage div.md-typeset__table, details.coverage div.md-typeset__scrollwrap {
  margin-bottom: 0px !important;
}

.coveragePercent {
  background-color: grey !important;
  color: white;
}

@keyframes pulseABit {
  0%, 40%, 80%, 100% {
    transform: scale(1);
  }
  20%, 60% {
    transform: scale(1.15);
  }
}

.pulseABit {
  animation: pulseABit 1000ms 4;
}

p:has( a.magiclink:first-child ) {
  margin-block-start: 0.2em !important;
  margin-block-end: 0.2em !important;
}