Repository navigation

Use our own diff colors instead of deriving them from themes - #97

Open

jpenilla wants to merge 4 commits into

fix/diff-colors

Open

Use our own diff colors instead of deriving them from themes#97
jpenilla wants to merge 4 commits into
masterfrom
fix/diff-colors

Commits on Oct 27, 2026
- Use our own diff colors instead of deriving them from themes
  jpenilla
  committed
  a5ca325
- Soften changed-word highlights to keep syntax colors readable
  jpenilla
  committed
  d4cb159
- Mark changed lines with an edge bar and lighter tints
  jpenilla
  committed
  ea2ae0b
- Drop the changed-word underline for a stronger tint
  jpenilla
  committed
  c5cb1dd