Signed-off-by: George Thomas <georgefsthomas@gmail.com>

This uses up less space, and reads nicely (more text-like) for `λ`/`∀`/`Λ` nodes.

We can trigger this mode through the tree/text toggle. This is a slight abuse of this element, and we'll likely revisit this if/when we have more optional display behaviour. On the other hand, this display option is fairly experimental for now, and it may well be that we don't keep both tree styles around in the long run.

Signed-off-by: George Thomas <georgefsthomas@gmail.com>

We had an issue where there were sometimes small visible gaps between the node label and border. These gaps would flicker while zooming in and out. This was seen across multiple browsers.

We fix this by adding extra padding around the label so that it intersects the border, rather than meeting it precisely.

There is a side effect here, which is that labels in term-level nodes are now curved on both sides (I wouldn't have known how to implement this otherwise). But this is arguably an improvement anyway.

Signed-off-by: George Thomas <georgefsthomas@gmail.com>

Signed-off-by: George Thomas <georgefsthomas@gmail.com>

`pnpm audit` is currently complaining about the following GitHub
security advisories on the `vm2` package:

GHSA-cchq-frgv-rjh5
GHSA-g644-9gfx-q4q4

We don't use `vm2` directly: it is a (very) transitive dependency of
`ibm-openapi-validator` via `@orval/core`. The validator is only
potentially run when we generate our Primer API bindings, and in fact,
we do not even currently run the validator at all, as it doesn't like
our OpenAPI spec. Therefore, this advisory isn't relevant to us at
this time.

Unfortunately, there is currently no way to tell `pnpm audit` to
ignore GHSA advisories, only CVEs. See relevant discussion in:

https://github.com/orgs/pnpm/discussions/6204
pnpm/pnpm#6838

Ironically, it seems like it may be possible to use another IBM tool
to post-process the output of `pnpm audit` and ignore certain issues:

https://github.com/orgs/pnpm/discussions/5229

However, until we have time to look into that, we'll just disable
`pnpm audit` in order to make forward progress. Note that we are also
running regular security scans via GitHub's Dependabot and Snyk, so we
have good security coverage even without the `pnpm audit` step.

Signed-off-by: Drew Hess <src@drewhess.com>