/* Report a problem with this page (casemirror-42c6w). Sits bottom-left so it never covers
   the alpha feedback button (bottom-right). */
.report-problem-button {
  position: fixed;
  left: 16px;
  bottom: calc(16px + env(safe-area-inset-bottom, 0px));
  z-index: 9990;
  padding: 6px 12px;
  font:
    500 13px/1.3 system-ui,
    -apple-system,
    "Segoe UI",
    sans-serif;
  color: #33302e;
  background: #fff1e5;
  border: 1px solid #ccc1b7;
  border-radius: 999px;
  cursor: pointer;
  box-shadow: 0 1px 4px rgba(0, 0, 0, 0.12);
}
.report-problem-button:hover,
.report-problem-button:focus-visible {
  background: #f2dfce;
}
.report-problem-overlay {
  position: fixed;
  inset: 0;
  z-index: 10000;
  display: flex;
  align-items: center;
  justify-content: center;
  padding: 16px;
  background: rgba(0, 0, 0, 0.35);
}
.report-problem-dialog {
  width: 100%;
  max-width: 480px;
  max-height: calc(100vh - 32px);
  overflow-y: auto;
  padding: 20px;
  background: #fff;
  color: #33302e;
  border-radius: 8px;
  box-shadow: 0 8px 32px rgba(0, 0, 0, 0.25);
  font:
    14px/1.45 system-ui,
    -apple-system,
    "Segoe UI",
    sans-serif;
}
.report-problem-title {
  margin: 0 0 12px;
  font-size: 18px;
}
.report-problem-categories {
  margin: 0 0 12px;
  padding: 0;
  border: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 6px 14px;
}
.report-problem-label {
  display: block;
  margin: 10px 0 4px;
  font-weight: 600;
}
.report-problem-categories legend.report-problem-label {
  width: 100%;
  margin-top: 0;
}
.report-problem-selected,
.report-problem-note,
.report-problem-email {
  box-sizing: border-box;
  width: 100%;
  padding: 6px 8px;
  font: inherit;
  border: 1px solid #ccc1b7;
  border-radius: 4px;
}
.report-problem-status {
  min-height: 1.2em;
  margin: 8px 0 0;
  color: #990f3d;
}
.report-problem-actions {
  display: flex;
  justify-content: flex-end;
  gap: 8px;
  margin-top: 12px;
}
.report-problem-actions button {
  padding: 6px 14px;
  font: inherit;
  border-radius: 4px;
  border: 1px solid #ccc1b7;
  background: #fff;
  cursor: pointer;
}
.report-problem-actions .report-problem-submit {
  background: #0d7680;
  border-color: #0d7680;
  color: #fff;
}
@media print {
  .report-problem-button {
    display: none;
  }
}