This repository has been archived by the owner on Feb 16, 2023. It is now read-only.

Improve tree page tab bar CSS#243

Merged

jtpio merged 1 commit intojupyterlab:mainfrom jtpio:border

Oct 8, 2021

+6

Commits on Oct 7, 2021

Improve tree page tab bar CSS
jtpio
committed