Desativar elementos do firefox 57 UI para TreeStyleTab

Question

Eu recentemente atualizei do firefox 55 para o firefox 58 por noite e muitas extensões precisam ser atualizadas. Treestyletabs é a única extensão que eu realmente uso e foi reimplementada como um painel lateral. A diferença é que agora tem uma barra gigante no topo assim:

dizendo em letras muito grandes Tree Style Tab. Consegui eliminar as guias na parte superior da tela adicionando

#tabbrowser-tabs { visibility: collapse !important; }

ao meu arquivo .mozilla/firefox/???/chrome/userChrome.css . Eu quero saber se há algo semelhante que eu possa fazer para esconder o cabeçalho do painel da barra lateral enquanto ainda mantém o painel da barra lateral.

    

Answer 1

mannigfaltig said:

I've added a modification that removes any margin at the top:

#TabsToolbar, #sidebar-header {
  visibility: collapse !important;
}

#TabsToolbar {
  margin-bottom: -21px !important;
}

Then go to the hamburger menu > Customization and check "Title Bar" at the bottom left. Then it pretty much looks like FF 56.

I've also changed the style of TSTs in the add-on settings (all the way at the bottom; not in userChrome.css) such that the tabs don't take up as much vertical space and to hide the close box button (and only show it on the mouse-over event):

.closebox {
  display: none
}

.tab:hover .closebox {
  display: block;
}

.tab {
  padding-top: 0px;
  padding-bottom: 0px;
}

You can make .tab even tighter:

.tab .icon {
  padding-top: 2px; /* reducing it by 2px */
  padding-bottom: 2px;
}

:root {
  --tab-height: 22px; /* reducing it by 4px */
}

https://news.ycombinator.com/item?id=15342379

    

Answer 2

Pode não ser a resposta direta, mas uma sugestão. Você não precisa desativar totalmente esta seção, embora nem todas as subseções tenham atalhos para colocá-las em primeiro plano. Em vez disso, você pode usar esse css em ~/.mozilla/firefox/???/chrome/userChrome.css para reduzi-lo.

.sidebar-header,
#sidebar-header {
  font-size: 1em !important;
  font-weight: normal !important;
  padding: 0px !important;
}

    

Answer 3

Dê uma chance ao Elegante que é um plugin (FF, Chrome) que permite modificar a aparência de qualquer site.