#24 screenshots - consistent window decorations

[Jiri Baum]

The screenshots in the manual should all have the same
window decorations. For instance, the hmi_gtk page now
has three different styles, within the one page, and
other screenshots are different again.

However, this will be a fair amount of work, for
aesthetic only gain.