Code

feat: search box#241

Code

Draft

david-christiansen wants to merge 10 commits intomainleanprover/reference-manual:mainfrom search-boxleanprover/reference-manual:search-boxCopy head branch name to clipboard

+1,770-5

Commits

Commits on Jan 10, 2025

• feat: experimental search box integration

  david-christiansen

  committed
  a5009df

  Copy full SHA for a5009df

• feat: more search domains

  david-christiansen

  committed
  800ee59

  Copy full SHA for 800ee59

• feat: section numbers in search box

  david-christiansen

  committed
  7ec1603

  Copy full SHA for 7ec1603

Commits on Jan 12, 2025

• feat: add z-index to searchbox, narrower on mobile

  jakobvase

  committed
  b1af71e

  Copy full SHA for b1af71e

• feat: tweak searchbox padding for small screens

  jakobvase

  committed
  aef34db

  Copy full SHA for aef34db

• feat: don't set the value when tabbing

  jakobvase

  committed
  b001196

  Copy full SHA for b001196

• feat: don't allow later listeners to react if the keypress is handled

  jakobvase

  committed
  32644d1

  Copy full SHA for 32644d1

Commits on Jan 19, 2025

• chore: add license and legal header information

  jakobvase

  committed
  e4f8d53

  Copy full SHA for e4f8d53

• fix: tab navigation in search bar

  jakobvase

  committed
  9a3cc73

  Copy full SHA for 9a3cc73

• chore: add types and type configuration for easier ci integration

  jakobvase

  committed
  cf42026

  Copy full SHA for cf42026