body { font-family: system-ui, sans-serif; max-width: 800px; margin: 2em auto; padding: 0 1em; color: #1a1a1a; }
h1 { font-size: 1.4em; }
.back { font-size: 0.85em; color: #0366d6; text-decoration: none; }
.back:hover { text-decoration: underline; }
.subtitle { font-weight: normal; font-size: 0.7em; color: #888; }
.description { color: #555; }
#status { padding: 0.6em 1em; border-radius: 6px; margin: 1em 0; font-weight: 600; }
.status-loading { background: #fff9c4; color: #f57f17; }
.status-ready { background: #e8f5e9; color: #2e7d32; }
.status-error { background: #ffebee; color: #c62828; }
.test { border: 1px solid #e0e0e0; border-radius: 6px; margin: 0.8em 0; padding: 0.8em 1em; }
.test-pass { border-left: 4px solid #4caf50; }
.test-fail { border-left: 4px solid #f44336; }
.test-pending { border-left: 4px solid #bdbdbd; }
.test h3 { margin: 0 0 0.3em; font-size: 0.95em; }
.test pre { margin: 0.3em 0 0; font-size: 0.85em; background: #f5f5f5; padding: 0.5em; border-radius: 4px; overflow-x: auto; white-space: pre-wrap; word-break: break-word; }
.result { font-weight: 600; font-size: 0.85em; margin-top: 0.3em; }
.pass { color: #2e7d32; }
.fail { color: #c62828; }
.tag { display: inline-block; font-size: 0.65em; padding: 0.15em 0.5em; border-radius: 4px; font-weight: 600; vertical-align: middle; margin-left: 0.3em; }
.tag-none { background: #e8f5e9; color: #2e7d32; }
.tag-csexp { background: #fff3e0; color: #e65100; }
.tag-sexplib0 { background: #e3f2fd; color: #1565c0; }

/* Index page */
.index h1 { border-bottom: 2px solid #e5e5e5; padding-bottom: 0.4em; font-size: 1.6em; }
.index .compiler-info { font-size: 0.85em; color: #888; }
.index table { width: 100%; border-collapse: collapse; margin-top: 0.5em; margin-bottom: 2em; }
.index th, .index td { text-align: left; padding: 0.6em 0.8em; border-bottom: 1px solid #eee; }
.index th { font-size: 0.8em; color: #888; text-transform: uppercase; letter-spacing: 0.05em; }
.index td a { color: #0366d6; text-decoration: none; font-weight: 500; }
.index td a:hover { text-decoration: underline; }
.index h2 { font-size: 1.15em; margin: 1.5em 0 0.3em; color: #333; }

/* Dependencies section */
.deps-section { margin: 1em 0; border: 1px solid #e0e0e0; border-radius: 6px; padding: 0.6em 1em; font-size: 0.85em; }
.deps-section summary { cursor: pointer; font-weight: 600; color: #555; }
.deps-section summary:hover { color: #333; }
.deps-worker, .deps-index { margin: 0.5em 0; color: #555; font-family: monospace; font-size: 0.9em; word-break: break-all; }
.deps-table { width: 100%; border-collapse: collapse; margin-top: 0.6em; }
.deps-table th { text-align: left; font-size: 0.8em; color: #888; text-transform: uppercase; letter-spacing: 0.05em; padding: 0.3em 0.5em; border-bottom: 1px solid #ddd; }
.deps-table td { padding: 0.25em 0.5em; border-bottom: 1px solid #f0f0f0; font-size: 0.9em; }
.deps-table code { background: #f5f5f5; padding: 0.1em 0.3em; border-radius: 3px; font-size: 0.95em; }
.deps-hash { color: #999; font-family: monospace; font-size: 0.85em; }