Advertisement
Guest User

Thin Tabs (the addon from addons.mozilla.org)

a guest
Jan 13th, 2016
554
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
CSS 2.43 KB | None | 0 0
  1. /*
  2.      * This Source Code Form is subject to the terms of the Mozilla Public
  3.      * License, v. 2.0. If a copy of the MPL was not distributed with this
  4.      * file, You can obtain one at http://mozilla.org/MPL/2.0/.
  5.      *
  6.      * This is a fork of Small Tabs, written by ใƒญใ‚ทใ‚ข,
  7.      * https://addons.mozilla.org/en-US/firefox/addon/small-tabs/
  8.      */
  9.      
  10.     @namespace url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul);
  11.      
  12.     @-moz-document url(chrome://browser/content/browser.xul) {
  13.      
  14.      
  15.     #TabsToolbar {
  16.     }
  17.      
  18.     .tab-background-start::after,
  19.     .tab-background-start::before,
  20.     .tab-background-start,
  21.     .tab-background-end,
  22.     .tab-background-end::after,
  23.     .tab-background-end::before,
  24.     .tabbrowser-tabs {
  25.         /* Force that these items do not have a minimum height. This is
  26.          * especially needed for supporting TabMix Plus. */
  27.         min-height: 0px !important;
  28.        
  29.         /* Make sure that the text is correctly aligned. */
  30.         -moz-box-align: none !important;
  31.     }
  32.     /* Needed to make sure that the tab bar will not grow by one pixel
  33.      * if it overflows. */
  34.     #TabsToolbar > #alltabs-button,
  35.     #TabsToolbar > #new-tab-button,
  36.     #tabbrowser-tabs > .tabbrowser-arrowscrollbox > * {
  37.         margin-bottom: 0px !important;
  38.     }
  39.      
  40.     /* This is the box at the left and right of the tabs. */
  41.     #tabbrowser-tabs > .tabbrowser-arrowscrollbox > .arrowscrollbox-scrollbox {
  42.         -moz-padding-end: 0px !important;
  43.         -moz-padding-start: 0px !important;
  44.     }
  45.     /* The image of the tabs. */
  46.     .tab-throbber,
  47.     .tab-icon-image {
  48.     }
  49.      
  50.     /* The image of not pinned (normal) tabs. */
  51.     .tab-throbber:not([pinned]),
  52.     .tab-icon-image:not([pinned]) {
  53.         /* Consume some of the space to our left to move the text closer if there is an icon. */
  54.         -moz-margin-end: -2px !important;
  55.     }    
  56.     /* The image of not pinned (normal) tabs. */
  57.     .tab-throbber:not([pinned]),
  58.     .tab-icon-image:not([pinned]) {
  59.         /* Consume some of the space to our left to move the text closer if there is an icon. */
  60.         -moz-margin-end: -2px !important;
  61.     }
  62.      
  63.     /* The contents of the tabs. */
  64.     .tab-content:not([pinned]) {
  65.     }
  66.      
  67.     /* The label which holds the site name. */
  68.     .tab-text.tab-label:not([pinned]) {
  69.         /* Move the text away from the left edge, especially needed if there is no icon. */
  70.         /* Part of this is consumed again by the image. */
  71.         -moz-margin-start: 5px !important;
  72.     }
  73.      
  74.     /* The close button of the tab. */
  75.     .tab-close-button:not([pinned]) {
  76.         -moz-margin-start: 0px !important;
  77.     }
  78.      
  79.      
  80. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement