Code

wip: fancier popups#449

Code

Open

plt-amy wants to merge 9 commits intomainthe1lab/1lab:mainfrom aliao/fancier-popupsthe1lab/1lab:aliao/fancier-popupsCopy head branch name to clipboard

+948-309

Commits

Commits on Dec 23, 2024

• wip: fancier popups

  plt-amy

  committed
  a15828c

  Copy full SHA for a15828c

• lol

  plt-amy

  committed
  1c910de

  Copy full SHA for 1c910de

• fix fucked nested hovers

  plt-amy

  committed
  97f2ce6

  Copy full SHA for 97f2ce6

• fix skip-agda all

  plt-amy

  committed
  28422e3

  Copy full SHA for 28422e3

• fix deadlock in diagrams hopefully

  plt-amy

  committed
  1a80323

  Copy full SHA for 1a80323

• fix popups not reopening on if you focus them while they're closing

  plt-amy

  committed
  562a779

  Copy full SHA for 562a779

• style popups in css

  plt-amy

  committed
  271a4a0

  Copy full SHA for 271a4a0

• more popup styling

  plt-amy

  committed
  616b686

  Copy full SHA for 616b686

• i hate specificity! i hate specificity!!

  plt-amy

  committed
  a1a4836

  Copy full SHA for a1a4836