datalog-theme 0.7.0 → 0.9.0

data/_sass/_notebooks.scss

@@ -0,0 +1,322 @@
+// Notebook pages: _layouts/notebook.html and the cell and output markup that
+// _plugins/notebook_converter.rb generates. _components.scss loads this only when
+// the site has notebook pages.
+
+@use 'sass:map';
+@use "sass:color";
+
+@use 'variables' as *;
+@use 'mixins' as *;
+
+.notebook-article {
+  display: grid;
+  gap: map.get($spacing, 5);
+  margin: map.get($spacing, 6) auto;
+  max-width: 1200px;
+}
+
+.notebook-article__header {
+  background: rgba($color-surface-100, 0.8);
+  padding: map.get($spacing, 6);
+  border-radius: 1.25rem;
+  box-shadow: 0 20px 60px rgba($color-ink-900, 0.08);
+  position: relative;
+  overflow: hidden;
+}
+
+.notebook-article__header::after {
+  content: '';
+  position: absolute;
+  inset: auto -30% -45% auto;
+  width: 45%;
+  height: 45%;
+  background: radial-gradient(circle at center, rgba($color-accent-primary, 0.35), transparent 65%);
+  pointer-events: none;
+}
+
+.notebook-article__label {
+  text-transform: uppercase;
+  letter-spacing: 0.12em;
+  font-size: map.get($font-size-scale, xs);
+  color: $color-accent-primary;
+  margin-bottom: map.get($spacing, 2);
+}
+
+.notebook-article__title {
+  font-size: clamp(2.4rem, 4vw, 3.2rem);
+  margin: 0 0 map.get($spacing, 3);
+}
+
+.notebook-article__summary {
+  font-size: map.get($font-size-scale, md);
+  color: $color-ink-600;
+  max-width: 65ch;
+  margin-bottom: map.get($spacing, 4);
+}
+
+.notebook-article__meta {
+  list-style: none;
+  padding: 0;
+  margin: 0 0 map.get($spacing, 4);
+  display: flex;
+  flex-wrap: wrap;
+  gap: map.get($spacing, 3);
+  color: $color-ink-600;
+}
+
+.notebook-article__meta li {
+  display: flex;
+  gap: map.get($spacing, 1);
+  align-items: baseline;
+}
+
+.notebook-article__meta span {
+  font-weight: 600;
+  color: $color-ink-800;
+}
+
+.notebook-article__actions {
+  display: flex;
+  flex-wrap: wrap;
+  gap: map.get($spacing, 3);
+  margin-bottom: map.get($spacing, 4);
+}
+
+.notebook-article__actions .btn {
+  display: inline-flex;
+  align-items: center;
+  gap: map.get($spacing, 2);
+}
+
+.notebook-article__tags {
+  display: flex;
+  flex-wrap: wrap;
+  gap: map.get($spacing, 2);
+  padding: 0;
+  margin: 0;
+  list-style: none;
+}
+
+.notebook-article__tags li {
+  background: rgba($color-accent-tertiary, 0.18);
+  color: $color-accent-tertiary;
+  border-radius: 999px;
+  padding: map.get($spacing, 1) map.get($spacing, 3);
+  font-size: map.get($font-size-scale, xs);
+  letter-spacing: 0.04em;
+}
+
+.notebook-article__layout {
+  display: grid;
+  gap: map.get($spacing, 5);
+}
+
+@media (min-width: 960px) {
+  .notebook-article__layout {
+    grid-template-columns: minmax(0, 2.3fr) minmax(280px, 1fr);
+    gap: map.get($spacing, 6);
+  }
+}
+
+.notebook-article__content {
+  display: flex;
+  flex-direction: column;
+  gap: map.get($spacing, 4);
+}
+
+.notebook-article__sidebar {
+  position: sticky;
+  top: calc(var(--header-height, 96px) + map.get($spacing, 4));
+  align-self: start;
+  display: flex;
+  flex-direction: column;
+  gap: map.get($spacing, 4);
+}
+
+.notebook-sidebar__section {
+  background: rgba($color-surface-100, 0.8);
+  border-radius: 1rem;
+  padding: map.get($spacing, 4);
+  box-shadow: 0 12px 30px rgba($color-ink-900, 0.04);
+}
+
+.notebook-sidebar__section h2 {
+  font-size: map.get($font-size-scale, sm);
+  text-transform: uppercase;
+  letter-spacing: 0.08em;
+  margin-bottom: map.get($spacing, 3);
+}
+
+.notebook-sidebar__stats {
+  list-style: none;
+  padding: 0;
+  margin: 0;
+  display: grid;
+  gap: map.get($spacing, 2);
+}
+
+.notebook-sidebar__stats li {
+  font-size: map.get($font-size-scale, sm);
+  color: $color-ink-700;
+}
+
+.notebook-sidebar__metadata {
+  margin: 0;
+  display: grid;
+  gap: map.get($spacing, 2);
+}
+
+.notebook-sidebar__metadata div {
+  display: grid;
+  gap: map.get($spacing, 1);
+}
+
+.notebook-sidebar__metadata dt {
+  font-size: map.get($font-size-scale, xs);
+  text-transform: uppercase;
+  letter-spacing: 0.06em;
+  color: $color-ink-500;
+}
+
+.notebook-sidebar__metadata dd {
+  margin: 0;
+  font-size: map.get($font-size-scale, sm);
+  color: $color-ink-700;
+  word-break: break-word;
+}
+
+.notebook-sidebar__clone {
+  background: rgba($color-ink-900, 0.08);
+  border-radius: 0.75rem;
+  padding: map.get($spacing, 3);
+  font-family: $font-stack-code;
+  overflow-x: auto;
+}
+
+.notebook-sidebar__links {
+  list-style: none;
+  padding: 0;
+  margin: 0;
+  display: grid;
+  gap: map.get($spacing, 2);
+}
+
+.notebook-sidebar__link {
+  font-weight: 600;
+  color: $color-accent-primary;
+}
+
+.notebook-cell {
+  border-left: 4px solid $color-accent-primary;
+  padding: map.get($spacing, 4);
+  border-radius: 1rem;
+  background: rgba($color-accent-primary, 0.06);
+  margin: map.get($spacing, 3) 0;
+  box-shadow: inset 0 0 0 1px rgba($color-ink-900, 0.04);
+}
+
+.notebook-cell--input {
+  border-left-color: $color-accent-secondary;
+}
+
+.notebook-cell--output {
+  border-left-color: $color-accent-tertiary;
+}
+
+.notebook-cell__header {
+  display: flex;
+  align-items: center;
+  justify-content: space-between;
+  font-size: map.get($font-size-scale, xs);
+  color: $color-ink-500;
+  margin-bottom: map.get($spacing, 2);
+  text-transform: uppercase;
+  letter-spacing: 0.08em;
+}
+
+.notebook-cell__code {
+  margin: 0;
+  overflow: auto;
+  border-radius: 0.75rem;
+  background: rgba($color-ink-900, 0.08);
+  padding: map.get($spacing, 3);
+}
+
+.notebook-cell__outputs {
+  display: grid;
+  gap: map.get($spacing, 3);
+}
+
+.notebook-output {
+  border-radius: 0.75rem;
+  padding: map.get($spacing, 3);
+  font-family: $font-stack-code;
+  background: rgba($color-ink-900, 0.04);
+  overflow-x: auto;
+  margin: 0;
+}
+
+.notebook-output--stream {
+  color: $color-ink-700;
+}
+
+.notebook-output--error {
+  color: $color-critical-600;
+  background: rgba($color-critical-200, 0.35);
+  border: 1px solid rgba($color-critical-400, 0.6);
+}
+
+.notebook-output__trace {
+  margin-top: map.get($spacing, 2);
+  white-space: pre-wrap;
+}
+
+.notebook-output__figure {
+  margin: 0;
+}
+
+.notebook-output__figure img {
+  width: 100%;
+  height: auto;
+  border-radius: 0.75rem;
+  box-shadow: 0 10px 30px rgba($color-ink-900, 0.15);
+}
+
+.notebook-output-plotly,
+.notebook-output-vega {
+  min-height: 320px;
+  border-radius: 0.75rem;
+  background: rgba($color-ink-900, 0.04);
+  display: grid;
+  place-items: center;
+  padding: map.get($spacing, 3);
+}
+
+.notebook-output__warning {
+  font-size: map.get($font-size-scale, sm);
+  color: $color-ink-600;
+  text-align: center;
+  margin: 0;
+}
+
+.notebook-output--widget {
+  font-style: italic;
+  color: $color-accent-secondary-text;
+}
+
+.notebook-segment {
+  display: grid;
+  gap: map.get($spacing, 2);
+}
+
+.notebook-segment__label {
+  font-size: map.get($font-size-scale, xs);
+  letter-spacing: 0.1em;
+  text-transform: uppercase;
+  color: $color-ink-400;
+}
+
+.notebook-segment__body {
+  display: grid;
+  gap: map.get($spacing, 3);
+}

data/_sass/_open-science-badges.scss

@@ -0,0 +1,56 @@
+// Open science badges (_includes/components/open-science-badges.html), which render
+// only when _data/academic.yml defines badges; _components.scss loads this only then.
+
+@use 'sass:map';
+@use "sass:color";
+
+@use 'variables' as *;
+@use 'mixins' as *;
+
+.open-science-badges {
+  margin-block: 3rem;
+  padding: 1.5rem;
+  border-radius: 1rem;
+  background: linear-gradient(135deg, rgba(12, 35, 64, 0.05), rgba(50, 119, 246, 0.08));
+}
+
+.open-science-badges__intro {
+  margin-bottom: 1rem;
+  color: var(--muted-foreground, #4a5568);
+}
+
+.open-science-badges__list {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 1rem;
+  padding: 0;
+  margin: 0;
+  list-style: none;
+}
+
+.open-science-badge {
+  display: grid;
+  gap: 0.25rem;
+  padding: 0.85rem 1rem;
+  min-width: 10rem;
+  border-radius: 0.75rem;
+  background: rgba(12, 35, 64, 0.08);
+  border: 1px solid rgba(12, 35, 64, 0.12);
+  transition: transform 0.2s ease, box-shadow 0.2s ease;
+}
+
+.open-science-badge:focus-within,
+.open-science-badge:hover {
+  transform: translateY(-2px);
+  box-shadow: 0 8px 24px rgba(12, 35, 64, 0.12);
+}
+
+.open-science-badge__label {
+  font-weight: 600;
+}
+
+.open-science-badge__description,
+.open-science-badge__criteria {
+  font-size: 0.85rem;
+  color: var(--muted-foreground, #4a5568);
+}

data/_sass/{_phase1-enhancements.scss → _post-components.scss}

@@ -1,5 +1,5 @@
 // ============================================================================
-// Phase 1 Enhancements - New Features Styles
+// Post components: what _layouts/post.html adds to every post
 // ============================================================================
 // - Social sharing buttons
 // - Breadcrumb navigation
@@ -440,7 +440,8 @@
       }
 
       &.is-active {
-        color: var(--color-accent, #3277f6);
+        // On the tint below the plain accent reaches only 4.12:1.
+        color: var(--color-accent-text, #1d4ed8);
         background-color: rgba(50, 119, 246, 0.1);
         border-left-color: var(--color-accent, #3277f6);
         font-weight: 500;
@@ -453,7 +454,8 @@
     border-top: 1px solid var(--color-border, #e0e4ed);
     background-color: var(--color-background, #ffffff);
     font-size: 0.8125rem;
-    color: var(--color-text-tertiary, #8995a8);
+    // The tertiary ink is for decoration: 2.41:1 in the light theme, 3.73:1 in the dark one.
+    color: var(--color-text-secondary, #6f6862);
   }
 
   &__reading-progress {

data/_sass/_print.scss

@@ -0,0 +1,291 @@
+@use 'sass:map';
+
+@use 'variables' as *;
+@use 'mixins' as *;
+
+// Reading mode and print (_includes/components/reading-mode-toggle.html).
+//
+// Reading mode hides the site's chrome and the panels around an article and
+// leaves the article, its metadata and its table of contents. Print does the
+// same on paper: black on white whatever the theme, the addresses of links,
+// no interactive controls, and no figure, table, code block or equation cut
+// across pages where the browser can help it.
+
+// ---------------------------------------------------------------------------
+// The control
+// ---------------------------------------------------------------------------
+.reading-mode-bar {
+  display: flex;
+  justify-content: flex-end;
+}
+
+// Shared by the reading-mode control and the reading-state buttons (_reading-state.scss).
+.post-tool {
+  display: inline-flex;
+  align-items: center;
+  gap: map.get($spacing, 2);
+  padding: 0.35rem 0.75rem;
+  border: 1px solid rgba($color-neutral-200, 0.9);
+  border-radius: map.get($radius, md);
+  background: $color-surface-50;
+  color: $color-ink-700;
+  font: inherit;
+  font-size: map.get($font-size-scale, sm);
+  font-weight: 600;
+  cursor: pointer;
+
+  &:hover,
+  &:focus-visible {
+    border-color: $color-accent-primary;
+    color: $color-accent-primary-text;
+  }
+
+  &[aria-pressed='true'] {
+    border-color: $color-accent-primary;
+    background: $color-accent-primary;
+    color: #fff;
+  }
+
+  svg {
+    flex: none;
+  }
+}
+
+body.dark-mode .post-tool {
+  border-color: rgba($dark-ink-500, 0.35);
+  background: $dark-surface-300;
+  color: $dark-ink-700;
+
+  &:hover,
+  &:focus-visible {
+    border-color: $dark-accent-primary;
+    color: $dark-accent-primary;
+  }
+
+  &[aria-pressed='true'] {
+    border-color: $dark-accent-primary;
+    background: $dark-accent-primary;
+    color: $dark-surface-100;
+  }
+}
+
+// ---------------------------------------------------------------------------
+// Reading mode: the article alone, and the way back
+// ---------------------------------------------------------------------------
+body.reading-mode {
+  .site-header,
+  .site-footer,
+  .breadcrumbs,
+  .social-share,
+  .post-interactive,
+  .post-comments,
+  .citation-tools,
+  .open-science-badges,
+  .author-bio,
+  .post-related,
+  .post-pagination,
+  .back-to-top,
+  [data-back-to-top] {
+    display: none !important;
+  }
+
+  .site-main {
+    padding-top: map.get($spacing, 4);
+  }
+
+  // The tools stay in reach while the article scrolls.
+  .post-tools {
+    position: sticky;
+    top: map.get($spacing, 3);
+    z-index: 5;
+  }
+
+  .post-content {
+    font-size: 1.0625rem;
+    line-height: 1.7;
+  }
+}
+
+// ---------------------------------------------------------------------------
+// Print
+// ---------------------------------------------------------------------------
+.print-only {
+  display: none;
+}
+
+@media print {
+  @page {
+    margin: 2cm;
+  }
+
+  body,
+  body.dark-mode {
+    background: #fff !important;
+    color: #000 !important;
+    font-size: 11pt;
+  }
+
+  // The chrome and the controls that only work on a screen
+  .site-header,
+  .site-footer,
+  .skip-link,
+  .breadcrumbs,
+  .social-share,
+  .post-interactive,
+  .post-comments,
+  .post-slides,
+  .open-science-badges,
+  .author-bio,
+  .post-related,
+  .post-pagination,
+  .post-tools,
+  .reading-mode-bar,
+  .back-to-top,
+  [data-back-to-top],
+  .code-copy,
+  .citation-tools__exports,
+  .viz-table-toggle,
+  [aria-live] {
+    display: none !important;
+  }
+
+  .print-only {
+    display: block !important;
+  }
+
+  .site-main {
+    max-width: none;
+    padding: 0;
+  }
+
+  .post-body-wrapper {
+    display: block;
+  }
+
+  // Black on white, whatever the theme
+  body.dark-mode :where(h1, h2, h3, h4, h5, h6, p, li, dt, dd, td, th, figcaption, blockquote, code, pre, span, a,
+    strong, em, time, small, summary, label, caption, kbd) {
+    color: #000 !important;
+  }
+
+  body.dark-mode :where(section, aside, div, nav, article, figure, p, li, ul, ol, dl, dt, dd, blockquote, pre, code,
+    table, th, td, kbd) {
+    background: transparent !important;
+    border-color: #999 !important;
+  }
+
+  blockquote {
+    background: none !important;
+  }
+
+  a {
+    color: #000 !important;
+    text-decoration: underline;
+  }
+
+  .datalog-statement,
+  .datalog-proof,
+  .revision-notice,
+  .series-nav,
+  .reproduce,
+  .content-provenance,
+  .content-license,
+  .citation-tools,
+  .enhanced-toc {
+    background: none !important;
+    border-color: #000;
+    box-shadow: none;
+  }
+
+  // Links keep their addresses, other than anchors within the page
+  .post-content a[href^='http']::after {
+    content: ' (' attr(href) ')';
+    font-size: 0.85em;
+    word-break: break-all;
+  }
+
+  // Page breaks
+  h1,
+  h2,
+  h3,
+  h4 {
+    break-after: avoid;
+    page-break-after: avoid;
+  }
+
+  p,
+  li {
+    orphans: 3;
+    widows: 3;
+  }
+
+  pre,
+  figure,
+  table,
+  tr,
+  blockquote,
+  img,
+  svg,
+  .code-block-wrapper,
+  .highlight,
+  .datalog-statement,
+  .datalog-proof,
+  mjx-container[display='true'],
+  .katex-display {
+    break-inside: avoid;
+    page-break-inside: avoid;
+  }
+
+  img,
+  svg,
+  mjx-container,
+  .katex-display {
+    max-width: 100% !important;
+    overflow: visible !important;
+  }
+
+  // Code without a dark background, wrapped to the page
+  pre,
+  pre.highlight,
+  .highlight pre,
+  pre[class*='language-'],
+  .code-block-wrapper {
+    background: #fff !important;
+    color: #000 !important;
+    border: 1px solid #999;
+    box-shadow: none;
+  }
+
+  pre {
+    white-space: pre-wrap !important;
+    word-break: break-word;
+    overflow: visible !important;
+  }
+
+  body.dark-mode .highlight span {
+    color: #000 !important;
+    background: none !important;
+  }
+
+  // Interactive embeds become a note; a visualization's table fallback is shown
+  iframe,
+  canvas,
+  video,
+  [data-viz-type] > *,
+  .interactive-embed > * {
+    display: none !important;
+  }
+
+  [data-viz-type]::before,
+  .interactive-embed::before {
+    content: 'Interactive content, available in the online article.';
+    display: block;
+    padding: map.get($spacing, 3);
+    border: 1px dashed #999;
+    font-style: italic;
+  }
+
+  .viz-table-wrapper[hidden] {
+    display: block !important;
+  }
+}