.mozilla/firefox/default/chrome/userChrome.css

   1 /* display at the right edge ------------------------------------------------ */
   2 //
   3 // #content > tabbox {
   4 //   -moz-box-orient: horizontal;
   5 // }
   6 // #content > tabbox {
   7 //   -moz-box-direction: reverse;
   8 // }
   9 // .tabbrowser-strip {
  10 //   -moz-box-orient: vertical;
  11 //   overflow: -moz-scrollbars-none;
  12 // }
  13 // .tabbrowser-tabs {
  14 //   -moz-box-orient: horizontal;
  15 //   min-width: 17ex;
  16 //   -mox-box-pack: start;
  17 //   -moz-box-align: start;
  18 // }
  19 // .tabbrowser-tabs > hbox {
  20 //   -moz-box-orient: vertical;
  21 //   -moz-box-align: stretch;
  22 //   -moz-box-pack: start;
  23 // }
  24 // .tabbrowser-tabs > hbox > tab {
  25 //   -moz-box-align: start;
  26 //   -moz-box-orient: horizontal;
  27 // }
  28 // .tabbrowser-tabs > stack {
  29 //   display: none;
  30 // }