div[data-code-filename] summary {
  color: #003B4F;
  font-family: monospace;
  font-size: 0.9em;
  background-color: rgba(219,219,219,.8);
  margin-bottom: 0;
  padding-bottom: 2px;
  padding-top: 2px;
  padding-left: 0.7em;
  border: var(--quarto-border-width) solid var(--quarto-border-color);
  border-radius: var(--quarto-border-radius);
  border-bottom: 0;
}

div[data-code-filename] details[open] summary {
  color: #6c757d;
  border-bottom-left-radius: 0%;
  border-bottom-right-radius: 0%;
}

div[data-code-filename] details div.sourceCode {
  border-radius: 0%;
  margin-top: 0;
}