/* Counterexample Register v87 · additive page-only styles */
.counterexample-status{margin:26px 0 0;padding:22px 24px;border-left:3px solid #28527b;background:#eef1f2}.counterexample-status strong{display:block;font:700 10px/1.5 var(--mono);letter-spacing:.11em;text-transform:uppercase;color:#526b82;margin-bottom:7px}.counterexample-status p{margin:0;font-size:18px;color:#27313a}.register-rule{display:grid;gap:14px}.register-rule p{max-width:76ch}.register-meta{display:flex;flex-wrap:wrap;justify-content:space-between;gap:12px 24px;padding:16px 0;border-top:1px solid var(--content-line);border-bottom:1px solid var(--content-line);font:700 10px/1.55 var(--mono);letter-spacing:.08em;text-transform:uppercase;color:#66737d}.register-table-wrap{margin-top:24px;overflow-x:auto;-webkit-overflow-scrolling:touch;border:1px solid #d4cec4;background:#fffdf9}.register-table{width:100%;border-collapse:collapse;min-width:1080px}.register-table caption{text-align:left;padding:13px 14px;background:#f7f4ee;border-bottom:1px solid #d4cec4;font:700 11px/1.45 var(--mono);letter-spacing:.06em;color:#52606b}.register-table th,.register-table td{text-align:left;vertical-align:top;padding:14px 13px;border-right:1px solid #e0dbd3;border-bottom:1px solid #e0dbd3}.register-table th:last-child,.register-table td:last-child{border-right:0}.register-table tr:last-child td{border-bottom:0}.register-table th{font:700 10px/1.4 var(--mono);letter-spacing:.08em;text-transform:uppercase;color:#53616d;background:#f0ede7}.register-table td{font:400 14px/1.55 var(--sans);color:#3f4951}.register-table .empty-msg{color:#66717b;font-style:italic;text-align:center}.register-note{margin-top:18px;color:#67717a;font-size:13px;line-height:1.6}.register-history{margin-top:26px;padding-top:20px;border-top:1px solid var(--content-line)}.register-history h3{margin:0 0 12px}.register-history ul{margin:0;padding-left:20px;color:#56626c}.register-history li+li{margin-top:8px}.register-actions{display:flex;flex-wrap:wrap;gap:12px 24px;margin-top:28px}.register-actions a{font-weight:700;color:#244e76;text-underline-offset:4px}@media(max-width:680px){.counterexample-status{padding:19px 18px}.register-table-wrap{overflow:visible;border:0;background:transparent}.register-table{min-width:0;border-collapse:separate;border-spacing:0}.register-table caption{border:1px solid #d4cec4;border-bottom:0}.register-table thead{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.register-table tbody,.register-table tr,.register-table td{display:block;width:100%}.register-table tr{border:1px solid #d4cec4;background:#fffdf9;margin-bottom:14px}.register-table td{display:grid;grid-template-columns:112px minmax(0,1fr);gap:12px;border-right:0;border-bottom:1px solid #e0dbd3;padding:12px 14px}.register-table td:last-child{border-bottom:0}.register-table td::before{content:attr(data-label);font:700 9px/1.45 var(--mono);letter-spacing:.07em;text-transform:uppercase;color:#64717c}.register-table .empty-state .empty-msg{display:block;width:auto;text-align:left;font-style:italic;border:0}.register-table .empty-state .empty-msg::before{content:none;display:none}}