Fix right panel visibility overlap issue#413

jim22k merged 1 commit intopython-graphblas:mainpython-graphblas/python-graphblas:mainfrom

jim22k:doc_fix2jim22k/python-graphblas:doc_fix2Copy head branch name to clipboard