formal-ai 0.47.0

:root {
  color-scheme: light;
  font-family:
    Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
  background: #eef2f1;
  color: #1e252b;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  min-width: 320px;
  height: 100vh;
  min-height: 100vh;
  overflow: hidden;
}

button,
textarea,
.report-button {
  font: inherit;
}

button {
  cursor: pointer;
}

.app {
  height: 100vh;
  min-height: 0;
  display: grid;
  grid-template-rows: auto 1fr;
}

.topbar {
  min-height: 64px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  padding: 0 24px;
  border-bottom: 1px solid #d6dde1;
  background: #fbfcfd;
}

.brand,
.topbar-actions {
  display: flex;
  align-items: center;
  gap: 12px;
}

.brand strong {
  font-size: 18px;
}

.mark,
.avatar {
  display: grid;
  place-items: center;
  color: #ffffff;
  font-weight: 800;
}

.mark {
  width: 34px;
  height: 34px;
  border-radius: 8px;
  background: #175f4f;
  font-size: 14px;
}

.avatar {
  width: 38px;
  height: 38px;
  border-radius: 50%;
  font-size: 12px;
}

.status {
  color: #5f6d78;
  font-size: 14px;
}

.demo-status {
  color: #40515f;
  font-size: 14px;
  font-weight: 700;
}

.mode-toggle,
.diagnostics-toggle,
.agent-toggle,
.mobile-menu-toggle,
.report-button,
.memory-button,
.send-button,
.prompt-list button {
  border: 1px solid #b9c6ca;
  border-radius: 8px;
  background: #ffffff;
  color: #1e252b;
  font-weight: 700;
}

.mode-toggle,
.diagnostics-toggle,
.agent-toggle,
.mobile-menu-toggle,
.report-button,
.memory-button {
  min-height: 38px;
  padding: 0 12px;
}

/* Issue #27: topbar buttons carry an emoji icon + label so the label can be
 * hidden on narrow viewports for an icon-only mobile topbar. */
.btn-icon {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  font-size: 16px;
  line-height: 1;
}

.btn-label {
  display: inline;
  margin-left: 6px;
}

/* Issue #27: the hamburger toggle is hidden on wide viewports — the full
 * sidebar is always visible there — and only surfaces under the mobile
 * breakpoint where the sidebar collapses behind a drawer. */
.mobile-menu-toggle {
  display: none;
  align-items: center;
  justify-content: center;
  padding: 0 10px;
}

.mobile-menu-toggle .btn-icon {
  font-size: 20px;
}

/* Issue #27: full-viewport scrim sits behind the slide-in drawer and dismisses
 * the menu on tap, the same way iOS / Material navigation drawers behave. */
.mobile-menu-backdrop {
  position: fixed;
  inset: 0;
  background: rgba(15, 30, 40, 0.45);
  z-index: 90;
}

.memory-status {
  font-size: 13px;
  color: #40515f;
  align-self: center;
}

.report-button {
  display: inline-flex;
  align-items: center;
  text-decoration: none;
}

.mode-toggle[aria-pressed="true"],
.diagnostics-toggle[aria-pressed="true"],
.agent-toggle[aria-pressed="true"],
.mobile-menu-toggle[aria-pressed="true"],
.send-button {
  border-color: #175f4f;
  background: #175f4f;
  color: #ffffff;
}

.workspace {
  min-height: 0;
  display: grid;
  grid-template-columns: minmax(220px, 300px) minmax(0, 1fr);
  overflow: hidden;
}

.context-panel {
  min-height: 0;
  display: flex;
  flex-direction: column;
  gap: 0;
  overflow: hidden;
  padding: 0;
  border-right: 1px solid #d6dde1;
  background: #f7f8fa;
}

.context-panel h2 {
  margin: 0;
  color: #40515f;
  font-size: 13px;
  text-transform: uppercase;
}

/* Issue #27: each sidebar section is a flex column that shares space
 * equally with its siblings and scrolls on its own. Collapsed sections drop
 * out of the flex grow pool so the remaining sections expand to fill the
 * panel — replicating VS Code's accordion behaviour. */
.sidebar-section {
  display: flex;
  flex-direction: column;
  min-height: 0;
  border-bottom: 1px solid #d6dde1;
}

.sidebar-section.is-expanded {
  flex: 1 1 0;
}

.sidebar-section.is-collapsed {
  flex: 0 0 auto;
}

.sidebar-section-header {
  display: flex;
  align-items: center;
  gap: 6px;
  width: 100%;
  padding: 10px 18px;
  border: 0;
  background: #eef2f1;
  color: #40515f;
  font-weight: 700;
  text-align: left;
  cursor: pointer;
}

.sidebar-section-header:hover {
  background: #e3eae9;
}

.sidebar-section-header h2 {
  margin: 0;
  font-size: 12px;
  letter-spacing: 0.04em;
}

.sidebar-section-caret {
  display: inline-block;
  width: 10px;
  font-size: 10px;
  color: #5f6d78;
}

.sidebar-section-body {
  display: grid;
  gap: 8px;
  align-content: start;
  min-height: 0;
  overflow: auto;
  padding: 10px 18px 14px;
}

.conversation-list {
  display: grid;
  gap: 6px;
}

.conversation-new {
  min-height: 38px;
  padding: 8px 10px;
  border: 1px dashed #b9c6ca;
  border-radius: 8px;
  background: #ffffff;
  color: #175f4f;
  font-weight: 700;
  text-align: left;
}

.conversation-new:hover {
  border-color: #175f4f;
  background: #f1f6f4;
}

.conversation-empty {
  margin: 0;
  color: #5f6d78;
  font-size: 12px;
}

.conversation-entries {
  list-style: none;
  margin: 0;
  padding: 0;
  display: grid;
  gap: 4px;
}

.conversation-entry-button {
  width: 100%;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  min-height: 34px;
  padding: 6px 8px;
  border: 1px solid #d6dee2;
  border-radius: 6px;
  background: #ffffff;
  color: #1c2429;
  text-align: left;
  cursor: pointer;
}

.conversation-entry-button:hover {
  border-color: #175f4f;
  background: #f1f6f4;
}

.conversation-entry.is-active .conversation-entry-button {
  border-color: #175f4f;
  background: #e3efe9;
  font-weight: 600;
}

.conversation-entry-title {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  flex: 1;
  font-size: 13px;
}

.conversation-entry-meta {
  color: #5f6d78;
  font-size: 11px;
  white-space: nowrap;
}

.prompt-list {
  display: grid;
  gap: 8px;
}

.prompt-list button {
  min-height: 42px;
  padding: 9px 10px;
  text-align: left;
  overflow-wrap: anywhere;
}

.prompt-list button:hover {
  border-color: #2d6cdf;
}

.trace-list {
  display: grid;
  gap: 8px;
  margin: 0;
}

.trace-list div {
  display: grid;
  gap: 2px;
  border: 1px solid #d6dde1;
  border-radius: 8px;
  padding: 9px 10px;
  background: #ffffff;
}

.trace-list dt {
  color: #657584;
  font-size: 12px;
  font-weight: 800;
  text-transform: uppercase;
}

.trace-list dd {
  margin: 0;
  font-size: 14px;
  overflow-wrap: anywhere;
}

.chat-panel {
  min-width: 0;
  min-height: 0;
  display: grid;
  grid-template-rows: minmax(0, 1fr) auto;
  background: #ffffff;
}

.messages {
  min-height: 0;
  display: grid;
  align-content: start;
  gap: 14px;
  overflow: auto;
  padding: 24px clamp(14px, 4vw, 48px);
}

.message {
  display: grid;
  grid-template-columns: 38px minmax(0, 1fr);
  gap: 12px;
  width: min(820px, 100%);
}

.message.user {
  justify-self: end;
  grid-template-columns: minmax(0, 1fr) 38px;
}

.message.user .avatar {
  grid-column: 2;
  grid-row: 1;
  background: #2d6cdf;
}

.message.user .message-body {
  grid-column: 1;
  grid-row: 1;
  background: #edf4ff;
  border-color: #c6d9fb;
}

.message.assistant .avatar {
  background: #175f4f;
}

.message-body {
  min-width: 0;
  border: 1px solid #dce4e7;
  border-radius: 8px;
  padding: 12px 14px;
  background: #fbfcfd;
}

.message-meta {
  display: flex;
  align-items: baseline;
  gap: 8px;
  flex-wrap: wrap;
  color: #667684;
  font-size: 13px;
}

.message-meta strong {
  color: #1e252b;
}

.intent {
  border: 1px solid #dac78b;
  border-radius: 999px;
  padding: 2px 7px;
  background: #fff8df;
  color: #6c5512;
  font-size: 12px;
  font-weight: 800;
}

.markdown-body {
  line-height: 1.5;
  overflow-wrap: anywhere;
}

.markdown-body p {
  margin: 8px 0;
}

.markdown-body p:first-child {
  margin-top: 0;
}

.markdown-body p:last-child {
  margin-bottom: 0;
}

.markdown-body pre {
  overflow: auto;
  border-radius: 8px;
  padding: 12px;
  background: #111827;
  color: #f7fafc;
  line-height: 1.45;
}

.markdown-body code {
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  font-size: 0.92em;
}

.markdown-body :not(pre) > code {
  border-radius: 5px;
  padding: 2px 5px;
  background: #e9eef1;
}

.evidence-list {
  display: flex;
  gap: 6px;
  flex-wrap: wrap;
  margin-top: 10px;
}

.evidence-list span {
  border: 1px solid #cbd6db;
  border-radius: 999px;
  padding: 3px 7px;
  color: #4b5e6b;
  font-size: 12px;
  font-weight: 700;
}

.thinking-steps {
  margin-top: 10px;
  border-top: 1px solid #dce4e7;
  padding-top: 10px;
  color: #4b5e6b;
  font-size: 12px;
}

.thinking-steps strong {
  display: block;
  margin-bottom: 6px;
  color: #40515f;
  text-transform: uppercase;
}

.thinking-steps ol {
  margin: 0;
  padding-left: 18px;
}

.thinking-steps li + li {
  margin-top: 4px;
}

.message-actions {
  display: flex;
  gap: 10px;
  margin-top: 10px;
  font-size: 13px;
  font-weight: 700;
}

.message-actions a {
  color: #175f4f;
  text-decoration: none;
}

.message-actions a:hover {
  text-decoration: underline;
}

.fetch-iframe-container {
  margin-top: 12px;
  border: 1px solid #d6dde1;
  border-radius: 6px;
  overflow: hidden;
}

.fetch-iframe-header {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 6px 10px;
  background: #f0f4f8;
  border-bottom: 1px solid #d6dde1;
  font-size: 12px;
  flex-wrap: wrap;
}

.fetch-iframe-toggle {
  background: none;
  border: 1px solid #b0bac4;
  border-radius: 4px;
  cursor: pointer;
  font-size: 12px;
  padding: 2px 8px;
  white-space: nowrap;
}

.fetch-iframe-toggle:hover {
  background: #dde3e9;
}

.fetch-iframe-url {
  color: #444;
  font-family: monospace;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  flex: 1;
  min-width: 0;
}

.fetch-iframe-open {
  color: #175f4f;
  text-decoration: none;
  white-space: nowrap;
  font-weight: 700;
}

.fetch-iframe-open:hover {
  text-decoration: underline;
}

.fetch-iframe {
  display: block;
  width: 100%;
  height: 400px;
  border: none;
  background: #fff;
}

.pending .message-body {
  width: 116px;
}

.typing::after {
  content: "...";
}

.composer {
  border-top: 1px solid #d6dde1;
  padding: 14px clamp(14px, 4vw, 48px) 18px;
  background: #f7f8fa;
}

.composer-demo-hint {
  margin: 0 0 10px;
  width: min(860px, 100%);
  margin-left: auto;
  margin-right: auto;
  padding: 8px 12px;
  border-radius: 8px;
  background: #fff8df;
  border: 1px solid #dac78b;
  color: #6c5512;
  font-size: 13px;
  text-align: center;
}

.composer-demo-hint-icon {
  font-size: 14px;
}

.composer-grid {
  width: min(860px, 100%);
  margin: 0 auto;
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 10px;
  align-items: end;
}

textarea {
  min-width: 0;
  min-height: 76px;
  max-height: 180px;
  resize: vertical;
  border: 1px solid #b9c6ca;
  border-radius: 8px;
  padding: 12px 13px;
  background: #ffffff;
  color: #1e252b;
}

textarea:focus {
  outline: 2px solid #2d6cdf;
  outline-offset: 1px;
}

textarea:disabled {
  color: #667684;
  background: #edf1f3;
}

.send-button {
  min-width: 92px;
  min-height: 44px;
  padding: 0 16px;
}

.send-button:disabled {
  border-color: #b9c6ca;
  background: #a9b6bb;
  cursor: not-allowed;
}

@media (max-width: 820px) {
  .topbar {
    min-height: 58px;
    flex-wrap: nowrap;
    align-items: center;
    padding: 10px 12px;
    gap: 8px;
  }

  .status {
    display: none;
  }

  .brand {
    flex: 0 0 auto;
    min-width: 0;
  }

  .brand strong {
    white-space: nowrap;
  }

  .topbar-actions {
    flex: 1 1 auto;
    flex-wrap: nowrap;
    justify-content: flex-end;
    gap: 6px;
    overflow: hidden;
  }

  .demo-status {
    display: none;
  }

  .memory-status {
    display: none;
  }

  /* Issue #27: icon-only topbar on mobile so the chat surface gets the bulk
   * of the vertical space. Buttons keep an aria-label / title pair so screen
   * readers and hover tooltips still expose the full action name. */
  .topbar-actions .btn-label {
    display: none;
  }

  .topbar-actions .mode-toggle,
  .topbar-actions .diagnostics-toggle,
  .topbar-actions .agent-toggle,
  .topbar-actions .report-button,
  .topbar-actions .memory-button {
    min-width: 0;
    padding: 0 10px;
  }

  .mobile-menu-toggle {
    display: inline-flex;
  }

  .workspace {
    grid-template-columns: 1fr;
    grid-template-rows: minmax(0, 1fr);
  }

  /* Issue #27: the sidebar slides in over the chat as a drawer rather than
   * eating into the message viewport. */
  .context-panel {
    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;
    z-index: 100;
    width: min(86vw, 320px);
    max-height: none;
    border-right: 1px solid #d6dde1;
    border-bottom: 0;
    background: #f7f8fa;
    transform: translateX(-100%);
    transition: transform 200ms ease;
    box-shadow: 4px 0 18px rgba(15, 30, 40, 0.18);
  }

  .context-panel.is-mobile-open {
    transform: translateX(0);
  }

  .prompt-list {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .messages {
    padding: 18px 12px;
  }

  .message {
    grid-template-columns: 32px minmax(0, 1fr);
  }

  .message.user {
    grid-template-columns: minmax(0, 1fr) 32px;
  }

  .avatar {
    width: 32px;
    height: 32px;
  }

  .composer-grid {
    grid-template-columns: 1fr;
  }

  .send-button {
    width: 100%;
  }
}

.tool-registry {
  margin-top: 0;
}

.tool-list {
  list-style: none;
  margin: 0;
  padding: 0;
  display: flex;
  flex-direction: column;
  gap: 8px;
}

.tool {
  border: 1px solid rgba(127, 127, 127, 0.2);
  border-radius: 8px;
  padding: 8px 10px;
  background: rgba(255, 255, 255, 0.02);
}

.tool-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
}

.tool-mode {
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  padding: 2px 6px;
  border-radius: 4px;
  background: rgba(120, 140, 255, 0.18);
  color: #4a5acc;
}

.tool-mode-agent .tool-mode {
  background: rgba(255, 170, 90, 0.18);
  color: #b66e1a;
}

.tool-desc {
  margin: 4px 0 0;
  font-size: 12px;
  opacity: 0.75;
  line-height: 1.4;
}

@media (max-width: 520px) {
  .prompt-list {
    grid-template-columns: 1fr;
  }

  /* Issue #27: drop the brand wordmark on the narrowest viewports so the
   * topbar holds the FA logo + emoji actions + hamburger on a single row. */
  .brand strong {
    display: none;
  }

  /* Issue #27: collapse the icon-only buttons even tighter so a row of six
   * fits on a 360px-wide handset alongside the hamburger toggle. */
  .topbar-actions .mode-toggle,
  .topbar-actions .diagnostics-toggle,
  .topbar-actions .agent-toggle,
  .topbar-actions .report-button,
  .topbar-actions .memory-button {
    padding: 0 8px;
    min-height: 36px;
  }

  .mobile-menu-toggle {
    padding: 0 8px;
    min-height: 36px;
  }
}