Code

Increase contrast on selection text#4

Code

Merged

CodingCellist merged 2 commits intoidris-lang:mainidris-lang/idris-lang.github.io:mainfrom

Soiled-Linen:patch-1Soiled-Linen/idris-lang.github.io:patch-1Copy head branch name to clipboard

Mar 16, 2025

Commits

Commits on May 19, 2024

• Increase contrast on selection text

  Show description for 1565e06
  Soiled-Linen

  authored
  1565e06

  Copy full SHA for 1565e06

Commits on Mar 16, 2025

• [fix] contrast on selection text

  Show description for a6f9605
  CodingCellist

  authored
  a6f9605

  Copy full SHA for a6f9605