make ERD tooltip primary key separator wider
make ERD tooltip primary key separator wider

fabiansinz/datajoint-python,dimitri-yatsenko/datajoint-python,datajoint/datajoint-python,eywalker/datajoint-python