Skip to content
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
merged 1 commit into from
Oct 8, 2021
Merged

Improve tree page tab bar CSS #243

merged 1 commit into from
Oct 8, 2021

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Oct 7, 2021

So the borders look a bit nicer:

Before

image

After

image

@jtpio jtpio added the enhancement New feature or request label Oct 7, 2021
@jtpio jtpio added this to the 0.3.x milestone Oct 7, 2021
@github-actions
Copy link
Contributor

github-actions bot commented Oct 7, 2021

Binder 👈 Launch RetroLab on Binder

@jtpio jtpio merged commit 3be86ca into jupyterlab:main Oct 8, 2021
@jtpio jtpio deleted the border branch October 8, 2021 07:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant