Sphinx extension for use with Proofscape.
In versions 0.3.x, this package provided both syntax highlighting (for the
Proofscape module language and Meson language), and roles and directives for
chart widgets.
In versions 0.4.x, only syntax highlighting is provided. Development of
widget roles and directives has moved to the pise/server project.