Vô hiệu hóa các thành phần của giao diện người dùng firefox 57 cho TreeStyleTab

Gần đây tôi đã nâng cấp từ firefox 55 lên firefox 58 hàng đêm và nhiều phần mở rộng phải được cập nhật. Treestyletabs là phần mở rộng duy nhất mà tôi thực sự sử dụng và nó đã được thực hiện lại dưới dạng bảng điều khiển bên. Sự khác biệt là bây giờ nó có một thanh khổng lồ ở trên cùng như thế này:

nói bằng chữ thực sự lớn Tree Style Tab. Tôi đã có thể loại bỏ các tab ở đầu màn hình bằng cách thêm

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

vào .mozilla/firefox/???/chrome/userChrome.csstập tin của tôi Tôi muốn biết nếu có một cái gì đó tương tự tôi có thể làm để ẩn tiêu đề bảng điều khiển bên trong khi vẫn giữ bảng điều khiển bên.

mannigfaltig nói:

Tôi đã thêm một sửa đổi để loại bỏ bất kỳ lề nào ở trên cùng:

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

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

Sau đó vào menu hamburger> Tùy chỉnh và kiểm tra "Thanh tiêu đề" ở dưới cùng bên trái. Sau đó, nó trông khá giống FF 56.

Tôi cũng đã thay đổi kiểu TST trong cài đặt bổ trợ (tất cả các cách ở phía dưới; không phải trong userChrom.css) sao cho các tab không chiếm nhiều không gian theo chiều dọc và để ẩn nút đóng hộp ( và chỉ hiển thị nó trên sự kiện di chuột qua):

.closebox {
  display: none
}

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

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

Bạn có thể làm cho .tabchặt chẽ hơn nữa:

.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

Nó có thể không phải là câu trả lời trực tiếp mà là một gợi ý. Bạn không phải vô hiệu hóa hoàn toàn phần này trong khi không phải tất cả các phần phụ đều có phím tắt để đưa chúng lên nền trước. Thay vào đó bạn có thể sử dụng css này ~/.mozilla/firefox/???/chrome/userChrome.cssđể thu nhỏ nó.

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

Tạo cơ hội cho Phong cách đó là một plugin (FF, Chrome) cho phép bạn sửa đổi giao diện của bất kỳ trang web nào.