• Flyswat
    link
    fedilink
    arrow-up
    5
    ·
    1 year ago

    It involves editing the user chrome CSS or whatever it’s called.

    In addition to Tree Style Tabs, I use Tree Style Tab Mouse Wheel which eases navigation and Simple Tab Groups which also helps with organising the browsing sessions.