doc/webdeveloper/dashboard/edit_css.css

   1 @import url("chrome://global/skin/");
   2 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
   3
   4 #webdeveloper-edit-css-tab-box, #webdeveloper-edit-css-tab-panels, #webdeveloper-edit-css-tab-panels > textbox
   5 {
   6     margin: 0 !important;
   7     padding: 0 !important;
   8 }
   9
  10 #webdeveloper-edit-css-tab-panels textbox
  11 {
  12     -moz-appearance: none !important;
  13     font-family: monospace !important;
  14 }
  15
  16 #webdeveloper-edit-css-tabs
  17 {
  18     display: block !important;
  19 }
  20
  21 #webdeveloper-edit-css-tabs > tab
  22 {
  23     display: inline !important;
  24 }