tree 2c4014fb50f2ae0ea3c8922d89c4029846da240d
parent a35de5f73d31756c8ac972a54bdb370bb26eed5a
author philip.zeyliger <philip.zeyliger@gmail.com> 1749929131 -0700
committer Philip Zeyliger <philip@bold.dev> 1749929131 -0700

webui: fix Monaco fonts

In Chrome, if you selectected a line in the diff view, it wouldn't
select the whole line, because Monaco was somehow confused about the
font widths or something. Turns out we had customized our fonts. We
don't need to do that!

Also adding a sketchDebug idea so that it's easier to poke at things.