WebFrontend: Don't use onMouseOut() for now, the behaviour is ... odd