Error UI changes j 2023

[OAGr]

Before:

After:

[changeset-bot[bot]]

⚠️ No Changeset found

Latest commit: d532204c9e625668530fcab1fd654819348e674c

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

[vercel[bot]]

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

Name	Status	Preview	Comments	Updated (UTC)
quri-hub	❌ Failed (Inspect)			Jul 29, 2023 0:40am
quri-ui	❌ Failed (Inspect)			Jul 29, 2023 0:40am
squiggle-components	❌ Failed (Inspect)			Jul 29, 2023 0:40am
squiggle-website	❌ Failed (Inspect)			Jul 29, 2023 0:40am

[OAGr]

Looking at this again, I think it was trying to do too much for one PR. (This does make sense, it was experimental).

I think I might isolate some of the simplest parts for a PR to do soon, then might do some of it incrementally.

[berekuk]

This PR seems too stale to merge now, can we close it?