Running out of margin in the new user guide

Publicity
#1

Dear STAN development.

I’m enjoying the new user guide:

Some lines run outside the page margin, for example, pages 80, 81, etc.

Thank you very much for your elaborate development.
Ziyi