/* The practice tool built by js/minisql.js (MiniSQL.lab): tables list, task, editor and results. Built on css/labs.css; load both.
   The same file is in the sister site's css/ folder; keep the two identical. */
.sql-tables { margin: 0; padding: 0; list-style: none; display: grid; gap: .35rem; font-size: .88rem; }
.sql-tables u { text-decoration-thickness: 2px; text-underline-offset: 2px; }
.sql-data { margin-top: .6rem; font-size: .85rem; }
.sql-data summary { cursor: pointer; font-weight: 600; }
.sql-data-name { margin: .6rem 0 .2rem; font-weight: 700; font-size: .84rem; }
.sql-data .lab-table { font-size: .78rem; }
.sql-task { margin: 0; font-weight: 600; line-height: 1.5; }
.lab textarea.sql-editor { font-family: var(--font-mono); font-size: .9rem; line-height: 1.55; tab-size: 4; }
.sql-out { margin-top: .6rem; }
.sql-result { margin-top: .6rem; }
.sql-model { margin: .2rem 0 .6rem; }
.sql-aux .lab-feedback { margin-top: 0; }