doc/webdeveloper/webdeveloper.css

   1 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
   2
   3 /* Toolbar buttons */
   4
   5 #webdeveloper-button
   6 {
   7     list-style-image: url("chrome://webdeveloper/content/images/logo/medium.png");
   8 }
   9
  10 toolbar[iconsize="small"] #webdeveloper-button
  11 {
  12     list-style-image: url("chrome://webdeveloper/content/images/logo/small.png");
  13 }
  14
  15 /* Toolbars */
  16
  17 #webdeveloper-line-guides-toolbar description, #webdeveloper-page-magnifier-toolbar description, #webdeveloper-page-validation-toolbar description, #webdeveloper-ruler-toolbar description
  18 {
  19     margin-bottom: 0 !important;
  20     margin-top: 0 !important;
  21 }
  22
  23 #webdeveloper-line-guides-toolbar spacer, #webdeveloper-page-magnifier-toolbar spacer, #webdeveloper-page-validation-toolbar spacer, #webdeveloper-ruler-toolbar spacer
  24 {
  25     width: 2em !important;
  26 }
  27
  28 #webdeveloper-line-guides-toolbar spacer.small, #webdeveloper-page-magnifier-toolbar spacer.small, #webdeveloper-page-validation-toolbar spacer.small, #webdeveloper-ruler-toolbar spacer.small
  29 {
  30     width: 1em !important;
  31 }
  32
  33 #webdeveloper-page-magnifier
  34 {
  35     display: block !important;
  36 }
  37
  38 #webdeveloper-page-magnifier-container
  39 {
  40     border: 1px solid #ff0000 !important;
  41     cursor: crosshair !important;
  42     position: fixed !important;
  43 }
  44
  45 /* Dashboard */
  46
  47 #webdeveloper-dashboard
  48 {
  49     -moz-appearance: dialog !important;
  50 }
  51
  52 #webdeveloper-dashboard-splitter
  53 {
  54     background-color: ThreeDFace !important;
  55     border: 1px solid ThreeDDarkShadow !important;
  56 }
  57
  58 #webdeveloper-dashboard-tab-box, #webdeveloper-dashboard-tab-panels
  59 {
  60     margin: 0 !important;
  61     padding: 0 !important;
  62 }
  63
  64 #webdeveloper-dashboard-tabs
  65 {
  66     display: block !important;
  67 }
  68
  69 #webdeveloper-dashboard-tabs > tab
  70 {
  71     display: inline !important;
  72 }