.publication-main {
  padding: 2.1rem 0 3.6rem;
  display: grid;
  gap: 0.9rem;
}

.publication-hero {
  background:
    radial-gradient(110% 90% at 100% 0%, rgba(143, 34, 54, 0.08), transparent 58%),
    #ffffff;
}

.publication-hero h1 {
  margin-bottom: 0.5rem;
}

.publication-lead {
  margin: 0;
  color: var(--ink-soft);
  max-width: 96ch;
}

.publication-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(300px, 0.44fr);
  gap: 0.86rem;
}

.publication-left-stack,
.publication-right-stack {
  display: grid;
  gap: 0.86rem;
  align-content: start;
}

.publication-card {
  padding: 0.9rem;
}

.proposition-board {
  display: grid;
  gap: 0.8rem;
}

.prop-group {
  border: 1px solid #d8e1ec;
  border-radius: 12px;
  background: #ffffff;
  padding: 0.7rem;
  display: grid;
  gap: 0.6rem;
}

.prop-row {
  display: grid;
  grid-template-columns: minmax(0, 1.4fr) minmax(0, 0.7fr) minmax(0, 0.9fr);
  gap: 0.6rem;
  align-items: start;
}

.prop-overall {
  background: #f7fbff;
  border-radius: 10px;
  padding: 0.6rem;
}

.prop-relevant-list {
  display: grid;
  gap: 0.35rem;
}

.prop-relevant {
  padding: 0.55rem 0.6rem;
  border-top: 1px dashed #d9e2ee;
}

.prop-copy .prop-title {
  margin: 0 0 0.2rem;
  font-weight: 600;
  color: #1f3958;
}

.prop-note {
  margin: 0;
  color: #5a7188;
  font-size: 0.85rem;
}

.prop-market,
.prop-view {
  display: grid;
  gap: 0.25rem;
  font-size: 0.85rem;
}

.market-label {
  font-size: 0.7rem;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: #607189;
  font-weight: 700;
}

.market-sub {
  font-size: 0.72rem;
  color: #6c7d92;
}

.prop-view select,
.prop-view input[type="range"] {
  width: 100%;
}

.prop-confidence-row {
  display: flex;
  align-items: center;
  gap: 0.4rem;
}

.prop-confidence-value {
  font-weight: 700;
  color: #203145;
  font-size: 0.8rem;
  min-width: 40px;
  text-align: right;
}

.article-proposition-block {
  margin-top: 0.6rem;
  display: grid;
  gap: 0.4rem;
}

.article-proposition-picker {
  display: grid;
  gap: 0.6rem;
}

.prop-picker-group {
  border: 1px solid #d8e1ec;
  border-radius: 10px;
  padding: 0.6rem;
  background: #f9fbff;
}

.prop-picker-title {
  margin: 0 0 0.35rem;
  font-weight: 600;
  color: #203145;
  font-size: 0.92rem;
}

.prop-picker-list {
  display: grid;
  gap: 0.35rem;
}

.prop-picker-item {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  font-size: 0.86rem;
  color: #27364a;
}

.prop-picker-item select {
  margin-left: auto;
  min-width: 140px;
}

.feed-toggle {
  display: flex;
  gap: 0.4rem;
  flex-wrap: wrap;
}

.feed-toggle button {
  border: 1px solid #cdd8e6;
  background: #ffffff;
  border-radius: 999px;
  padding: 0.3rem 0.7rem;
  font-size: 0.78rem;
  font-weight: 700;
  color: #324a66;
  cursor: pointer;
}

.feed-toggle button.is-active {
  background: #223246;
  border-color: #223246;
  color: #ffffff;
}

.article-prop-meta {
  margin: 0.3rem 0 0.4rem;
  display: grid;
  gap: 0.35rem;
}

.article-prop-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem;
}

.article-prop-tag {
  background: #edf3ff;
  color: #203145;
  border-radius: 999px;
  padding: 0.18rem 0.55rem;
  font-size: 0.72rem;
  font-weight: 700;
}

.article-relevance {
  color: #2c5d44;
  font-weight: 700;
  font-size: 0.78rem;
}

.article-disagreement {
  color: #8f2236;
  font-weight: 600;
  font-size: 0.78rem;
}

.publication-card-head {
  margin-bottom: 0.44rem;
}

.publication-card-head h2 {
  margin-bottom: 0.2rem;
  font-size: clamp(1.22rem, 2vw, 1.62rem);
}

.publication-insights-card {
  background:
    radial-gradient(115% 120% at 100% 0%, rgba(28, 96, 160, 0.08), transparent 52%),
    #ffffff;
}

.publication-insights-head {
  display: flex;
  justify-content: space-between;
  gap: 0.7rem;
  align-items: flex-start;
}

.insights-filter-label {
  display: grid;
  gap: 0.2rem;
  font-size: 0.8rem;
  color: #4f647e;
  font-weight: 700;
  min-width: 142px;
}

.insights-filter-label select {
  border: 1px solid #cad6e2;
  border-radius: 8px;
  background: #ffffff;
  color: #203145;
  font: inherit;
  padding: 0.34rem 0.4rem;
}

.insight-cards {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.46rem;
}

.insight-card {
  border: 1px solid #d6e0eb;
  border-radius: 12px;
  background: #f7fbff;
  padding: 0.52rem 0.56rem;
}

.insight-card-label {
  margin: 0;
  color: #51667f;
  font-size: 0.76rem;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  font-weight: 700;
}

.insight-card-value {
  margin: 0.18rem 0 0;
  font-size: 1.46rem;
  font-weight: 800;
  color: #1f3958;
}

.insight-card-sub {
  margin: 0.14rem 0 0;
  color: #5e7186;
  font-size: 0.76rem;
}

.insight-trend-wrap {
  margin-top: 0.52rem;
  border: 1px solid #d8e1eb;
  border-radius: 12px;
  background: #ffffff;
  padding: 0.42rem 0.48rem 0.5rem;
}

.insight-trend-head {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 0.5rem;
}

.insights-trend-chart {
  width: 100%;
  display: block;
  margin-top: 0.24rem;
}

.insight-takeaways {
  margin-top: 0.5rem;
}

.publication-form {
  display: grid;
  gap: 0.45rem;
}

.publication-form.is-readonly {
  opacity: 0.64;
}

.publication-form label,
.publication-form-row label,
.syllogism-terms-grid label {
  font-weight: 700;
  font-size: 0.85rem;
  color: #33475d;
  display: grid;
  gap: 0.18rem;
}

.publication-form input,
.publication-form textarea,
.publication-form-row input,
.syll-row select,
.syllogism-terms-grid input {
  width: 100%;
  border: 1px solid #c8d3df;
  border-radius: 8px;
  background: #ffffff;
  color: #203145;
  font: inherit;
  padding: 0.5rem 0.58rem;
}

.publication-form input:disabled,
.publication-form textarea:disabled,
.publication-form select:disabled,
.publication-form button:disabled {
  cursor: not-allowed;
  background: #f3f6fa;
  color: #61748a;
}

.composer-access-hint {
  margin-top: 0.25rem;
}

.publication-form textarea {
  resize: vertical;
}

.publication-form-row {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 0.48rem;
  align-items: end;
}

.publication-form-row label {
  grid-column: 1 / 3;
}

.active-user-badge {
  margin-top: 0.5rem;
  border: 1px solid #d4dde7;
  border-radius: 999px;
  background: #f4f8fb;
  color: #26476e;
  width: fit-content;
  font-size: 0.82rem;
  font-weight: 700;
  padding: 0.26rem 0.58rem;
}

.known-users-wrap {
  margin-top: 0.6rem;
}

.label-lite {
  margin: 0 0 0.24rem;
  text-transform: uppercase;
  letter-spacing: 0.07em;
  font-size: 0.7rem;
  color: #607286;
  font-weight: 700;
}

.known-users-list {
  list-style: none;
  margin: 0;
  padding: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
}

.known-users-list li {
  margin: 0;
}

.user-pill {
  border: 1px solid #d1dbe7;
  border-radius: 999px;
  background: #f8fbfe;
  color: #33475d;
  padding: 0.22rem 0.5rem;
  font-size: 0.78rem;
  font-weight: 700;
}

.user-pill button {
  all: unset;
  cursor: pointer;
}

.mention-preview-row {
  margin-top: 0.12rem;
}

.publication-action-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.42rem;
  margin-top: 0.18rem;
}

.syllogism-terms-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.45rem;
}

.syllogism-grid {
  margin-top: 0.56rem;
  display: grid;
  gap: 0.5rem;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.syllogism-grid h3 {
  margin: 0 0 0.24rem;
  font-size: 1.02rem;
}

.syll-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.32rem;
}

.syll-sentence {
  margin: 0.26rem 0 0;
  border: 1px solid #d7e0ea;
  border-radius: 8px;
  background: #f7fbff;
  padding: 0.4rem 0.46rem;
  min-height: 2.6rem;
  font-weight: 600;
  color: #294666;
}

.syll-result {
  margin-top: 0.5rem;
  border-radius: 10px;
  border: 1px solid #d8e2ee;
  background: #f7fbff;
  padding: 0.5rem 0.56rem;
  font-size: 0.92rem;
}

.syll-result.valid {
  border-color: rgba(36, 105, 74, 0.36);
  background: rgba(36, 105, 74, 0.08);
  color: #194b34;
}

.syll-result.invalid {
  border-color: rgba(143, 34, 54, 0.35);
  background: rgba(143, 34, 54, 0.09);
  color: #6f1f32;
}

.syll-counterexample {
  margin-top: 0.36rem;
  font-size: 0.84rem;
  color: #445a72;
}

.counterexample-table {
  margin-top: 0.25rem;
  width: 100%;
  border-collapse: collapse;
}

.counterexample-table th,
.counterexample-table td {
  border: 1px solid #d8e0ea;
  padding: 0.24rem 0.3rem;
  font-size: 0.8rem;
  text-align: left;
}

.inbox-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.5rem;
}

.inbox-count {
  border: 1px solid #d7c5cb;
  border-radius: 999px;
  padding: 0.16rem 0.5rem;
  background: #faf1f4;
  color: #8f2236;
  font-weight: 700;
  font-size: 0.78rem;
}

.inbox-list,
.rules-list {
  margin: 0;
  padding-left: 1.05rem;
  display: grid;
  gap: 0.4rem;
}

.inbox-item {
  margin: 0;
  border: 1px solid #d7e0eb;
  border-radius: 10px;
  background: #f8fbff;
  padding: 0.46rem 0.54rem;
  list-style: none;
}

.inbox-item.is-unread {
  border-color: #8f2236;
  background: #fff8fa;
}

.inbox-top {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 0.4rem;
}

.inbox-meta {
  margin: 0.16rem 0 0;
  font-size: 0.78rem;
  color: #5b6e84;
}

.inbox-actions {
  margin-top: 0.3rem;
  display: flex;
  gap: 0.34rem;
}

.inbox-actions button {
  border: 1px solid #ccd8e6;
  border-radius: 6px;
  background: #ffffff;
  font-size: 0.76rem;
  font-weight: 700;
  color: #355271;
  padding: 0.18rem 0.44rem;
  cursor: pointer;
}

.article-feed {
  display: grid;
  gap: 0.6rem;
}

.article-card {
  border: 1px solid #d8e1eb;
  border-radius: 12px;
  background: #ffffff;
  padding: 0.58rem 0.66rem;
  transition: border-color 0.26s ease, box-shadow 0.26s ease, background-color 0.26s ease;
}

.article-card-highlight {
  border-color: #2e5d88;
  background: #f2f8ff;
  box-shadow: 0 0 0 3px rgba(46, 93, 136, 0.14);
}

.article-title {
  margin: 0 0 0.2rem;
  font-size: 1.24rem;
}

.article-meta {
  margin: 0 0 0.35rem;
  font-size: 0.82rem;
  color: #566b83;
}

.article-body {
  margin: 0;
  color: #24384f;
  line-height: 1.56;
  white-space: pre-wrap;
  user-select: text;
}

.article-passage-highlight {
  background: rgba(242, 210, 120, 0.42);
  border-radius: 4px;
  padding: 0 0.08rem;
}

.pub-mention {
  display: inline-block;
  border: 1px solid #d7c6cc;
  border-radius: 999px;
  background: #faf1f4;
  color: #8f2236;
  padding: 0.02rem 0.35rem;
  font-size: 0.86em;
  font-weight: 700;
}

.article-mention-line {
  margin-top: 0.42rem;
  font-size: 0.82rem;
  color: #4f637b;
}

.article-annotation-instruction {
  margin-top: 0.46rem;
}

.article-annotation-editor {
  margin-top: 0.5rem;
  border: 1px solid #cfdae8;
  border-radius: 10px;
  background: #f8fbff;
  padding: 0.55rem 0.58rem;
  display: grid;
  gap: 0.36rem;
}

.annotation-selected-quote {
  margin: 0;
  border-left: 3px solid #3d6186;
  background: #edf4fc;
  padding: 0.3rem 0.42rem;
  font-size: 0.82rem;
  color: #24425f;
}

.annotation-label {
  display: grid;
  gap: 0.14rem;
  color: #355171;
  font-weight: 700;
  font-size: 0.8rem;
}

.annotation-label textarea,
.annotation-label select {
  width: 100%;
  border: 1px solid #c8d3df;
  border-radius: 8px;
  background: #ffffff;
  color: #203145;
  font: inherit;
  font-size: 0.84rem;
  padding: 0.4rem 0.5rem;
}

.annotation-label textarea {
  resize: vertical;
}

.annotation-action-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
}

.annotation-editor-status {
  margin: 0;
}

.article-comments {
  margin-top: 0.56rem;
}

.article-comments h4 {
  margin: 0 0 0.34rem;
  font-size: 0.98rem;
}

.article-comment-list {
  margin: 0;
  padding: 0;
  list-style: none;
  display: grid;
  gap: 0.46rem;
}

.article-comment-item {
  border: 1px solid #d4deea;
  border-radius: 10px;
  background: #f9fbfe;
  padding: 0.44rem 0.5rem;
}

.annotation-quote {
  margin: 0;
  color: #405d7c;
  font-size: 0.79rem;
  border-left: 3px solid #7f97b3;
  padding-left: 0.42rem;
}

.article-comment-text {
  margin: 0.28rem 0 0;
  color: #253b55;
  font-size: 0.86rem;
  white-space: pre-wrap;
}

.article-comment-meta {
  margin: 0.3rem 0 0;
  color: #60748a;
  font-size: 0.76rem;
  display: flex;
  align-items: center;
  gap: 0.34rem;
  flex-wrap: wrap;
}

.annotation-visibility-badge {
  border: 1px solid #d1d9e4;
  border-radius: 999px;
  background: #ffffff;
  color: #435d7c;
  font-weight: 700;
  padding: 0.08rem 0.42rem;
}

.annotation-reply-wrap {
  margin-top: 0.36rem;
  display: grid;
  gap: 0.3rem;
}

.annotation-reply-editor {
  border: 1px solid #d8e2ec;
  border-radius: 10px;
  background: #ffffff;
  padding: 0.42rem 0.45rem;
  display: grid;
  gap: 0.3rem;
}

.annotation-reply-list {
  list-style: none;
  margin: 0;
  padding: 0;
  display: grid;
  gap: 0.28rem;
}

.annotation-reply-item {
  border: 1px solid #d9e2ec;
  border-radius: 8px;
  background: #ffffff;
  padding: 0.36rem 0.4rem;
}

.annotation-replies-empty {
  margin: 0;
}

.annotation-signin-note {
  margin: 0;
}

.publication-feed-card {
  margin-top: 0.02rem;
}

@media (max-width: 1060px) {
  .insight-cards {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

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

  .publication-right-stack {
    grid-template-columns: 1fr;
  }

  .prop-row {
    grid-template-columns: 1fr;
  }
}

@media (max-width: 780px) {
  .syllogism-terms-grid,
  .syllogism-grid {
    grid-template-columns: 1fr;
  }

  .publication-insights-head {
    flex-direction: column;
  }

  .insight-cards {
    grid-template-columns: 1fr;
  }

  .publication-form-row {
    grid-template-columns: 1fr;
  }

  .publication-form-row label {
    grid-column: 1;
  }

  .prop-picker-item {
    flex-wrap: wrap;
  }

  .prop-picker-item select {
    margin-left: 0;
    width: 100%;
  }
}

/* Forethought-inspired publication palette alignment */
.publication-hero {
  background: #ffffff;
}

.publication-card,
.prop-group,
.prop-picker-group,
.insight-card,
.article-comment-item,
.annotation-reply-editor,
.annotation-reply-item {
  border-color: #dfe6ee;
  box-shadow: 0 3px 12px rgba(27, 36, 50, 0.05);
}

.prop-overall,
.insight-card,
.prop-picker-group,
.article-comment-item {
  background: #f7f9fc;
}

.publication-insights-card {
  background: #ffffff;
}

.market-label {
  color: #65748a;
}

.prop-copy .prop-title,
.insight-card-value {
  color: #1d3557;
}

.feed-toggle button {
  border-color: #d3dde8;
  color: #4c5a6f;
  border-radius: 10px;
  font-weight: 600;
}

.feed-toggle button.is-active {
  background: #1d3557;
  border-color: #1d3557;
  color: #ffffff;
}

.article-prop-tag {
  background: #edf3ff;
  color: #334861;
}

.annotation-quote {
  border-left-color: #9caec3;
  color: #4b5d73;
}

/* Home-style alignment (Forethought-like) */
:root {
  --home-bg: #efefea;
  --home-surface: #f7f7f4;
  --home-line: #dfe2de;
  --home-line-strong: #d2d8d3;
  --home-ink: #2f2d2b;
  --home-muted: #5d615f;
  --home-accent: #2f3d53;
}

body {
  background: var(--home-bg);
  color: var(--home-ink);
}

h1,
h2,
h3,
h4,
.publication-card-head h2,
.publication-hero h1 {
  font-family: "Iowan Old Style", "Palatino Linotype", Palatino, Garamond, serif;
  font-weight: 500;
  color: var(--home-ink);
}

.publication-hero {
  background: var(--home-surface);
  border-color: var(--home-line);
}

.publication-lead,
.hint,
.prop-note,
.market-sub,
.article-comment-meta,
.publication-card p {
  color: var(--home-muted);
}

.panel,
.publication-card,
.prop-group,
.prop-picker-group,
.insight-card,
.article-comment-item,
.annotation-reply-editor,
.annotation-reply-item {
  background: var(--home-surface);
  border-color: var(--home-line);
  box-shadow: none;
}

.prop-overall,
.prop-picker-group,
.insight-card {
  background: #f3f4f1;
}

.prop-copy .prop-title,
.insight-card-value {
  color: #384353;
}

.feed-toggle button {
  border-color: var(--home-line-strong);
  border-radius: 8px;
  color: #4d5350;
  font-weight: 600;
}

.feed-toggle button.is-active {
  background: var(--home-accent);
  border-color: var(--home-accent);
  color: #ffffff;
}

.article-prop-tag {
  background: #eeefed;
  color: #4a5259;
}

.article-relevance {
  color: #3f5550;
}

.article-disagreement {
  color: #7a3e4b;
}