I sure do like the way the Supreme Court sets its type [0]. I’d always imagined it must be laid out in the way you describe, with a LaTeX transform or something—it sounds like it’s really a manual kind of affair?

Of course the first comment I find upon searching is another of Matthew Butterick’s [1], in which he agrees that it’s Real Nice, and points out that the Supreme Court does not allow documents using Times New Roman to be filed there at all!

I don’t even mind that he’s writing this in his capacity as a fontmonger: if all SEO-type writing were at this level of quality and obsession, I’d be much less grumpy about it.

[0] https://www.supremecourt.gov/opinions/22pdf/21-869_87ad.pdf

[1] https://typographyforlawyers.com/court-opinions.html