Recentemente, atualizei do Firefox 55 para o Firefox 58 todas as noites e muitas extensões precisam ser atualizadas. Treestyletabs é a única extensão que eu realmente uso e foi reimplementada como um painel da barra lateral. A diferença é que agora tem uma barra gigante no topo assim:
dizendo em letras bem grandes Tree Style Tab. Consegui eliminar as guias na parte superior da tela adicionando
#tabbrowser-tabs { visibility: collapse !important; }
para o meu .mozilla/firefox/???/chrome/userChrome.css
arquivo. Quero saber se há algo semelhante que posso fazer para ocultar o cabeçalho do painel da barra lateral e, ao mesmo tempo, manter o painel da barra lateral.
Responder1
mannigfaltig disse:
Adicionei uma modificação que remove qualquer margem na parte superior:
#TabsToolbar, #sidebar-header { visibility: collapse !important; } #TabsToolbar { margin-bottom: -21px !important; }
Em seguida, vá ao menu hambúrguer > Personalização e marque “Barra de Título” no canto inferior esquerdo. Então parece muito com FF 56.
Também mudei o estilo dos TSTs nas configurações do complemento (totalmente na parte inferior; não em userChrome.css) para que as guias não ocupem tanto espaço vertical e para ocultar o botão Fechar da caixa ( e mostrá-lo apenas no evento de passagem do mouse):
.closebox { display: none } .tab:hover .closebox { display: block; } .tab { padding-top: 0px; padding-bottom: 0px; }
Você pode tornar
.tab
ainda mais apertado:.tab .icon { padding-top: 2px; /* reducing it by 2px */ padding-bottom: 2px; } :root { --tab-height: 22px; /* reducing it by 4px */ }
Responder2
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 trazê-las para o primeiro plano. Em vez disso, você pode usar este css ~/.mozilla/firefox/???/chrome/userChrome.css
para reduzi-lo.
.sidebar-header,
#sidebar-header {
font-size: 1em !important;
font-weight: normal !important;
padding: 0px !important;
}
Responder3
Dê uma chance paraÀ modaé um plugin (FF, Chrome) que permite modificar a aparência de qualquer site.