How do you change the top padding of tabs?

[abanoub-R]

Hello, I wish to change the top padding of tabs using the lepton theme.

How my tabs currently look:

From what I can tell, the padding for the top of the tab appears to be set to 1 pixel, i want to know if its possible to set it to something higher like 2 or 3.

Thank you for reading this, have a nice day.

[Aleksandra0056]

What OS are you using?

[abanoub-R]

I am running bleeding edge Gentoo Linux, firefox 115.2

[black7375]

https://github.com/black7375/Firefox-UI-Fix/wiki/Options#drag-space

You can set userChrome.padding.drag_space to true!!

[abanoub-R]

I deleted my other comment because I had to set the .maximized variable of it to true for it to work since I use a tiling window manager. My mistake.