Tailwind styles for editor search panel

[berekuk]

Fixes #3272 (at least I hope so, I don't have a linux machine to verify).

New styles are loosely based on @quri/ui styles for buttons and inputs, but are copy-pasted and sometimes tuned in minor ways.

Before:

After:

[vercel[bot]]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Updated (UTC)
quri-hub	✅ Ready (Inspect)	Visit Preview	Jun 13, 2024 6:02pm
quri-ui	✅ Ready (Inspect)	Visit Preview	Jun 13, 2024 6:02pm
squiggle-components	✅ Ready (Inspect)	Visit Preview	Jun 13, 2024 6:02pm
squiggle-website	✅ Ready (Inspect)	Visit Preview	Jun 13, 2024 6:02pm

[changeset-bot[bot]]

⚠️ No Changeset found

Latest commit: d5e7b03cd4519c7c4b77f0200333d3a7c9f6bbc8

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[OAGr]

Nice! This seems a lot better.