Jermolene ef729487c3 Tweak size of help panel ...

Now that we don’t have the cheatsheet, reducing the height makes the
panel more useful for watching tutorial videos.

2015-03-22 15:52:17 +00:00

..

tiddlywiki

Tweak size of help panel

2015-03-22 15:52:17 +00:00