diff --git a/doc/src/demo.gif b/doc/src/demo.gif index ee1b1564..700d3c2f 100644 Binary files a/doc/src/demo.gif and b/doc/src/demo.gif differ