explico 0.13.0 → 0.13.1

package/CHANGELOG.md

@@ -14,6 +14,20 @@ under **Breaking** below; a PATCH never breaks.
 
 ## [Unreleased]
 
+## [0.13.1] - 2026-10-07
+
+### Fixed
+
+- **A hovered symbol in an equation no longer hides the glyph to its left.**
+  The highlight (`[data-notation-key]:hover` / `.is-notation-active` inside
+  `.katex-html`, and the same symbol inside a card's formula) was an opaque
+  `accent-low` background with a 0.12em ring, and KaTeX paints its boxes in
+  source order, so hovering the `y` of `dy` covered the right half of the
+  `d`. The highlight now blends with what is behind it
+  (`mix-blend-mode: multiply` in the light theme, `screen` in the dark one),
+  which tints the page and leaves the ink as it was. Forced-colors mode
+  resets the blend to `normal`.
+
 ## [0.13.0] - 2026-10-07
 
 ### Breaking
@@ -3432,7 +3446,8 @@ under **Breaking** below; a PATCH never breaks.
   system with its completeness gate, the curriculum-graph validator, the
   Astro/Starlight UI, the LMS / session / analytics seams, and the `content` CLI.
 
-[Unreleased]: https://github.com/danieltuzes/explico/compare/v0.13.0...HEAD
+[Unreleased]: https://github.com/danieltuzes/explico/compare/v0.13.1...HEAD
+[0.13.1]: https://github.com/danieltuzes/explico/compare/v0.13.0...v0.13.1
 [0.13.0]: https://github.com/danieltuzes/explico/compare/v0.12.0...v0.13.0
 [0.12.0]: https://github.com/danieltuzes/explico/compare/v0.11.1...v0.12.0
 [0.11.1]: https://github.com/danieltuzes/explico/compare/v0.11.0...v0.11.1

package/docs/authoring/migrating.md

@@ -33,6 +33,50 @@ required config block throws with the section of this file to read.
 
 ---
 
+## 0.13.0 → 0.13.1
+
+**No course changes required.** This release has one fix, in the engine's
+stylesheet: hovering a symbol in an equation, or in a card's formula, no longer
+paints its highlight over the glyph to its left. No authoring rule,
+`CourseConfig` field, Astro wiring, course script or CLI command changes. The
+manifest schema stays v29.
+
+### 1. Update the dependency
+
+```bash
+pnpm add -D explico@0.13.1
+```
+
+**Coming from 0.12.0 or earlier:** apply "0.12.0 → 0.13.0" below first, and
+install 0.13.1 wherever it says to install 0.13.0.
+
+### 2. Only if your course CSS or browser tests reach into the symbol highlight
+
+```bash
+rg -n 'data-notation-key|is-notation-active|mix-blend-mode' src content tests
+```
+
+No hit means nothing to do. Otherwise:
+
+- **The highlight** of a hovered or active `[data-notation-key]` inside
+  `.katex-html`, and of one inside `.notation-panel-body [data-slot-formula]`,
+  has `mix-blend-mode: screen` (`multiply` under `:root[data-theme='light']`).
+  The background colour is still `--sl-color-accent-low`. A course rule that
+  overrides that background keeps working; one that also relies on the
+  highlight covering the glyph beside it no longer does.
+- **Screenshots** of a hovered symbol need re-recording.
+
+### 3. Verify
+
+```bash
+pnpm validate:content        # run twice: the first run regenerates build/resolution/*
+pnpm content check --changed
+astro check
+astro build
+```
+
+Then run the course's browser tests, if it has any.
+
 ## 0.12.0 → 0.13.0
 
 **Course changes are required.** A course still on 0.11.1 applies

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "explico",
-  "version": "0.13.0",
+  "version": "0.13.1",
   "description": "Build-time engine for prerequisite-aware, notation-rigorous course content: one validated content model, a semantic notation/citation/equation system with a completeness gate, and a deterministic JSON manifest.",
   "type": "module",
   "license": "UNLICENSED",

package/src/components/notation/NotationLayer.astro

@@ -1036,6 +1036,14 @@ for (const gloss of glossItems) {
       :global([data-notation-key]:hover) {
       background: var(--sl-color-accent-low);
       box-shadow: 0 0 0 0.12em var(--sl-color-accent-low);
+      mix-blend-mode: screen;
+    }
+
+    :global(:root[data-theme='light'])
+      .notation-panel-body
+      [data-slot-formula]
+      :global([data-notation-key]:hover) {
+      mix-blend-mode: multiply;
     }
 
     .notation-panel-heading {
@@ -1133,10 +1141,22 @@ for (const gloss of glossItems) {
     cursor: help;
   }
 
+  /* The highlight blends with what is behind it instead of covering it.
+     KaTeX lays a formula out as boxes that paint in source order, so an
+     opaque background (and its ring) on one symbol is painted over the glyph
+     to its left — hovering the y of `dy` hid part of the d. `multiply` (light
+     theme) and `screen` (dark) tint the page and leave ink of either theme as
+     it was. */
   :global(.katex-html [data-notation-key]:hover),
   :global([data-notation-key].is-notation-active) {
     background: var(--sl-color-accent-low);
     box-shadow: 0 0 0 0.12em var(--sl-color-accent-low);
+    mix-blend-mode: screen;
+  }
+
+  :global(:root[data-theme='light'] .katex-html [data-notation-key]:hover),
+  :global(:root[data-theme='light'] [data-notation-key].is-notation-active) {
+    mix-blend-mode: multiply;
   }
 
   @media (max-width: 40rem) {
@@ -1152,6 +1172,7 @@ for (const gloss of glossItems) {
       color: HighlightText;
       background: Highlight;
       box-shadow: none;
+      mix-blend-mode: normal;
     }
   }
 </style>