@charset "UTF-8";
/* Priestley Sketchpad (/sketchpad/). Pico styles the controls; this adds the
   drawing area, the side panel and a compact control size. */
/* Colours the script reads when drawing, taken from the site theme so that
   light and dark mode follow Pico. */
:root {
  --ink: var(--pico-color);
  --muted: var(--pico-muted-color);
  --sheet: var(--pico-background-color);
  --grid: var(--pico-muted-border-color);
  --up: var(--pico-ins-color);
  --down: #d97706;
  --warn: #b7791f;
  --bad: var(--pico-del-color);
}

/* the drawing area is wider than the text column */
body {
  overflow-x: clip;
}

.sketchpad {
  /* nearly the whole window width, not just the text column */
  --sp-width: calc(100vw - 2.5rem);
  width: var(--sp-width);
  margin-left: calc((100% - var(--sp-width)) / 2);
  /* compact controls */
  --pico-form-element-spacing-vertical: .3rem;
  --pico-form-element-spacing-horizontal: .65rem;
  font-size: 0.95rem;
}

main.container {
  padding-top: 1rem;
}

/* title and description on one compact row, example menu at its right end */
.sp-title {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.5rem 1.5rem;
  margin-bottom: 0.75rem;
}

.sp-title hgroup {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 0.25rem 1.5rem;
  margin: 0;
}

.sp-title h2 {
  margin: 0;
  font-size: 1.7rem;
}

.sp-title h2::after {
  margin-top: 0.3rem;
}

.sp-title p {
  margin: 0;
}

.sp-side button,
.sp-side select,
.sp-side input:not([type=checkbox]):not([type=range]),
#modal button,
#modal [role=button] {
  font-size: 0.85rem;
  margin-bottom: 0;
}

.sp-side button,
#modal button,
#modal [role=button] {
  padding: 0.3rem 0.8rem;
}

.sketchpad button.danger {
  --pico-color: var(--pico-del-color);
  color: var(--pico-del-color);
}

/* ---------- toolbar ----------
   One bar of borderless pill buttons, in the style of the profile and link
   buttons on the homepage: system font, small, accent on hover. */
.sp-toolbar {
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem;
  align-items: center;
  margin-bottom: 0.6rem;
  padding: 0.3rem;
  border: 1px solid var(--pico-muted-border-color);
  border-radius: 999px;
  background: color-mix(in srgb, var(--pico-background-color) 80%, transparent);
  font-family: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
}

.sp-group {
  display: flex;
  flex-wrap: wrap;
  gap: 0.15rem;
  align-items: center;
}

.sp-sep {
  width: 1px;
  height: 1.4rem;
  margin: 0 0.2rem;
  background: var(--pico-muted-border-color);
}

.sketchpad .tb {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  margin: 0;
  padding: 0.38rem 0.7rem;
  border: 1px solid transparent;
  border-radius: 999px;
  background: transparent;
  box-shadow: none;
  color: var(--text-color);
  font-family: inherit;
  font-size: 0.78rem;
  font-weight: 500;
  line-height: 1.25;
  white-space: nowrap;
  transition: color 0.15s ease, background 0.15s ease, border-color 0.15s ease;
}

.sketchpad .tb.icon {
  padding: 0.38rem 0.5rem;
}

.sketchpad .tb svg {
  width: 1.15em;
  height: 1.15em;
  flex: none;
}

.sketchpad .tb svg.caret {
  width: 0.9em;
  height: 0.9em;
  margin-left: -0.15rem;
  opacity: 0.7;
}

.sketchpad .tb:hover,
.sketchpad .tb:focus-visible {
  color: var(--accent);
  background: var(--accent-soft);
}

.sketchpad .tb[aria-pressed=true],
.sketchpad .tb[aria-expanded=true] {
  color: var(--accent);
  background: var(--accent-soft);
  border-color: var(--accent-line);
}

.sketchpad .tb:disabled {
  opacity: 0.35;
  background: transparent;
  color: var(--text-color);
}

.sketchpad .tb.danger {
  color: var(--pico-del-color);
}

.sketchpad .tb.danger:hover {
  background: color-mix(in srgb, var(--pico-del-color) 12%, transparent);
}

/* relation tool: which part of a sequence a click relates, floating over the drawing */
.sp-termmode {
  position: absolute;
  top: 0.6rem;
  left: 0.6rem;
  z-index: 2;
  display: flex;
  align-items: center;
  gap: 0.5rem;
  margin: 0;
  padding: 0.2rem 0.25rem 0.2rem 0.7rem;
  border: 1px solid var(--pico-muted-border-color);
  border-radius: 999px;
  background: color-mix(in srgb, var(--pico-background-color) 90%, transparent);
  font-family: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  font-size: 0.75rem;
  color: var(--pico-muted-color);
}

.sp-termmode select {
  width: auto;
  margin: 0;
  padding-block: 0.2rem;
  border-radius: 999px;
  font-size: 0.75rem;
}

/* export menu */
.sp-menu {
  position: relative;
}

.sp-pop {
  position: absolute;
  top: calc(100% + 0.4rem);
  left: 0;
  z-index: 20;
  display: flex;
  flex-direction: column;
  min-width: 14rem;
  padding: 0.3rem;
  border: 1px solid var(--pico-muted-border-color);
  border-radius: var(--pico-border-radius);
  background: var(--pico-background-color);
  box-shadow: 0 12px 32px -12px rgba(0, 0, 0, 0.3);
}

.sketchpad .sp-pop button {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 0.05rem;
  margin: 0;
  padding: 0.4rem 0.65rem;
  border: 0;
  border-radius: calc(var(--pico-border-radius) - 2px);
  background: transparent;
  box-shadow: none;
  color: var(--text-color);
  font-family: inherit;
  font-size: 0.8rem;
  text-align: left;
}

.sketchpad .sp-pop button:hover,
.sketchpad .sp-pop button:focus-visible {
  background: var(--accent-soft);
  color: var(--accent);
}

.sp-pop {
  max-height: min(70vh, 34rem);
  overflow-y: auto;
}

#import-menu {
  min-width: min(21rem, 100vw - 1.5rem);
}

.sp-pop {
  max-width: calc(100vw - 1.5rem);
}

.sp-pop-h {
  margin: 0.45rem 0.65rem 0.15rem;
  padding-top: 0.45rem;
  border-top: 1px solid var(--pico-muted-border-color);
  font-size: 0.68rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--pico-muted-color);
}

.sp-pop-list {
  display: flex;
  flex-direction: column;
}

.sketchpad .sp-pop-list button {
  flex-direction: row;
  align-items: center;
  gap: 0.5rem;
  padding-block: 0.3rem;
}

/* the example on the sheet right now */
.sketchpad .sp-pop-list button[aria-current=true] {
  color: var(--accent);
}

.sp-pop-list button::before {
  content: "";
  width: 0.9em;
  flex: none;
  text-align: center;
}

.sp-pop-list button[aria-current=true]::before {
  content: "✓";
}

.sp-pop small {
  color: var(--pico-muted-color);
  font-size: 0.72rem;
}

/* ---------- drawing area and side panel ---------- */
.sp-main {
  display: grid;
  grid-template-columns: 1fr 330px;
  /* the script sets the height so that the drawing reaches the bottom of the window */
  height: max(460px, 100dvh - 13rem);
  border: 1px solid var(--pico-muted-border-color);
  border-radius: var(--pico-border-radius);
  background: var(--pico-background-color);
  overflow: hidden;
}

.sp-stage {
  position: relative;
  min-height: 0;
}

#cv {
  display: block;
  width: 100%;
  height: 100%;
  touch-action: none;
  user-select: none;
  -webkit-user-select: none;
}

.sp-hint {
  position: absolute;
  inset: auto 0.75rem 0.75rem;
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  margin: 0;
  pointer-events: none;
  font-size: 0.8rem;
  color: var(--pico-muted-color);
}

.sp-hint span {
  padding: 0.2rem 0.55rem;
  border-radius: var(--pico-border-radius);
  background: color-mix(in srgb, var(--pico-background-color) 85%, transparent);
}

.sp-side {
  overflow-y: auto;
  min-height: 0;
  border-left: 1px solid var(--pico-muted-border-color);
}

.sp-side section {
  display: flex;
  flex-direction: column;
  gap: 0.6rem;
  margin: 0;
  padding: 0.9rem 1rem;
  border-bottom: 1px solid var(--pico-muted-border-color);
}

.sp-side section:empty {
  display: none;
}

.sp-side h4 {
  margin: 0;
  display: flex;
  justify-content: space-between;
}

.sp-side h3 {
  margin: 0;
  font-size: 1.2rem;
}

.sp-side details {
  margin: 0;
}

.sp-side details summary {
  font-size: 0.9rem;
}

.sp-side details[open] > summary {
  margin-bottom: 0.6rem;
}

.sp-side label {
  font-size: 0.85rem;
}

.note {
  margin: 0;
  font-size: 0.8rem;
  color: var(--pico-muted-color);
}

/* label + control rows in the inspector */
.field {
  display: grid;
  grid-template-columns: 7.5rem 1fr;
  gap: 0.5rem;
  align-items: center;
}

.field > label {
  color: var(--pico-muted-color);
}

.rng {
  display: flex;
  gap: 0.5rem;
  align-items: center;
}

.rng input {
  margin: 0;
}

.rng output {
  min-width: 2.2rem;
  text-align: right;
  font-size: 0.8rem;
  font-variant-numeric: tabular-nums;
}

.check {
  display: flex;
  gap: 0.4rem;
  align-items: flex-start;
}

.btnrow {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  align-items: center;
}

/* mathematical labels */
.m {
  font-style: italic;
  white-space: nowrap;
}

/* relation lists: undo the bullets the homepage puts on list items */
.sketchpad ul.list {
  margin: 0;
  display: flex;
  flex-direction: column;
  gap: 2px;
}

.sketchpad ul.list li {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  padding: 0.2rem 0.45rem;
  margin: 0;
  cursor: pointer;
  font-size: 0.9rem;
}

.sketchpad ul.list li::before {
  display: none;
}

.sketchpad ul.list li.on {
  background: var(--accent-soft);
  outline: 1px solid var(--accent-line);
}

.sketchpad ul.list li small {
  color: var(--pico-muted-color);
  font-size: 0.75rem;
}

.sketchpad ul.list li .x {
  margin-left: auto;
  padding: 0 0.4rem;
  border: 0;
  background: none;
  color: var(--pico-muted-color);
  font-size: 1rem;
  line-height: 1;
}

.sketchpad ul.list li .x:hover {
  color: var(--pico-del-color);
}

/* checks: a status pill and its explanation */
.chk {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.45rem 0.6rem;
  align-items: start;
  font-size: 0.85rem;
}

.chk .detail {
  display: block;
  margin-top: 0.15rem;
  font-size: 0.8rem;
  color: var(--pico-muted-color);
}

.pill {
  min-width: 2.8rem;
  padding: 0.05rem 0.5rem;
  border-radius: 999px;
  text-align: center;
  white-space: nowrap;
  font-family: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  font-size: 0.7rem;
  font-weight: 600;
}

.pill.ok {
  color: var(--pico-ins-color);
  background: color-mix(in srgb, var(--pico-ins-color) 15%, transparent);
}

.pill.bad {
  color: var(--pico-del-color);
  background: color-mix(in srgb, var(--pico-del-color) 15%, transparent);
}

.pill.warn {
  color: var(--warn);
  background: color-mix(in srgb, var(--warn) 15%, transparent);
}

.pill.info {
  color: var(--accent);
  background: var(--accent-soft);
}

/* checks summary: one chip per property */
.sp-status {
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem;
}

.st {
  display: inline-flex;
  align-items: center;
  gap: 0.25rem;
  padding: 0.1rem 0.55rem;
  border: 1px solid transparent;
  border-radius: 999px;
  font-family: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  font-size: 0.72rem;
  font-weight: 500;
  white-space: nowrap;
}

.st.ok {
  color: var(--pico-ins-color);
  background: color-mix(in srgb, var(--pico-ins-color) 12%, transparent);
}

.st.bad {
  color: var(--pico-del-color);
  background: color-mix(in srgb, var(--pico-del-color) 12%, transparent);
}

.st.warn {
  color: var(--warn);
  background: color-mix(in srgb, var(--warn) 14%, transparent);
}

.st.na {
  color: var(--pico-muted-color);
  border-color: var(--pico-muted-border-color);
}

/* "How to draw" */
.help dl {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.35rem 0.75rem;
  margin: 0;
  font-size: 0.85rem;
}

.help dt {
  font-weight: 600;
}

.help dd {
  margin: 0;
  color: var(--pico-muted-color);
}

/* ---------- export dialog ---------- */
#modal h3 {
  margin: 0 0 0.25rem;
}

#modal article {
  width: min(760px, 100%);
  max-width: 760px;
}

#modal textarea {
  font-family: var(--pico-font-family-monospace);
  font-size: 0.8rem;
}

#modal footer {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
  align-items: center;
  justify-content: flex-end;
}

#modal footer button,
#modal footer .sp-file {
  margin: 0;
  width: auto;
}

#modal footer #m-status {
  margin-right: auto;
}

.sp-file {
  cursor: pointer;
}

/* ---------- fullscreen: toolbar, drawing and panel fill the screen ---------- */
.sketchpad:fullscreen,
.sketchpad.sp-max {
  display: flex;
  flex-direction: column;
  width: 100%;
  height: 100%;
  margin: 0;
  padding: 0.75rem;
  background: var(--pico-background-color);
  overflow: auto;
}

/* fallback where the Fullscreen API is missing (iPhone): cover the window */
.sketchpad.sp-max {
  position: fixed;
  inset: 0;
  z-index: 100;
}

.sketchpad:fullscreen .sp-title,
.sketchpad.sp-max .sp-title {
  display: none;
}

.sketchpad:fullscreen .sp-main,
.sketchpad.sp-max .sp-main {
  flex: 1;
  min-height: 0;
  height: auto !important;
}

/* ---------- small screens: panel under the drawing ---------- */
@media (max-width: 900px) {
  .sp-main {
    grid-template-columns: 1fr;
    grid-template-rows: 62vh auto;
    height: auto !important;
  }
  .sp-side {
    border-left: 0;
    border-top: 1px solid var(--pico-muted-border-color);
    overflow: visible;
  }
}
/* phones: the bar wraps onto several rows */
@media (max-width: 700px) {
  .sp-toolbar {
    border-radius: var(--pico-border-radius);
  }
  .sp-sep {
    display: none;
  }
}

/*# sourceMappingURL=sketchpad.css.map */