:root {
  font-family:
    Inter,
    ui-sans-serif,
    system-ui,
    -apple-system,
    BlinkMacSystemFont,
    'Segoe UI',
    sans-serif;
  color: #23352e;
  background: #f6f7f2;
  font-synthesis: none;
  font-weight: 400;
  --green: #27654b;
  --line: #dce3d9;
  --muted: #748078;
}
* {
  box-sizing: border-box;
}
body {
  margin: 0;
}
button,
input,
select {
  font: inherit;
}
button,
a,
input,
select {
  outline-offset: 4px;
}
button {
  border: 0;
  background: #285b43;
  color: #fff;
  padding: 13px 19px;
  border-radius: 7px;
  cursor: pointer;
  font-size: 13px;
  font-weight: 600;
  white-space: nowrap;
}
button:hover {
  filter: brightness(1.08);
}
button:disabled {
  opacity: 0.5;
  cursor: wait;
}
button span {
  margin-left: 32px;
}
a {
  color: var(--green);
}
aside {
  position: fixed;
  inset: 0 auto 0 0;
  width: 224px;
  background: #16392d;
  color: #d5dfd5;
  padding: 35px 23px;
  display: flex;
  flex-direction: column;
}
.wordmark {
  text-decoration: none;
  color: inherit;
  display: block;
  font-size: 17px;
  letter-spacing: 2px;
  font-weight: 750;
}
.wordmark span {
  display: block;
  font-size: 9px;
  letter-spacing: 3px;
  font-weight: 500;
  opacity: 0.6;
  margin-top: 7px;
}
.nav-label {
  margin-top: 65px;
  font-size: 9px;
  letter-spacing: 1.8px;
  color: #86a18f;
}
.nav-item {
  margin-top: 16px;
  color: #ecf3e7;
  text-decoration: none;
  font-size: 12px;
  padding: 14px 12px;
  border-radius: 6px;
}
.active {
  background: #2c4d3e;
}
.sidebar-bottom {
  margin-top: auto;
  font-size: 9px;
  letter-spacing: 1px;
  line-height: 2.3;
  color: #b5c9b6;
}
.sidebar-bottom small {
  font-size: 10px;
  letter-spacing: 0;
  color: #89a58f;
}
.dot {
  display: inline-block;
  background: #b7dc84;
  width: 6px;
  height: 6px;
  border-radius: 50%;
  margin-right: 7px;
}
.workspace {
  margin-left: 224px;
  padding: 30px 44px 50px;
  max-width: 1600px;
}
header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  border-bottom: 1px solid var(--line);
  padding-bottom: 23px;
  margin-bottom: 44px;
}
.eyebrow {
  font-size: 10px;
  letter-spacing: 1.7px;
  font-weight: 600;
  color: #75846f;
}
.private-badge {
  font-size: 9px;
  color: #57704b;
  border: 1px solid #d7e1cd;
  background: #edf2e5;
  border-radius: 20px;
  padding: 6px 10px;
  letter-spacing: 1px;
}
h1 {
  font-size: 38px;
  font-weight: 520;
  line-height: 1.2;
  letter-spacing: -1.5px;
  margin: 12px 0 13px;
}
h2 {
  font-size: 19px;
  font-weight: 550;
  letter-spacing: -0.3px;
  margin: 12px 0;
}
h3 {
  font-weight: 550;
}
.green-period {
  color: #668757;
}
.lead {
  font-size: 13px;
  color: #788277;
  line-height: 1.8;
}
.title-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 20px;
}
.secondary {
  background: #fff;
  color: #3a5444;
  border: 1px solid var(--line);
}
.stat-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 16px;
  margin: 30px 0;
}
.stat {
  background: #fff;
  border: 1px solid var(--line);
  border-radius: 9px;
  padding: 22px;
}
.stat > span {
  display: block;
  font-size: 9px;
  letter-spacing: 1.5px;
  color: #7a8676;
}
.stat > strong {
  display: block;
  font-size: 35px;
  font-weight: 450;
  margin: 15px 0 12px;
  line-height: 1;
}
.stat small {
  font-size: 10px;
  color: #87907f;
}
.stat .status-title {
  font-size: 26px;
}
.panel {
  border: 1px solid var(--line);
  background: #fff;
  border-radius: 9px;
  overflow: hidden;
}
.new-experiment {
  padding: 28px 30px;
  margin: 30px 0;
}
.new-experiment p,
.compare p {
  font-size: 12px;
  color: #798372;
  line-height: 1.8;
}
.new-experiment form {
  display: grid;
  grid-template-columns: 1.5fr 1fr auto;
  gap: 14px;
  align-items: end;
  margin-top: 25px;
}
label {
  display: block;
  font-size: 11px;
  font-weight: 550;
  color: #5e6d5e;
}
input,
select {
  display: block;
  width: 100%;
  border: 1px solid #dce2d5;
  background: #fafbf8;
  color: #354935;
  padding: 12px;
  border-radius: 6px;
  margin-top: 9px;
  font-size: 12px;
}
input::placeholder {
  color: #9aa291;
}
select {
  cursor: pointer;
}
.section-title {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 20px;
  margin: 35px 0 15px;
}
.section-title h2 {
  font-size: 16px;
}
.section-title h2 span {
  font-size: 10px;
  color: #7a8673;
  margin-left: 8px;
  border: 1px solid var(--line);
  padding: 2px 6px;
  border-radius: 5px;
}
.text-button {
  background: none;
  color: #6d8066;
  padding: 8px;
  font-size: 11px;
}
.experiment-row {
  display: grid;
  grid-template-columns: 36px 1fr 65px 90px 20px;
  gap: 16px;
  align-items: center;
  background: #fff;
  color: #3d4c3c;
  border-radius: 0;
  width: 100%;
  padding: 20px 25px;
  text-align: left;
  border-bottom: 1px solid #e9ede4;
  font-size: 11px;
}
.experiment-row:last-child {
  border-bottom: 0;
}
.experiment-row strong {
  font-weight: 550;
  display: block;
  font-size: 12px;
}
.experiment-row small {
  display: block;
  font-size: 10px;
  color: #949d8c;
  margin-top: 7px;
}
.experiment-icon {
  background: #f0f5ea;
  border: 1px solid #e0e7d8;
  border-radius: 7px;
  text-align: center;
  padding: 9px;
  font-size: 14px;
}
.tag {
  font-size: 10px;
  color: #648153;
  padding: 5px 8px;
  background: #f0f5eb;
  border: 1px solid #dce7d3;
  border-radius: 5px;
  text-align: center;
}
.row-arrow {
  color: #8b9a80;
  font-size: 17px;
}
.empty {
  padding: 45px 20px;
  text-align: center;
  color: #8d9886;
  font-size: 12px;
}
.footnote {
  font-size: 10px;
  line-height: 1.8;
  color: #899780;
  margin: 25px 0;
  max-width: 900px;
}
.login {
  max-width: 540px;
  margin: 100px auto;
}
.login h1 {
  font-size: 50px;
}
.login form {
  background: #fff;
  border: 1px solid var(--line);
  border-radius: 9px;
  padding: 28px;
  margin-top: 30px;
}
.login form button {
  margin-top: 20px;
  width: 100%;
  text-align: left;
}
.muted {
  color: #84917c;
  font-size: 11px;
  line-height: 1.8;
}
#notice {
  font-size: 12px;
  padding: 12px;
  background: #edf4e7;
  border-radius: 5px;
  margin-top: 15px;
  color: #44613a;
}
#link-result {
  background: #f3f7ed;
  border: 1px solid #d6e4ca;
  padding: 18px;
  border-radius: 6px;
  margin-top: 20px;
}
#link-result a {
  display: block;
  overflow-wrap: anywhere;
  font-family: monospace;
  font-size: 12px;
  line-height: 1.8;
  margin-top: 10px;
}
.toolbar {
  display: flex;
  gap: 20px;
  align-items: end;
  margin: 20px 0;
}
.toolbar label {
  min-width: 330px;
}
.filters {
  padding: 18px;
  display: flex;
  gap: 15px;
  border-bottom: 1px solid var(--line);
}
.filters input {
  flex: 1;
  margin: 0;
}
.filters select {
  width: 190px;
  margin: 0;
}
.finding {
  border-bottom: 1px solid #e8ece2;
  font-size: 12px;
  padding: 17px 21px;
}
.finding:last-child {
  border-bottom: 0;
}
.finding summary {
  display: flex;
  gap: 17px;
  align-items: center;
  cursor: pointer;
  list-style: none;
}
.finding summary:before {
  content: '+';
  color: #8ca27d;
}
.finding[open] summary:before {
  content: '−';
}
.finding summary code {
  min-width: 70px;
  color: #8b967e;
  font-size: 10px;
}
.finding summary strong {
  font-weight: 500;
  flex: 1;
}
.badge {
  padding: 4px 7px;
  background: #f0f2eb;
  color: #829078;
  border-radius: 4px;
  font-size: 9px;
}
.badge.consistent {
  background: #eaf3e2;
  color: #548139;
}
.badge.review {
  background: #fff2d9;
  color: #9d7537;
}
.badge.contradiction,
.badge.error {
  background: #fbe8e3;
  color: #a6614d;
}
.finding p {
  font-size: 12px;
  line-height: 1.8;
}
.finding pre,
pre {
  font-size: 11px;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  background: #f7f8f3;
  color: #607159;
  border-radius: 6px;
  padding: 20px;
  max-height: 500px;
  overflow: auto;
}
.compare {
  padding: 24px;
  margin-top: 26px;
}
.compare select {
  max-width: 500px;
}
#compare-result {
  font-size: 12px;
  line-height: 1.8;
  margin-top: 15px;
  overflow-wrap: anywhere;
}
.probe {
  max-width: 760px;
  margin: 70px auto;
  padding: 30px;
}
.probe .wordmark {
  color: #26553e;
  margin-bottom: 80px;
}
.probe h1 {
  font-size: 46px;
}
.probe p {
  color: #7a8971;
  font-size: 13px;
  line-height: 1.9;
}
.track {
  height: 5px;
  background: #e2e9dc;
  border-radius: 10px;
  overflow: hidden;
  margin: 30px 0;
}
.track span {
  display: block;
  height: 100%;
  background: #5e8a4d;
  width: 1%;
  transition: width 0.3s;
}
.probe-meta {
  display: flex;
  justify-content: space-between;
  font-size: 11px;
  color: #8b987f;
  gap: 15px;
}
.probe-meta code {
  font-size: 10px;
}
.completion {
  padding: 15px 18px;
  background: #eaf2e2;
  color: #4c713c;
  border: 1px solid #d2e1c6;
  border-radius: 6px;
  margin-top: 40px;
  font-size: 13px;
}
.narrow {
  max-width: 700px;
  margin: 100px auto;
}
code {
  font-family: ui-monospace, SFMono-Regular, Consolas, monospace;
}
@media (max-width: 1000px) {
  aside {
    width: 175px;
    padding: 25px 16px;
  }
  .workspace {
    margin-left: 175px;
    padding: 25px;
  }
  .new-experiment form {
    grid-template-columns: 1fr 1fr;
  }
  .new-experiment form button {
    grid-column: 1/-1;
  }
  .stat {
    padding: 18px;
  }
  .stat small {
    font-size: 9px;
  }
  .section-title {
    align-items: start;
    flex-direction: column;
  }
}
@media (max-width: 650px) {
  aside {
    position: static;
    width: 100%;
    padding: 20px;
  }
  .nav-label,
  .nav-item,
  .sidebar-bottom {
    display: none;
  }
  .wordmark span {
    display: inline;
    margin-left: 12px;
  }
  .workspace {
    margin: 0;
    padding: 20px;
  }
  header {
    margin-bottom: 25px;
  }
  .title-row {
    align-items: start;
  }
  h1 {
    font-size: 29px;
  }
  .stat-grid {
    gap: 8px;
  }
  .stat {
    padding: 12px;
  }
  .stat > strong {
    font-size: 27px;
  }
  .stat > span {
    font-size: 8px;
    letter-spacing: 0.5px;
  }
  .stat small {
    display: none;
  }
  .new-experiment {
    padding: 20px;
  }
  .new-experiment form {
    grid-template-columns: 1fr;
  }
  .experiment-row {
    grid-template-columns: 25px 1fr 45px 15px;
    padding: 16px;
    gap: 10px;
  }
  .experiment-row > span:nth-last-child(2) {
    display: none;
  }
  .toolbar {
    flex-wrap: wrap;
  }
  .toolbar label {
    min-width: 0;
    width: 100%;
  }
  .filters {
    flex-direction: column;
  }
  .filters select {
    width: 100%;
  }
  .finding {
    padding: 15px 12px;
  }
  .finding summary {
    gap: 8px;
  }
  .finding summary strong {
    font-size: 11px;
  }
  .finding summary code {
    min-width: 58px;
  }
  .login {
    margin: 40px 0;
  }
  .login h1 {
    font-size: 40px;
  }
  .probe {
    padding: 20px;
  }
  .probe h1 {
    font-size: 35px;
  }
  .probe-meta {
    flex-direction: column;
  }
  .private-badge {
    font-size: 8px;
  }
}