Missing screenshot in Interactive Theorem Proving Documentation

[Pytheas01]

A screenshot is missing in the Interactive Theorem Proving documentation (http://docs.idris-lang.org/en/latest/proofs/interactive.html), right after the following paragraph:

This has been normalised to 0 = 0 so now we have to prove that 0 equals 0, which is easy to prove by reflexivity from the pruviloj library:

Here's what is should look like:

-Pruv.plusredZ_Z> reflexivity
plusredZ_Z: No more goals.

[martinbaker]

oops, sorry schoolboy error.

In the rst file I wrote the code block like this:

.. code-block:: idris -Main.plusredZ_Z> reflexivity plusredZ_Z: No more goals.

But this does not display unless there is an empty line after '.. code-block:: idris'. So I have sent a pull request which adds in the blank line. https://github.com/idris-lang/Idris-dev/pull/4718