Actually resize images

In most of the documentation, images are like this

<figure markdown="span">
![](cyber3.png){ height="350" }
</figure>

which does not actually do anything. This, however, works:

<figure markdown="span">
![](folder_actions.png){ style="height: 280px" }
</figure>