[bonefolder]

Stacks project is available on github, so in theory (if you're bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documen...

At a high level they use plastex https://github.com/plastex/plastex to convert latex to html (you seem to be using pandoc?) and so can control the rendering to any fine accuracy they want. I liked this general style as well, so I tried using plastex but couldn't get my head around it and so started using LateXML https://github.com/brucemiller/LaTeXML

My usecase: I wanted to have a "dependency graph" of lemmas to make it easier to see proofs without having to jump back and forth through a pdf, and this was sort of similar to lean formalization blueprint graphs https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... (which also uses plastex) but without the lean parts. There's still a lot of work to be done, but I think I have a pretty okay implementation using latexml which meets 50% of my requirements for now, so I'm happyish https://texviz.arsricharan.in/ghrss24/

[dginev]

If you are already using LaTeXML, it is also easy to get the ar5iv rendering (example article: https://ar5iv.labs.arxiv.org/html/1910.06709)

You can either copy the CSS asset from: https://github.com/dginev/ar5iv-css

and add "--css=ar5iv.css --nodefaultresources" to the command line options for latexmlpost (or latexmlc).

Or alternatively, for people not interested in learning how to install and configure latexml, they can try the self-contained Dockerfile at:

https://github.com/dginev/ar5ivist/