It appears that `icon` sets `cursor: default`. Not sure if this is a good idea. For example this overrides the `cursor: pointer` for `docs-jump-menu`.
It appears that
iconsetscursor: default. Not sure if this is a good idea.For example this overrides the
cursor: pointerfordocs-jump-menu.