/* /verify and the MIX pages (src/verification/views.ts). */
.vf p { margin-bottom: 14px; }
.vf-note { color: var(--text-dim); font-size: 14px; }
.vf-dim { color: var(--text-dim); font-size: 13px; }
.vf-repo { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; }
.vf-form { display: grid; gap: 12px; max-width: 28rem; margin-bottom: 16px; }
.vf-form select, .vf-form input { min-height: 40px; padding: 8px 10px; border: 1px solid var(--line-strong); border-radius: var(--radius); background: var(--bg); color: var(--text); font: inherit; }
.vf-inline { display: flex; flex-wrap: wrap; gap: 8px; max-width: none; }
.vf-code { border: 1px solid var(--line); border-radius: 10px; overflow: hidden; margin-bottom: 16px; min-width: 0; }
.vf-code-bar { display: flex; justify-content: space-between; align-items: center; gap: 8px; padding: 6px 8px 6px 12px; background: var(--bg-soft); border-bottom: 1px solid var(--line); font-family: var(--mono); font-size: 13px; color: var(--text-dim); }
.vf-code pre { margin: 0; padding: 12px; max-height: 26rem; overflow: auto; white-space: pre; word-break: normal; font-size: 12.5px; line-height: 1.5; background: var(--bg); color: var(--text-body); }
.vf-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr)); gap: 12px; }
.vf-table td { white-space: nowrap; }
.vf-solved, .vf-exercises { padding-left: 1.2em; display: grid; gap: 6px; margin-bottom: 16px; }
.vf-exercises { list-style: none; padding: 0; gap: 12px; }
.vf-premium { margin: 8px 0 16px; }
.vf-premium summary { cursor: pointer; color: var(--link); }
.vf-submit { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; margin-top: 16px; }
.vf-submit .form-error, .vf-submit .form-ok { flex-basis: 100%; white-space: pre-wrap; }
.vf .form-error { white-space: pre-wrap; }