/* ANΔ³BELLE frontend redesign
   Warm taupe conversation surface + restrained constitutional shell.
   This file intentionally overrides the legacy chat stylesheet without
   changing the underlying chat/governance behavior. */

.anabelle-redesign {
  --shell: #10181c;
  --shell-2: #162126;
  --shell-3: #1d292e;
  --shell-line: #314047;
  --taupe: #ebe5da;
  --taupe-2: #f2ede4;
  --taupe-3: #ded5c7;
  --ink: #202326;
  --muted: #74716a;
  --muted-dark: #a9b0b1;
  --green: #68aa68;
  --green-deep: #2f6f47;
  --green-soft: #e8f2e7;
  --violet: #8b6ec2;
  --violet-deep: #59427f;
  --violet-soft: #eee8f6;
  --amber: #be8948;
  --hold: #a84e51;
  --hold-soft: #f7e8e6;
  --shadow: 0 18px 45px rgba(0, 0, 0, 0.24);
  --radius-lg: 18px;
  --radius-md: 12px;

  margin: 0;
  padding: 10px;
  width: 100%;
  height: 100vh;
  min-height: 100vh;
  overflow: hidden;
  background:
    radial-gradient(circle at 50% -20%, rgba(139, 110, 194, 0.10), transparent 40%),
    linear-gradient(180deg, #111b1f 0%, #0d1518 100%);
  color: #e9eeee;
  font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

.anabelle-redesign * {
  scrollbar-color: #89908c transparent;
}

.anabelle-redesign button,
.anabelle-redesign input,
.anabelle-redesign textarea,
.anabelle-redesign select {
  font: inherit;
}

.anabelle-redesign button:focus-visible,
.anabelle-redesign input:focus-visible,
.anabelle-redesign textarea:focus-visible,
.anabelle-redesign select:focus-visible {
  outline: 2px solid rgba(139, 110, 194, 0.72);
  outline-offset: 2px;
}

.anabelle-redesign .anabelle-shell {
  height: 100%;
  display: flex;
  flex-direction: column;
  gap: 9px;
}

/* ---------- Header ---------- */

.anabelle-redesign .brand-header {
  min-height: 104px;
  display: grid;
  grid-template-columns: minmax(220px, 1fr) minmax(420px, 1.7fr) minmax(220px, 1fr);
  align-items: center;
  gap: 18px;
  padding: 14px 24px;
  border: 1px solid var(--shell-line);
  border-radius: var(--radius-lg);
  background:
    linear-gradient(90deg, rgba(255,255,255,0.018), transparent 38%, rgba(139,110,194,0.035) 58%, transparent),
    #111b1f;
  box-shadow: 0 8px 28px rgba(0,0,0,0.24);
  flex: 0 0 auto;
}

.anabelle-redesign .institution-mark {
  display: flex;
  align-items: center;
  gap: 13px;
  min-width: 0;
}

.anabelle-redesign .institution-leaf,
.anabelle-redesign .principle-leaf {
  color: var(--green);
  font-size: 1.55rem;
  transform: rotate(45deg);
  text-shadow: 0 0 18px rgba(104, 170, 104, 0.28);
}

.anabelle-redesign .institution-name {
  font-family: Georgia, "Times New Roman", serif;
  color: #f2f1ed;
  font-size: clamp(1.2rem, 1.55vw, 1.65rem);
  font-weight: 700;
  letter-spacing: -0.02em;
}

.anabelle-redesign .institution-tagline {
  margin-top: 4px;
  color: #8f9a9e;
  font-size: 0.64rem;
  text-transform: uppercase;
  letter-spacing: 0.20em;
  white-space: nowrap;
}

.anabelle-redesign .anabelle-lockup {
  position: relative;
  text-align: center;
  padding: 0 24px;
}

.anabelle-redesign .anabelle-lockup::before,
.anabelle-redesign .anabelle-lockup::after {
  content: "";
  position: absolute;
  top: 38%;
  width: 18%;
  height: 1px;
  background: linear-gradient(90deg, transparent, rgba(139,110,194,0.78));
}

.anabelle-redesign .anabelle-lockup::before {
  left: 0;
}

.anabelle-redesign .anabelle-lockup::after {
  right: 0;
  transform: scaleX(-1);
}

.anabelle-redesign .anabelle-wordmark {
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(2rem, 3.45vw, 3.6rem);
  line-height: 0.96;
  letter-spacing: 0.055em;
  color: #f5f3ef;
  text-shadow: 0 2px 14px rgba(0,0,0,0.28);
}

.anabelle-redesign .anabelle-wordmark::first-letter {
  color: #f5f3ef;
}

.anabelle-redesign .anabelle-subtitle {
  margin-top: 9px;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 0.90rem;
  color: #d4cedc;
  letter-spacing: 0.02em;
}

.anabelle-redesign .governed-status {
  justify-self: end;
  min-width: 184px;
  display: flex;
  align-items: center;
  gap: 10px;
  padding: 12px 16px;
  border: 1px solid rgba(104,170,104,0.46);
  border-radius: 12px;
  background: rgba(58, 105, 70, 0.12);
  box-shadow: inset 0 0 0 1px rgba(255,255,255,0.02);
}

.anabelle-redesign .status-light {
  width: 10px;
  height: 10px;
  border-radius: 999px;
  display: inline-block;
  flex: 0 0 auto;
  background: #66d47a;
  box-shadow: 0 0 0 5px rgba(102,212,122,0.09), 0 0 12px rgba(102,212,122,0.35);
}

.anabelle-redesign .governed-status strong {
  display: block;
  color: #eaf5ec;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 0.95rem;
}

.anabelle-redesign .governed-status small {
  display: block;
  margin-top: 2px;
  color: #98ac9c;
  font-size: 0.72rem;
}

/* ---------- Layout ---------- */

.anabelle-redesign .redesign-layout {
  flex: 1 1 auto;
  min-height: 0;
  display: grid;
  grid-template-columns: 250px minmax(0, 1fr) 286px;
  gap: 9px;
  overflow: hidden;
  background: transparent;
  border-radius: 0;
}

.anabelle-redesign .redesign-sidebar {
  width: auto;
  height: 100%;
  min-height: 0;
  border: 1px solid var(--shell-line);
  border-radius: var(--radius-lg);
  padding: 18px 16px;
  overflow-y: auto;
  background:
    linear-gradient(180deg, rgba(255,255,255,0.018), transparent 32%),
    #131d21 !important;
  color: #d9e0e1;
}

.anabelle-redesign .left-rail {
  border-right: 1px solid var(--shell-line);
  display: flex;
  flex-direction: column;
}

.anabelle-redesign .right-rail {
  border-left: 1px solid var(--shell-line);
}

/* ---------- Left rail ---------- */

.anabelle-redesign .rail-nav {
  display: grid;
  gap: 7px;
  margin-bottom: 22px;
}

.anabelle-redesign .rail-nav-item {
  width: 100%;
  border: 1px solid transparent;
  border-radius: 10px;
  background: transparent;
  color: #b7c0c3;
  display: flex;
  align-items: center;
  gap: 11px;
  padding: 10px 11px;
  cursor: pointer;
  text-align: left;
  transition: 150ms ease;
}

.anabelle-redesign .rail-nav-item:hover {
  color: #f2f5f5;
  background: rgba(255,255,255,0.035);
  border-color: rgba(255,255,255,0.05);
}

.anabelle-redesign .rail-nav-item.active {
  color: #dff1df;
  background: linear-gradient(90deg, rgba(104,170,104,0.14), rgba(104,170,104,0.03));
  border-color: rgba(104,170,104,0.18);
  box-shadow: inset 3px 0 0 var(--green);
}

.anabelle-redesign .rail-icon {
  width: 22px;
  text-align: center;
  color: #98a8ac;
  font-size: 1.05rem;
}

.anabelle-redesign .rail-nav-item.active .rail-icon {
  color: #7bc17b;
}

.anabelle-redesign .rail-section {
  border-top: 1px solid #334147;
  padding-top: 20px;
  margin-top: 4px;
}

.anabelle-redesign .rail-kicker,
.anabelle-redesign .right-kicker,
.anabelle-redesign .proof-eyebrow {
  color: #aeb8bb;
  text-transform: uppercase;
  letter-spacing: 0.19em;
  font-size: 0.66rem;
  font-weight: 700;
}

.anabelle-redesign .stat-card {
  margin-top: 12px;
  padding: 5px 13px;
  border: 1px solid #33434a;
  border-radius: 12px;
  background: rgba(255,255,255,0.025);
}

.anabelle-redesign .stat-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 14px;
  min-height: 42px;
  border-bottom: 1px solid rgba(255,255,255,0.055);
  color: #abb7ba;
  font-size: 0.83rem;
}

.anabelle-redesign .stat-row:last-child {
  border-bottom: 0;
}

.anabelle-redesign .stat-row strong {
  color: #e6eaea;
  font-size: 0.82rem;
  font-weight: 600;
}

.anabelle-redesign .account-section {
  margin-top: 22px;
}

.anabelle-redesign .account-state {
  margin-top: 12px;
  display: flex;
  align-items: center;
  gap: 9px;
  color: #e6eeea;
  padding: 10px 11px;
  border: 1px solid #33434a;
  border-radius: 10px;
}

.anabelle-redesign .auth-input {
  width: 100%;
  margin-top: 9px;
  padding: 10px 11px;
  border: 1px solid #39494f;
  border-radius: 9px;
  background: #0f181c;
  color: #e7eded;
}

.anabelle-redesign .auth-input::placeholder {
  color: #718085;
}

.anabelle-redesign .auth-row {
  display: flex;
  gap: 8px;
  margin-top: 9px;
}

.anabelle-redesign .auth-btn {
  margin-top: 0;
}

.anabelle-redesign .quiet-btn,
.anabelle-redesign .primary-small,
.anabelle-redesign .text-action {
  border-radius: 9px;
  cursor: pointer;
}

.anabelle-redesign .quiet-btn {
  width: 100%;
  margin-top: 10px;
  padding: 9px 12px;
  color: #d6dedf;
  background: #1d292e;
  border: 1px solid #3a4a50;
}

.anabelle-redesign .primary-small {
  flex: 1;
  padding: 9px 12px;
  background: #3f774f;
  color: #f4f7f4;
  border: 1px solid #548e64;
}

.anabelle-redesign .text-action {
  margin-top: 11px;
  width: 100%;
  padding: 8px 9px;
  background: transparent;
  border: 1px solid transparent;
  color: #89989c;
  font-size: 0.78rem;
}

.anabelle-redesign .text-action:hover {
  color: #cdd6d8;
  border-color: #334249;
}

.anabelle-redesign .auth-msg {
  color: #c1ccce;
}

.anabelle-redesign .rail-quote {
  margin-top: auto;
  padding: 32px 10px 8px;
  border: 0;
  color: #8f9ea2;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 0.84rem;
  line-height: 1.6;
  font-style: italic;
}

.anabelle-redesign .rail-quote cite {
  display: block;
  margin-top: 8px;
  color: #69777b;
  font-size: 0.76rem;
}

/* ---------- Conversation ---------- */

.anabelle-redesign .redesign-chat,
.anabelle-redesign #panel-chat.redesign-chat {
  min-width: 0;
  min-height: 0;
  height: 100%;
  display: flex;
  flex-direction: column;
  overflow: hidden;
  border: 1px solid #c8c0b5;
  border-radius: var(--radius-lg);
  background: var(--taupe);
  color: var(--ink);
  box-shadow: var(--shadow);
}

.anabelle-redesign .conversation-surface {
  flex: 1 1 auto;
  min-height: 0;
  display: flex;
  flex-direction: column;
  overflow: hidden;
  background:
    radial-gradient(circle at 65% 0%, rgba(255,255,255,0.32), transparent 38%),
    linear-gradient(180deg, #eee8de 0%, #e8e1d6 100%);
}

.anabelle-redesign .redesign-welcome {
  flex: 0 0 auto;
  margin: 14px 20px 0;
  padding: 12px 15px;
  display: flex;
  align-items: center;
  gap: 12px;
  border: 1px solid rgba(89,66,127,0.14);
  border-radius: 12px;
  background: rgba(255,255,255,0.32);
  color: #57524d;
}

.anabelle-redesign .redesign-welcome .welcome-mark {
  width: 40px;
  height: 40px;
  border-radius: 50%;
  display: grid;
  place-items: center;
  flex: 0 0 auto;
  color: #fff;
  font-family: Georgia, "Times New Roman", serif;
  background: linear-gradient(145deg, #4d3c70, #8062ae);
  box-shadow: 0 6px 16px rgba(89,66,127,0.18);
}

.anabelle-redesign .redesign-welcome h1 {
  margin: 0;
  color: #3c3935;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.05rem;
  font-weight: 600;
}

.anabelle-redesign .redesign-welcome p {
  margin: 3px 0 0;
  color: #77716a;
  font-size: 0.82rem;
}

.anabelle-redesign .redesign-chat-output,
.anabelle-redesign #chat-box.redesign-chat-output {
  flex: 1 1 auto;
  min-height: 0;
  overflow-y: auto;
  padding: 28px 42px 34px;
  display: flex;
  flex-direction: column;
  gap: 18px;
  scrollbar-gutter: stable;
}

.anabelle-redesign .chat-message {
  position: relative;
  max-width: min(72%, 760px);
  padding: 30px 18px 13px;
  border-radius: 13px;
  line-height: 1.55;
  font-size: 0.94rem;
  box-shadow: 0 3px 10px rgba(56, 48, 38, 0.045);
}

.anabelle-redesign .chat-message::before {
  content: attr(data-speaker) "  " attr(data-time);
  position: absolute;
  top: 8px;
  left: 17px;
  color: #807970;
  font-size: 0.66rem;
  font-weight: 700;
  letter-spacing: 0.035em;
}

.anabelle-redesign .chat-message.ai {
  align-self: flex-start;
  white-space: pre-wrap;
  color: #393544;
  background: rgba(238,232,246,0.76);
  border: 1px solid rgba(89,66,127,0.14);
  border-top-left-radius: 5px;
}

.anabelle-redesign .chat-message.ai::before {
  color: #5d487f;
  animation: none !important;
  transform: none !important;
  width: auto;
  height: auto;
  background: transparent;
  border-radius: 0;
  opacity: 1;
  box-shadow: none;
}

.anabelle-redesign .chat-message.user {
  align-self: flex-end;
  color: #2f3831;
  background: rgba(232,241,230,0.86);
  border: 1px solid rgba(64,111,71,0.15);
  border-top-right-radius: 5px;
}

.anabelle-redesign .chat-message.user::before {
  right: 17px;
  left: auto;
  color: #4e6f52;
}

.anabelle-redesign .redesign-thinking {
  flex: 0 0 auto;
  margin: 0 42px 12px;
  color: #756d65;
  font-size: 0.78rem;
}

.anabelle-redesign .thinking-orb {
  display: inline-block;
  width: 8px;
  height: 8px;
  margin-right: 7px;
  border-radius: 50%;
  background: var(--violet);
  box-shadow: 0 0 0 4px rgba(139,110,194,0.10);
}

/* ---------- Governance receipt ---------- */

.anabelle-redesign .governance-receipt,
.anabelle-redesign .redesign-receipt {
  align-self: flex-start;
  max-width: min(72%, 760px);
  margin-top: -11px;
  margin-bottom: 2px;
  padding: 9px 12px;
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 9px;
  border-radius: 10px;
  box-shadow: none;
  font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-size: 0.76rem;
  line-height: 1.2;
}

.anabelle-redesign .governance-receipt strong {
  font-family: inherit;
}

.anabelle-redesign .redesign-receipt.permit,
.anabelle-redesign .governance-receipt.permit {
  border: 1px solid rgba(55,124,72,0.35);
  border-left: 3px solid #3e8b55;
  background: rgba(232,243,232,0.88);
  color: #286a3c;
}

.anabelle-redesign .redesign-receipt.hold,
.anabelle-redesign .governance-receipt.hold {
  border: 1px solid rgba(168,78,81,0.30);
  border-left: 3px solid var(--hold);
  background: rgba(247,232,230,0.90);
  color: #8d3f43;
}

.anabelle-redesign .receipt-status-icon {
  width: 22px;
  height: 22px;
  border-radius: 50%;
  display: inline-grid;
  place-items: center;
  flex: 0 0 auto;
  color: #fff;
  background: currentColor;
  font-size: 0.72rem;
}

.anabelle-redesign .receipt-status-icon > span {
  color: white;
}

.anabelle-redesign .receipt-main {
  display: flex;
  align-items: center;
  gap: 7px;
  min-width: 0;
  font-weight: 700;
}

.anabelle-redesign .receipt-detail {
  color: currentColor;
  opacity: 0.78;
  font-weight: 500;
}

.anabelle-redesign .receipt-divider {
  width: 1px;
  height: 17px;
  margin: 0 2px;
  background: currentColor;
  opacity: 0.22;
}

.anabelle-redesign .proof-trigger,
.anabelle-redesign .receipt-download-inline {
  border: 0;
  background: transparent;
  color: inherit;
  padding: 4px 6px;
  font-weight: 700;
  cursor: pointer;
}

.anabelle-redesign .proof-trigger:hover,
.anabelle-redesign .receipt-download-inline:hover {
  text-decoration: underline;
}

/* ---------- Composer ---------- */

.anabelle-redesign .redesign-composer {
  position: relative;
  bottom: auto;
  flex: 0 0 auto;
  padding: 14px 16px 11px;
  background: #e6ded1;
  border-top: 1px solid #cfc4b5;
  box-shadow: 0 -8px 28px rgba(63, 51, 38, 0.06);
}

.anabelle-redesign .composer-row {
  display: grid;
  grid-template-columns: 46px minmax(0, 1fr) auto;
  gap: 8px;
  align-items: stretch;
  padding: 6px;
  border: 1px solid #c9c0b5;
  border-radius: 14px;
  background: rgba(250,248,244,0.92);
  box-shadow: inset 0 1px 0 rgba(255,255,255,0.7);
}

.anabelle-redesign #user-input {
  min-width: 0;
  width: 100%;
  max-height: 170px;
  min-height: 52px;
  resize: none;
  padding: 14px 12px;
  border: 0;
  outline: 0;
  background: transparent;
  color: #2d2b29;
  font-size: 0.94rem;
  line-height: 1.45;
}

.anabelle-redesign #user-input::placeholder {
  color: #9b948c;
}

.anabelle-redesign .composer-icon-btn,
.anabelle-redesign .send-btn {
  border: 0;
  border-radius: 10px;
  cursor: pointer;
}

.anabelle-redesign .composer-icon-btn {
  width: 46px;
  min-width: 46px;
  height: auto;
  align-self: stretch;
  background: #eee9e1;
  color: #746d66;
  font-size: 0.95rem;
}

.anabelle-redesign .composer-icon-btn.listening {
  color: #fff;
  background: #6d4fa0;
  outline: 3px solid rgba(139,110,194,0.16);
}

.anabelle-redesign .send-btn {
  min-width: 104px;
  padding: 0 19px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 9px;
  background: linear-gradient(180deg, #39784d, #2e6742);
  color: #f4f7f4;
  border: 1px solid #2d613e;
  box-shadow: 0 4px 10px rgba(46,103,66,0.18);
}

.anabelle-redesign .send-btn:hover {
  filter: brightness(1.04);
}

.anabelle-redesign .composer-tools {
  min-height: 28px;
  padding: 7px 4px 0;
  display: flex;
  align-items: center;
  gap: 9px;
  color: #857e76;
  font-size: 0.72rem;
}

.anabelle-redesign .upload-control {
  display: inline-flex;
  align-items: center;
  gap: 5px;
  padding: 5px 8px;
  border-radius: 8px;
  color: #6d655f;
  cursor: pointer;
}

.anabelle-redesign .upload-control:hover {
  background: rgba(255,255,255,0.34);
}

.anabelle-redesign .image-name {
  color: #675b76;
}

.anabelle-redesign .clear-image {
  border: 0;
  background: transparent;
  color: var(--hold);
  cursor: pointer;
  font-size: 0.72rem;
}

.anabelle-redesign .image-preview-container {
  width: 34px;
  height: 34px;
}

.anabelle-redesign #image-preview {
  max-width: 34px;
  max-height: 34px;
  border-radius: 7px;
  border: 1px solid rgba(89,66,127,0.28);
}

.anabelle-redesign .mic-status {
  margin: 0;
  min-height: 0;
  color: #786d80;
}

.anabelle-redesign .composer-hint {
  margin-left: auto;
  color: #948d85;
}

/* ---------- Right rail ---------- */

.anabelle-redesign .anabelle-card {
  padding: 5px 2px 20px;
}

.anabelle-redesign .right-wordmark {
  font-family: Georgia, "Times New Roman", serif;
  color: #f3f1ed;
  font-size: 1.55rem;
  letter-spacing: 0.045em;
}

.anabelle-redesign .right-kicker {
  margin-top: 5px;
  color: #9ba6a9;
}

.anabelle-redesign .portrait-frame {
  margin-top: 17px;
  padding: 3px;
  border: 1px solid rgba(190,137,72,0.78);
  border-radius: 11px;
  background: linear-gradient(145deg, #a86e32, #e3b75a, #815021);
  box-shadow: 0 12px 25px rgba(0,0,0,0.22);
}

.anabelle-redesign .sidebar-filler-img {
  display: block;
  width: 100%;
  margin: 0;
  border-radius: 8px;
  background: #11191d;
}

.anabelle-redesign .right-description {
  margin-top: 14px;
  color: #c5cdcf;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 0.92rem;
  line-height: 1.5;
}

.anabelle-redesign .right-quote {
  margin-top: 13px;
  padding-left: 13px;
  border-left: 1px solid #526066;
  color: #9ea9ac;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 0.83rem;
  font-style: italic;
  line-height: 1.55;
}

.anabelle-redesign .contact-link {
  display: inline-block;
  margin-top: 15px;
  color: #91b493;
  text-decoration: none;
  font-size: 0.76rem;
}

.anabelle-redesign .contact-link:hover {
  color: #b6d5b8;
  text-decoration: underline;
}

.anabelle-redesign .system-card {
  padding-top: 20px;
  border-top: 1px solid #344249;
}

.anabelle-redesign #governed-inference-mode {
  width: 100%;
  margin-top: 11px;
  padding: 10px 11px;
  border: 1px solid #3f5057;
  border-radius: 9px;
  background: #0e171b;
  color: #e1e6e7;
}

.anabelle-redesign .inference-status {
  margin-top: 7px;
  color: #7f8d91;
  font-size: 0.72rem;
  line-height: 1.45;
}

.anabelle-redesign .synthetic-state-card {
  margin-top: 18px;
  padding: 14px;
  border: 1px solid #344249;
  border-radius: 11px;
  background: rgba(255,255,255,0.025);
}

.anabelle-redesign .synthetic-state-row {
  margin-top: 10px;
  display: grid;
  gap: 8px;
}

.anabelle-redesign .synthetic-state-label {
  color: #7f8d91;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.66rem;
  overflow-wrap: anywhere;
}

.anabelle-redesign #synthetic-state-value {
  display: block;
  padding: 10px 11px;
  border: 1px solid #405159;
  border-radius: 8px;
  background: #0b1418;
  color: #d8e0e2;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.78rem;
  overflow-wrap: anywhere;
}

.anabelle-redesign #synthetic-state-value.synthetic-state-live {
  border-color: #52705a;
  color: #a8d5ae;
}

.anabelle-redesign #synthetic-state-value.synthetic-state-unavailable {
  color: #c99c9c;
}

.anabelle-redesign .synthetic-state-meta {
  margin-top: 8px;
  color: #7f8d91;
  font-size: 0.68rem;
  line-height: 1.4;
}

.anabelle-redesign .principle-card {
  margin-top: 18px;
  padding: 14px;
  display: flex;
  align-items: center;
  gap: 12px;
  border: 1px solid #324147;
  border-radius: 11px;
  background: rgba(255,255,255,0.025);
  color: #9da8ab;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 0.79rem;
  font-style: italic;
  line-height: 1.55;
}

.anabelle-redesign .consequence-proof-card {
  width: min(760px, 92%);
  margin: 8px 0 16px;
  padding: 14px 16px;
  border: 1px solid #46545a;
  border-radius: 12px;
  background: rgba(13, 24, 29, 0.92);
  color: #dce3e5;
  font-size: 0.76rem;
  line-height: 1.5;
}

.anabelle-redesign .consequence-proof-card.hold {
  border-color: #7d6745;
}

.anabelle-redesign .consequence-proof-card.permit {
  border-color: #4f7058;
}

.anabelle-redesign .consequence-proof-summary {
  margin-top: 8px;
  color: #b7c1c4;
}

.anabelle-redesign .consequence-proof-digest {
  display: block;
  margin-top: 9px;
  padding: 8px 9px;
  border-radius: 7px;
  background: #091115;
  color: #9eb0b5;
  overflow-wrap: anywhere;
}

.anabelle-redesign .consequence-approve-btn {
  margin-top: 11px;
  padding: 9px 12px;
  border: 1px solid #63816a;
  border-radius: 8px;
  background: #17271d;
  color: #cfe1d2;
  cursor: pointer;
}

.anabelle-redesign .consequence-approve-btn:disabled {
  cursor: default;
  opacity: 0.6;
}

/* ---------- Proof drawer ---------- */

.anabelle-redesign .proof-drawer {
  position: fixed;
  inset: 0;
  z-index: 1200;
  display: none;
}

.anabelle-redesign .proof-drawer.open {
  display: block;
}

.anabelle-redesign .proof-drawer-backdrop {
  position: absolute;
  inset: 0;
  background: rgba(4, 9, 11, 0.66);
  backdrop-filter: blur(3px);
}

.anabelle-redesign .proof-panel {
  position: absolute;
  top: 10px;
  right: 10px;
  bottom: 10px;
  width: min(440px, calc(100vw - 20px));
  display: flex;
  flex-direction: column;
  overflow: hidden;
  border: 1px solid #3d4b51;
  border-radius: 16px;
  background: #141e22;
  color: #dfe5e6;
  box-shadow: -18px 0 55px rgba(0,0,0,0.34);
}

.anabelle-redesign .proof-header {
  flex: 0 0 auto;
  display: flex;
  justify-content: space-between;
  gap: 18px;
  padding: 20px 21px 16px;
  border-bottom: 1px solid #303e44;
}

.anabelle-redesign .proof-header h2 {
  margin-top: 4px;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.35rem;
  font-weight: 600;
}

.anabelle-redesign .proof-close {
  width: 34px;
  height: 34px;
  border-radius: 9px;
  border: 1px solid #3a494f;
  background: #19252a;
  color: #c7d0d2;
  cursor: pointer;
  font-size: 1.25rem;
}

.anabelle-redesign .proof-content {
  flex: 1 1 auto;
  overflow-y: auto;
  padding: 20px 21px 28px;
}

.anabelle-redesign .proof-summary-card {
  padding: 14px;
  border: 1px solid #35444a;
  border-radius: 11px;
  background: #111a1e;
}

.anabelle-redesign .proof-summary-row {
  display: flex;
  justify-content: space-between;
  gap: 15px;
  padding: 5px 0;
  color: #9aa8ac;
  font-size: 0.76rem;
}

.anabelle-redesign .proof-summary-row strong {
  max-width: 65%;
  overflow-wrap: anywhere;
  color: #e2e8e9;
  text-align: right;
}

.anabelle-redesign .proof-invariants {
  margin-top: 18px;
  display: grid;
  gap: 8px;
}

.anabelle-redesign .proof-invariant {
  display: grid;
  grid-template-columns: 28px 100px minmax(0, 1fr);
  align-items: start;
  gap: 8px;
  padding: 10px;
  border: 1px solid #314047;
  border-radius: 9px;
  background: rgba(255,255,255,0.018);
}

.anabelle-redesign .proof-invariant.pass .proof-dot {
  color: #72c17e;
}

.anabelle-redesign .proof-invariant.fail {
  border-color: rgba(168,78,81,0.38);
  background: rgba(168,78,81,0.08);
}

.anabelle-redesign .proof-invariant.fail .proof-dot {
  color: #d47779;
}

.anabelle-redesign .proof-dot {
  font-weight: 800;
  text-align: center;
}

.anabelle-redesign .proof-invariant-name {
  color: #dce2e3;
  font-size: 0.73rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.055em;
}

.anabelle-redesign .proof-invariant-reason {
  color: #8f9da1;
  font-size: 0.69rem;
  line-height: 1.45;
}

.anabelle-redesign .proof-download {
  width: 100%;
  margin-top: 18px;
  padding: 11px 13px;
  border: 1px solid #4f6258;
  border-radius: 9px;
  background: #1e3327;
  color: #dcebdd;
  cursor: pointer;
}

/* ---------- Utilities / responsive ---------- */

.anabelle-redesign .redesign-mobile-tabs {
  display: none;
}

.anabelle-redesign .sr-only {
  position: absolute !important;
  width: 1px !important;
  height: 1px !important;
  padding: 0 !important;
  margin: -1px !important;
  overflow: hidden !important;
  clip: rect(0,0,0,0) !important;
  white-space: nowrap !important;
  border: 0 !important;
}

@media (max-width: 1180px) {
  .anabelle-redesign .redesign-layout {
    grid-template-columns: 215px minmax(0, 1fr) 245px;
  }

  .anabelle-redesign .institution-tagline {
    display: none;
  }

  .anabelle-redesign .redesign-chat-output {
    padding-left: 28px;
    padding-right: 28px;
  }

  .anabelle-redesign .chat-message,
  .anabelle-redesign .governance-receipt,
  .anabelle-redesign .redesign-receipt {
    max-width: 82%;
  }
}

@media (max-width: 900px) {
  .anabelle-redesign {
    padding: 7px;
    overflow: hidden;
  }

  .anabelle-redesign .brand-header {
    min-height: 78px;
    grid-template-columns: 1fr auto;
    padding: 11px 14px;
  }

  .anabelle-redesign .institution-mark {
    display: none;
  }

  .anabelle-redesign .anabelle-lockup {
    text-align: left;
    padding: 0;
  }

  .anabelle-redesign .anabelle-lockup::before,
  .anabelle-redesign .anabelle-lockup::after {
    display: none;
  }

  .anabelle-redesign .anabelle-wordmark {
    font-size: 1.7rem;
  }

  .anabelle-redesign .anabelle-subtitle {
    margin-top: 4px;
    font-size: 0.72rem;
  }

  .anabelle-redesign .governed-status {
    min-width: 0;
    padding: 9px 11px;
  }

  .anabelle-redesign .governed-status small {
    display: none;
  }

  .anabelle-redesign .redesign-mobile-tabs {
    display: flex;
    gap: 7px;
    padding: 0;
    background: transparent;
    border: 0;
  }

  .anabelle-redesign .redesign-mobile-tabs .tab-btn {
    flex: 1;
    padding: 8px 10px;
    border: 1px solid #344249;
    border-radius: 9px;
    background: #141f23;
    color: #95a3a7;
  }

  .anabelle-redesign .redesign-mobile-tabs .tab-btn.active {
    background: #26372d;
    color: #dceade;
    border-color: #48634f;
  }

  .anabelle-redesign .redesign-layout {
    display: block;
    min-height: 0;
  }

  .anabelle-redesign #panel-chat,
  .anabelle-redesign #panel-stats,
  .anabelle-redesign #panel-modes {
    width: 100%;
    height: 100%;
  }

  .anabelle-redesign #panel-stats,
  .anabelle-redesign #panel-modes {
    display: none;
  }

  .anabelle-redesign.show-stats #panel-stats,
  .anabelle-redesign.show-modes #panel-modes {
    display: block;
  }

  .anabelle-redesign.show-stats #panel-chat,
  .anabelle-redesign.show-modes #panel-chat {
    display: none;
  }

  .anabelle-redesign.show-chat #panel-chat {
    display: flex;
  }

  .anabelle-redesign .redesign-sidebar {
    border-radius: 14px;
  }

  .anabelle-redesign .redesign-chat-output {
    padding: 22px 18px 28px;
  }

  .anabelle-redesign .chat-message,
  .anabelle-redesign .governance-receipt,
  .anabelle-redesign .redesign-receipt {
    max-width: 91%;
  }

  .anabelle-redesign .redesign-welcome {
    margin-left: 12px;
    margin-right: 12px;
  }

  .anabelle-redesign .composer-hint {
    display: none;
  }
}

@media (max-width: 560px) {
  .anabelle-redesign .brand-header {
    grid-template-columns: minmax(0,1fr) auto;
  }

  .anabelle-redesign .anabelle-subtitle {
    max-width: 210px;
  }

  .anabelle-redesign .governed-status strong {
    font-size: 0.75rem;
  }

  .anabelle-redesign .status-light {
    width: 8px;
    height: 8px;
  }

  .anabelle-redesign .redesign-chat-output {
    padding: 18px 11px 22px;
    gap: 15px;
  }

  .anabelle-redesign .chat-message {
    max-width: 94%;
    padding-left: 14px;
    padding-right: 14px;
  }

  .anabelle-redesign .composer-row {
    grid-template-columns: 40px minmax(0,1fr) 76px;
  }

  .anabelle-redesign .composer-icon-btn {
    width: 40px;
    min-width: 40px;
  }

  .anabelle-redesign .send-btn {
    min-width: 76px;
    padding: 0 10px;
  }

  .anabelle-redesign .composer-tools {
    flex-wrap: wrap;
  }

  .anabelle-redesign .proof-panel {
    top: 6px;
    right: 6px;
    bottom: 6px;
    width: calc(100vw - 12px);
  }

  .anabelle-redesign .proof-invariant {
    grid-template-columns: 22px 82px minmax(0,1fr);
  }
}