Lee wrote:
On 6/25/20, AK <[email protected]> wrote:
On Thursday, June 25, 2020 at 2:54:13 PM UTC-5, WaltS48 wrote:
On 6/25/20 3:47 PM, AK wrote:
I want to change the font size in tabs.
Is it something to be put in userchrome.css?
Thanks.
Isn't that in the userChrome-example.css file found in the profile
folder?
/*
* Some possible accessibility enhancements:
*/
/*
* Make all the default font sizes 20 pt:
*
* * {
* font-size: 20pt !important
* }
*/
/*
* Make menu items in particular 15 pt instead of the default size:
*
* menupopup > * {
* font-size: 15pt !important
* }
*/
I did not state my desire completely.
This should help.
https://imgur.com/a/1cTCLrG
maybe this
.tabbrowser-tab {min-width: 3em !important}
Setting the width of the tab will not change the font. Using that
element with the font-zize setting would do it.
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
