Recientemente actualicé de Firefox 55 a Firefox 58 todas las noches y es necesario actualizar muchas extensiones. Treestyletabs es la única extensión que realmente uso y se ha reimplementado como un panel de barra lateral. La diferencia es que ahora tiene una barra gigante en la parte superior como esta:
diciendo en letras muy grandes Ficha Estilo de árbol. Pude eliminar las pestañas en la parte superior de la pantalla agregando
#tabbrowser-tabs { visibility: collapse !important; }
a mi .mozilla/firefox/???/chrome/userChrome.css
expediente. Quiero saber si hay algo similar que pueda hacer para ocultar el encabezado del panel de la barra lateral y al mismo tiempo conservar el panel de la barra lateral.
Respuesta1
mannifaltig dijo:
Agregué una modificación que elimina cualquier margen en la parte superior:
#TabsToolbar, #sidebar-header { visibility: collapse !important; } #TabsToolbar { margin-bottom: -21px !important; }
Luego ve al menú de hamburguesas > Personalización y marca "Barra de título" en la parte inferior izquierda. Entonces se parece mucho al FF 56.
También cambié el estilo de los TST en la configuración del complemento (completamente en la parte inferior; no en userChrome.css) para que las pestañas no ocupen tanto espacio vertical y para ocultar el botón del cuadro de cierre ( y solo mostrarlo en el evento al pasar el mouse):
.closebox { display: none } .tab:hover .closebox { display: block; } .tab { padding-top: 0px; padding-bottom: 0px; }
Puedes hacerlo
.tab
aún más apretado:.tab .icon { padding-top: 2px; /* reducing it by 2px */ padding-bottom: 2px; } :root { --tab-height: 22px; /* reducing it by 4px */ }
Respuesta2
Puede que no sea la respuesta directa sino una sugerencia. No es necesario que deshabilites completamente esta sección, aunque no todas las subsecciones tienen accesos directos para ponerlas en primer plano. En su lugar, puedes usar este CSS ~/.mozilla/firefox/???/chrome/userChrome.css
para reducirlo.
.sidebar-header,
#sidebar-header {
font-size: 1em !important;
font-weight: normal !important;
padding: 0px !important;
}
Respuesta3
Dale una oportunidad aElegantees un complemento (FF, Chrome) que le permite modificar la apariencia de cualquier sitio web.