.highlight[data-filename] {
  position: relative;
  padding-top: 0;
}

.code-filename {
  position: relative;
  padding: 6px 12px;
  font-size: 0.75rem;
  font-family: monospace;
  background: #0f172a;
  color: #e5e7eb;
  border-bottom-right-radius: 8px;
  user-select: text;
  cursor: text;
}