Open billyblackburn opened 1 year ago
Glad you're enjoying the theme! The rounded corners are controlled by the border-radius
property here:
is there a way to round the corners on the left side where the file browser is?
On Fri, Jun 9, 2023 at 4:38 AM Johnny @.***> wrote:
Glad you're enjoying the theme! The rounded corners are controlled by the border-radius property here:
— Reply to this email directly, view it on GitHub https://github.com/johnnybarrels/jupyterlab_onedarkpro/issues/12#issuecomment-1584191947, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABYOVOXKIOTNPPLXIQNXT6TXKLOI3ANCNFSM6AAAAAAY76JCSM . You are receiving this because you authored the thread.Message ID: @.***>
Glad you're enjoying the theme! The rounded corners are controlled by the
border-radius
property here:
is there a way to extend this to the left hand side with the file browser etc?
I looked far and wide for a theme with rounded corners and you seem to be the only one that made it....im not gerat with js/css/html so i was wondering how you made this happen? its my fav theme for jupyter now...
will it be possible to make rounded corners for all the edges such as file viewer as well?