Bob Stayton <bo...@caldera.com>:
You might try putting two imageobject elements inside a mediaobject
inside your screenshot, and assign an appropriate role attribute to
each imageobject, such as "html" or "pdf".
Interesting. I'll try this tomorrow.
This may also provide the solution to something else I wondered: how
to use a SVG figure in both PDF and HTML: I'll manually render a PNG
of the SVG, for use with HTML.