/* 공리 비교 뷰어(5번째 탭) */
body.axioms-mode #sidebar, body.axioms-mode #composer-wrap, body.axioms-mode #chat,
body.axioms-mode #workbench, body.axioms-mode #newlaw, body.axioms-mode #admin{display:none}
body.axioms-mode #axioms{display:block}
#axioms{display:none; overflow-y:auto; padding:18px 22px}

.ax-banner{display:flex; gap:14px; flex-wrap:wrap; align-items:center; font-size:var(--font-size-base);
  color:var(--tx-dim); border:1px solid var(--line); border-radius:10px;
  background:var(--bg-card); padding:8px 14px; margin-bottom:12px}
.ax-banner b{color:var(--tx)}
.ax-builder{display:flex; gap:8px; align-items:center; flex-wrap:wrap; margin:8px 0}
.ax-blabel{font-size:var(--font-size-base); color:var(--tx-faint)}
#ax-qtype{font-size:var(--font-size-base); padding:6px 10px; border:1px solid var(--line); border-radius:8px;
  background:var(--bg-card); color:var(--tx)}
#ax-term{font-size:var(--font-size-base); padding:6px 10px; border:1px solid var(--line); border-radius:8px;
  background:var(--bg-card); color:var(--tx); min-width:220px}
.ax-gen{font-size:var(--font-size-base); color:var(--tx-faint); margin-top:8px}
.ax-gen pre{margin:4px 0 0; padding:8px 10px; background:var(--bg-chip); border:1px solid var(--line);
  border-radius:8px; font-family:ui-monospace,Consolas,monospace; font-size:var(--font-size-base);
  white-space:pre-wrap; color:var(--tx-dim)}
#ax-query{width:100%; min-height:64px; font-family:ui-monospace,Consolas,monospace;
  font-size:var(--font-size-base); padding:8px 10px; border:1px solid var(--line); border-radius:8px;
  background:var(--bg-card); color:var(--tx); resize:vertical; margin-top:8px}

.ax-cols{display:grid; grid-template-columns:1fr 1fr; gap:12px; margin-top:12px}
@media(max-width:760px){.ax-cols{grid-template-columns:1fr}}
.ax-col{border:1px solid var(--line); border-radius:10px; background:var(--bg-card); padding:10px 12px}
.ax-col h4{margin:0 0 6px; font-size:var(--font-size-base); font-weight:700}
.ax-col .cnt{font-size:var(--font-size-base); color:var(--tx-faint); font-weight:400}
.ax-row{font-size:var(--font-size-base); color:var(--tx-dim); padding:2px 0; border-bottom:1px dashed var(--line);
  white-space:nowrap; overflow:hidden; text-overflow:ellipsis}
.ax-diff{margin-top:12px; border:1px solid var(--accent); border-radius:10px; padding:10px 12px;
  background:var(--bg-card)}
.ax-diff h4{margin:0 0 6px; font-size:var(--font-size-base); font-weight:700; color:var(--accent)}
.ax-add{color:var(--accent)}
.ax-rm{color:var(--red)}