8

Недавно я обновился с Firefox 55 до Firefox 58 ночью, и многие расширения должны быть обновлены. Treestyletabs - единственное расширение, которое я действительно использую, и оно было переопределено как боковая панель. Разница в том, что теперь у него есть гигантский бар сверху:


говоря действительно большими буквами Tab Tree Tab. Мне удалось устранить вкладки в верхней части экрана, добавив

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

на мой .mozilla/firefox/???/chrome/userChrome.css файл. Я хочу знать, есть ли что-то похожее, что я могу сделать, чтобы скрыть заголовок боковой панели, сохраняя при этом панель боковой панели.

3 ответа3

6

Маннигфальтиг сказал:

Я добавил модификацию, которая удаляет любое поле сверху:

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

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

Затем перейдите в меню гамбургеров> Настройка и проверьте "Строка заголовка" в левом нижнем углу. Тогда это очень похоже на FF 56.

Я также изменил стиль TST в настройках надстройки (полностью внизу; не в userChrome.css), чтобы вкладки не занимали столько места по вертикали, чтобы скрыть кнопку закрытия окна ( и показывать только при наведении курсора мыши):

.closebox {
  display: none
}

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

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

Вы можете сделать .tab еще крепче:

.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

1

Это может быть не прямой ответ, а предложение. Вам не нужно полностью отключать этот раздел, в то время как не во всех подразделах есть ярлыки для вывода их на передний план. Вместо этого вы можете использовать этот CSS в ~/.mozilla/firefox/???/chrome/userChrome.css чтобы уменьшить его.

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

Дайте шанс Стилу это плагин (FF, Chrome), который позволяет изменять внешний вид любого веб-сайта.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками .