/* What the writing surface and research projects add (history.js, project.js, tex.js's ✦ fix): History's
   times and the version beside them, the date line under a project's name. The tokens are style.css's. */

.hist { position: fixed; z-index: 31; display: grid; grid-template-columns: 196px minmax(0, 1fr); width: min(720px, calc(100vw - 16px)); height: min(60vh, 520px);
  border-radius: 8px; background: var(--page); box-shadow: var(--shadow); overflow: hidden; animation: rise .14s ease both; }
.hist .times { margin: 0; padding: 4px; list-style: none; overflow: auto; border-right: 1px solid var(--line); }
.hist .times button { display: block; width: 100%; border: 0; border-radius: 6px; background: transparent; color: var(--ink); font: 12.5px var(--sans); text-align: left; padding: 6px 10px; cursor: pointer; outline: none; }
.hist .times button small { display: block; color: var(--muted); font-size: 11px; }
.hist .times button:hover, .hist .times button:focus, .hist .times button.on { background: var(--tint-focus); color: var(--accent); }
.hist .hist-view { display: flex; flex-direction: column; min-width: 0; }
.hist .cap { display: flex; align-items: center; gap: 10px; padding: 8px 10px 4px 14px; font: 11px var(--sans); letter-spacing: .06em; text-transform: uppercase; color: var(--muted); }
.hist .cap .t { flex: 1; }
.hist .cap button { border: 0; background: transparent; color: var(--muted); font: 14px var(--sans); cursor: pointer; padding: 0 2px; }
.hist .cap .restore { color: var(--accent); font-size: 12.5px; letter-spacing: 0; text-transform: none; }
.hist .cap .restore:hover { text-decoration: underline; }
.hist pre { flex: 1; margin: 0; padding: 4px 14px 14px; overflow: auto; white-space: pre-wrap; color: var(--ink); font: 12.5px/1.55 ui-monospace, "SF Mono", Menlo, monospace; }

.course-head .proj-line { flex-basis: 100%; display: flex; flex-wrap: wrap; gap: 4px 22px; margin: -2px 0 2px; padding-left: 36px; }
.course-head .proj-line .linklike { text-decoration: none; }
.course-head .proj-line .linklike:hover { text-decoration: underline; }

#writer.ed .tex-bar .tb-fix { color: var(--accent); }
@media (max-width: 640px) { .hist { grid-template-columns: 1fr; grid-template-rows: 40% 60%; } .hist .times { border-right: 0; border-bottom: 1px solid var(--line); } }