:root {
  --bg: #0a0a1a; --bg2: #12122a; --bg3: #1a1a3a;
  --fg: #e0e0ff; --fg2: #a0a0cc; --fg3: #7070aa;
  --accent: #00e676; --accent2: #00c853; --accent3: #b9f6ca;
  --warn: #ffd600; --error: #ff1744; --info: #2979ff;
  --border: #2a2a4a; --shadow: rgba(0,0,0,0.4);
  --radius: 12px; --radius-sm: 8px;
}
* { margin: 0; padding: 0; box-sizing: border-box; }
body { font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif; background: var(--bg); color: var(--fg); min-height: 100vh; overflow-x: hidden; }

.app-header { display: flex; justify-content: space-between; align-items: center; padding: 12px 16px; background: var(--bg2); border-bottom: 1px solid var(--border); position: sticky; top: 0; z-index: 10000; }
.header-left { display: flex; align-items: center; gap: 12px; }
.menu-btn { background: none; border: 1px solid var(--border); color: var(--fg); font-size: 18px; padding: 6px 10px; border-radius: var(--radius-sm); cursor: pointer; }
.app-title { font-size: 20px; font-weight: 700; }
.header-right { display: flex; align-items: center; gap: 10px; }
.install-btn { background: var(--bg3); border: 1px solid var(--border); color: var(--fg); padding: 6px 14px; border-radius: var(--radius-sm); cursor: pointer; font-size: 13px; font-family: inherit; transition: border-color 0.2s; }
.install-btn:hover { border-color: var(--accent); }
.version { font-size: 12px; color: var(--fg3); background: var(--bg3); padding: 2px 8px; border-radius: 10px; }

.main-content { padding: 16px; padding-bottom: 80px; max-width: 800px; margin: 0 auto; }

.bottom-nav { display: flex; justify-content: space-around; position: fixed; bottom: 0; left: 0; right: 0; background: var(--bg2); border-top: 1px solid var(--border); padding: 8px 0; z-index: 10000; }
.nav-item { display: flex; flex-direction: column; align-items: center; gap: 2px; background: none; border: none; color: var(--fg3); font-size: 11px; cursor: pointer; padding: 6px 16px; border-radius: var(--radius-sm); transition: all 0.2s; }
.nav-item.active { color: var(--accent); }
.nav-item-icon { font-size: 20px; }

/* Dashboard */
.dashboard-header { display: flex; justify-content: space-between; align-items: center; margin-bottom: 20px; }
.dashboard-header h2 { font-size: 22px; }
.stats-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; margin-bottom: 24px; }
.stat-card { background: var(--bg2); border: 1px solid var(--border); border-radius: var(--radius); padding: 16px; text-align: center; }
.stat-card.verified { border-color: var(--accent); }
.stat-card.composed { border-color: var(--info); }
.stat-card.defined { border-color: var(--warn); }
.stat-num { display: block; font-size: 28px; font-weight: 700; }
.stat-card.verified .stat-num { color: var(--accent); }
.stat-card.composed .stat-num { color: var(--info); }
.stat-card.defined .stat-num { color: var(--warn); }
.stat-label { font-size: 12px; color: var(--fg3); text-transform: uppercase; letter-spacing: 1px; }

.section { margin-bottom: 24px; }
.section h2 { font-size: 18px; margin-bottom: 12px; color: var(--fg); }
.section h3 { font-size: 16px; margin-bottom: 8px; color: var(--fg2); }
.graph-output { background: var(--bg2); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 16px; font-family: monospace; font-size: 13px; color: var(--fg2); white-space: pre-wrap; overflow-x: auto; max-height: 300px; }

.derivatives-list { display: flex; flex-direction: column; gap: 8px; }
.derivative-card { background: var(--bg2); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 12px; }
.derivative-card.verified { border-left: 3px solid var(--accent); }
.derivative-card.composed { border-left: 3px solid var(--info); }
.derivative-card.defined { border-left: 3px solid var(--warn); }
.derivative-header { display: flex; justify-content: space-between; align-items: center; margin-bottom: 6px; }
.derivative-name { font-weight: 600; }
.derivative-state { font-size: 11px; padding: 2px 8px; border-radius: 10px; background: var(--bg3); text-transform: uppercase; letter-spacing: 0.5px; }
.state-verified { color: var(--accent); background: rgba(0,230,118,0.15); }
.state-composed { color: var(--info); background: rgba(41,121,255,0.15); }
.state-defined { color: var(--warn); background: rgba(255,214,0,0.15); }
.derivative-meta { display: flex; gap: 16px; font-size: 12px; color: var(--fg3); }
.derivative-hash { font-family: monospace; font-size: 11px; color: var(--fg3); margin-top: 4px; }

.log-output { background: var(--bg2); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 12px; max-height: 250px; overflow-y: auto; }
.log-entry { display: flex; gap: 12px; padding: 4px 0; border-bottom: 1px solid var(--border); font-size: 12px; }
.log-entry:last-child { border-bottom: none; }
.log-action { color: var(--accent); font-weight: 600; min-width: 70px; }
.log-detail { color: var(--fg2); flex: 1; }
.log-time { color: var(--fg3); font-family: monospace; font-size: 11px; }

/* Composer */
.composer .description { color: var(--fg2); margin-bottom: 16px; }
.form-section { display: flex; flex-direction: column; gap: 12px; margin-bottom: 20px; }
.field { display: flex; flex-direction: column; gap: 4px; }
.field label { font-size: 13px; color: var(--fg2); font-weight: 500; }
.field input, .field select, .field textarea { background: var(--bg2); border: 1px solid var(--border); color: var(--fg); padding: 10px 12px; border-radius: var(--radius-sm); font-size: 14px; font-family: inherit; }
.field input:focus, .field select:focus, .field textarea:focus { outline: none; border-color: var(--accent); }
.btn-primary { background: var(--accent); color: var(--bg); border: none; padding: 12px 20px; border-radius: var(--radius-sm); font-size: 14px; font-weight: 600; cursor: pointer; transition: background 0.2s; }
.btn-primary:hover { background: var(--accent2); }
.btn-success { background: var(--info); color: white; border: none; padding: 12px 20px; border-radius: var(--radius-sm); font-size: 14px; font-weight: 600; cursor: pointer; }

.adapter-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(120px, 1fr)); gap: 8px; margin-bottom: 12px; }
.adapter-option { display: flex; align-items: center; gap: 6px; background: var(--bg2); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 8px 12px; font-size: 13px; cursor: pointer; }
.adapter-option:has(.adapter-checkbox:checked) { border-color: var(--accent); background: rgba(0,230,118,0.1); }
.adapter-checkbox { accent-color: var(--accent); }

.derivative-item { display: flex; align-items: center; gap: 12px; background: var(--bg2); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 10px 14px; margin-bottom: 6px; }
.derivative-item .name { font-weight: 600; flex: 1; }
.derivative-item .state { font-size: 11px; padding: 2px 8px; border-radius: 10px; background: var(--bg3); }
.derivative-item .source { color: var(--fg3); font-size: 12px; }
.derivative-item .hash { font-family: monospace; font-size: 11px; color: var(--fg3); }

.output-panel { margin-top: 16px; }
.output-msg { background: var(--bg2); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 10px 14px; margin-bottom: 6px; font-size: 13px; font-family: monospace; }

.empty { color: var(--fg3); font-style: italic; padding: 16px; text-align: center; }

/* About */
.about-hero { text-align: center; padding: 32px 16px; background: var(--bg2); border-radius: var(--radius); margin-bottom: 24px; border: 1px solid var(--border); }
.logo-large { font-size: 64px; margin-bottom: 8px; }
.about-hero h1 { font-size: 36px; font-weight: 800; margin-bottom: 4px; }
.subtitle { color: var(--fg2); font-size: 16px; margin-bottom: 8px; }
.version-badge { display: inline-block; background: var(--accent); color: var(--bg); padding: 4px 12px; border-radius: 20px; font-size: 12px; font-weight: 600; }

.about .section { background: var(--bg2); border: 1px solid var(--border); border-radius: var(--radius); padding: 20px; margin-bottom: 16px; }
.about .section p { color: var(--fg2); line-height: 1.6; margin-bottom: 8px; }
.principle { background: rgba(0,230,118,0.08); border-left: 3px solid var(--accent); padding: 10px 14px; border-radius: 0 var(--radius-sm) var(--radius-sm) 0; }

.stack-diagram { display: flex; flex-direction: column; gap: 4px; }
.stack-layer { padding: 10px 16px; border-radius: var(--radius-sm); font-size: 13px; border: 1px solid var(--border); background: var(--bg3); color: var(--fg3); }
.stack-layer.active { border-color: var(--accent); background: rgba(0,230,118,0.1); color: var(--accent); }

.rules-grid { display: grid; gap: 8px; }
.rule { display: flex; align-items: center; gap: 12px; padding: 8px 12px; background: var(--bg3); border-radius: var(--radius-sm); }
.rule-id { font-weight: 700; color: var(--accent); min-width: 28px; }
.rule-desc { font-size: 13px; color: var(--fg2); }

.feature-list { list-style: none; }
.feature-list li { padding: 8px 0; border-bottom: 1px solid var(--border); font-size: 14px; color: var(--fg2); }
.feature-list li:last-child { border-bottom: none; }

.status-grid { display: grid; grid-template-columns: repeat(2, 1fr); gap: 8px; }
.status-item { padding: 8px 12px; border-radius: var(--radius-sm); font-size: 13px; background: rgba(0,230,118,0.08); color: var(--accent); }

.links-grid { display: grid; grid-template-columns: repeat(2, 1fr); gap: 8px; }
.link-card { display: block; padding: 12px; background: var(--bg3); border: 1px solid var(--border); border-radius: var(--radius-sm); color: var(--fg); text-decoration: none; text-align: center; font-size: 13px; transition: border-color 0.2s; }
.link-card:hover { border-color: var(--accent); }