* { box-sizing: border-box; margin: 0; padding: 0; }
body { font-family: Arial, sans-serif; background: #f5f7fa; color: #222; display: flex; flex-direction: column; min-height: 100vh; font-size: 15px; line-height: 1.7; }
header { background: #1a2744; color: white; padding: 16px 32px; display: flex; align-items: center; justify-content: space-between; }
header h1 { font-size: 28px; letter-spacing: 2px; }
.tabs { background: #2c4a7c; display: flex; flex-wrap: wrap; }
.tab { padding: 12px 20px; color: #aac; cursor: pointer; font-size: 15px; border-bottom: 3px solid transparent; }
.tab.active { color: white; border-bottom: 3px solid #fff; }
.main-content { flex: 1; }
.container { max-width: 1400px; margin: 0 auto; padding: 40px; }
.presets { display: flex; gap: 10px; margin-bottom: 12px; flex-wrap: wrap; align-items: center; }
.preset-btn { padding: 8px 14px; border: 2px solid #1a2744; border-radius: 4px; background: white; cursor: pointer; font-size: 15px; font-weight: bold; color: #1a2744; }
.preset-btn.active { background: #1a2744; color: white; }
.edit-toggle { padding: 6px 14px; border: 2px solid #935116; border-radius: 4px; background: white; cursor: pointer; font-size: 15px; color: #935116; margin-left: auto; }
.edit-toggle.editing { background: #935116; color: white; }
.case-desc { border-left: 4px solid #1a2744; padding: 12px 16px; margin-bottom: 20px; font-size: 15px; color: #444; border-radius: 4px; background: white; display: none; line-height: 1.6; }
.disclaimer-bar { background: #f0f4ff; border: 1px solid #2c4a7c; border-radius: 4px; padding: 8px 14px; margin-bottom: 12px; font-size: 15px; color: #2c4a7c; }
.grid { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; margin-bottom: 20px; }
.field { display: flex; flex-direction: column; gap: 6px; }
.field label { font-size: 15px; font-weight: bold; color: #1a2744; }
textarea { width: 100%; padding: 10px; border: 1px solid #ccc; border-radius: 4px; font-size: 15px; font-family: monospace; resize: vertical; }
textarea[readonly] { background: #f8f8f8; color: #555; border-color: #ddd; }
textarea:disabled { background: #f0f0f0; color: #999; }
select { padding: 10px; border: 1px solid #ccc; border-radius: 4px; font-size: 15px; width: 100%; }
select:disabled { background: #f0f0f0; color: #999; }
.run-btn { background: #1e6e38; color: white; border: none; padding: 12px 40px; font-size: 16px; font-weight: bold; border-radius: 4px; cursor: pointer; width: 100%; margin-bottom: 20px; }
.run-btn:hover { background: #155c2d; }
.result-box { border-radius: 6px; padding: 28px; margin-bottom: 20px; }
.result-box.AUTHORITY-ESTABLISHED { background: #f0fff4; border: 2px solid #1e6e38; }
.result-box.AUTHORITY-PENDING, .result-box.AUTHORITY-NOT-ESTABLISHED { background: #fff5f5; border: 2px solid #922b21; }
.result-box.AUTHORITY-INDETERMINABLE { background: #f3e5f5; border: 2px solid #5B0EA6; }
.result-box.FRAMEWORK-NONE, .result-box.CONSTRAINTS-NONE { background: #f5f5f5; border: 2px solid #888; }
.result-label { font-size: 22px; font-weight: bold; margin-bottom: 10px; }
.AUTHORITY-ESTABLISHED .result-label { color: #1e6e38; }
.AUTHORITY-PENDING .result-label, .AUTHORITY-NOT-ESTABLISHED .result-label { color: #922b21; }
.AUTHORITY-INDETERMINABLE .result-label { color: #5B0EA6; }
.meta { font-size: 15px; color: #666; font-family: monospace; margin-bottom: 10px; line-height: 1.6; }
.finding-item { background: white; border-radius: 4px; padding: 10px 14px; margin-bottom: 8px; border-left: 4px solid #1a2744; }
.finding-code { font-weight: bold; font-size: 15px; color: #1a2744; }
.finding-desc { font-size: 15px; color: #444; margin-top: 4px; }
.finding-count { background: #922b21; color: white; font-size: 11px; padding: 1px 6px; border-radius: 10px; margin-left: 6px; }
.rlcf-box { background: #eef2ff; border: 1px solid #2c4a7c; border-radius: 4px; padding: 14px; margin-top: 12px; }
.rlcf-title { font-weight: bold; font-size: 15px; color: #2c4a7c; margin-bottom: 6px; }
.rlcf-text { font-family: monospace; font-size: 15px; white-space: pre-wrap; }
.loop-btn { background: #2c4a7c; color: white; border: none; padding: 10px 24px; border-radius: 4px; cursor: pointer; font-size: 15px; margin-top: 10px; }
.audit-table { width: 100%; border-collapse: collapse; font-size: 15px; }
.audit-table th { background: #1a2744; color: white; padding: 8px 12px; text-align: left; }
.audit-table td { padding: 8px 12px; border-bottom: 1px solid #eee; vertical-align: top; max-width: 180px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.badge { display: inline-block; padding: 2px 8px; border-radius: 3px; font-size: 11px; font-weight: bold; }
.badge.AUTHORITY-ESTABLISHED { background: #f0fff4; color: #1e6e38; border: 1px solid #1e6e38; }
.badge.AUTHORITY-PENDING, .badge.AUTHORITY-NOT-ESTABLISHED { background: #fff5f5; color: #922b21; border: 1px solid #922b21; }
.badge.AUTHORITY-INDETERMINABLE { background: #f3e5f5; color: #5B0EA6; border: 1px solid #5B0EA6; }
.report-box { background: white; border: 1px solid #ccc; border-radius: 6px; padding: 28px; margin-top: 16px; }
.verified { color: #1e6e38; font-weight: bold; }
.unverified { color: #922b21; font-weight: bold; }
footer { background: #1a2744; color: #aac; padding: 16px 32px; display: flex; align-items: center; justify-content: space-between; }
footer .footer-title { font-size: 20px; font-weight: bold; color: white; letter-spacing: 2px; }
footer .footer-right { font-size: 15px; color: #aac; text-align: right; }
.orynx-term { border-bottom: 1px dashed #2c4a7c; cursor: help; color: inherit; }
.orynx-tip { display: none; position: fixed; background: #1a2744; color: white; padding: 10px 14px; border-radius: 6px; font-size: 15px; max-width: 280px; line-height: 1.5; z-index: 9999; box-shadow: 0 4px 12px rgba(0,0,0,0.3); pointer-events: none; }
.orynx-tip strong { display: block; font-size: 15px; color: #7eb8f7; margin-bottom: 4px; }

/* v0.30 — Authority State Classes */
.result-box.AUTHORITY-ESTABLISHED { background: #f0fff4; border: 2px solid #1e6e38; }
.result-box.AUTHORITY-PENDING { background: #fff8f0; border: 2px solid #935116; }
.result-box.AUTHORITY-NOT-ESTABLISHED { background: #fff5f5; border: 2px solid #922b21; }
.result-box.AUTHORITY-INDETERMINABLE { background: #f3e5f5; border: 2px solid #5B0EA6; }
.result-box.FRAMEWORK-NONE, .result-box.CONSTRAINTS-NONE { background: #f5f5f5; border: 2px solid #888; }

.badge.AUTHORITY-ESTABLISHED { background: #f0fff4; color: #1e6e38; border: 1px solid #1e6e38; }
.badge.AUTHORITY-PENDING { background: #fff8f0; color: #935116; border: 1px solid #935116; }
.badge.AUTHORITY-NOT-ESTABLISHED { background: #fff5f5; color: #922b21; border: 1px solid #922b21; }
.badge.AUTHORITY-INDETERMINABLE { background: #f3e5f5; color: #5B0EA6; border: 1px solid #5B0EA6; }
.badge.FRAMEWORK-NONE, .badge.CONSTRAINTS-NONE { background: #f5f5f5; color: #888; border: 1px solid #888; }