Test that changing spanner margins dynamically works.
Below there should be a blue square with a thick black border, and no visible FAIL.