The source listings in the generated HTML are hacked together because of multiple problems across JS libraries. (misbehaving code block in markdown Panel + lack of Dafny syntax support)
Some of those problems seem to have been fixed in recent updates, so the implementation could be revisited to get prettyprinting.
The source listings in the generated HTML are hacked together because of multiple problems across JS libraries. (misbehaving code block in markdown Panel + lack of Dafny syntax support)
Some of those problems seem to have been fixed in recent updates, so the implementation could be revisited to get prettyprinting.