Issue #658: move menu button from the top-right corner to the node itself; tweak various graphic symbol positions