doc/webdeveloper/stylesheets/display_ruler.css

   1 *
   2 {
   3     cursor: crosshair !important;
   4 }
   5
   6 #webdeveloper-ruler
   7 {
   8     -moz-opacity: 0.5 !important;
   9     -moz-outline: 1px solid #ff0000 !important;
  10     background-color: #cccccc !important;
  11     background-image: url(chrome://webdeveloper/content/images/features/ruler.png) !important;
  12     height: 0;
  13     left: 0;
  14     opacity: 0.5 !important;
  15     outline: 1px solid #ff0000 !important;
  16     position: absolute !important;
  17     top: 0;
  18     width: 0;
  19     z-index: 999 !important;
  20 }
  21
  22 #webdeveloper-ruler > div > div
  23 {
  24     background-color: #666666 !important;
  25     border-color: #ff0000 !important;
  26     border-style: solid !important;
  27     height: 15px !important;
  28     position: absolute !important;
  29     width: 15px !important;
  30 }
  31
  32 #webdeveloper-ruler-container
  33 {
  34     cursor: move !important;
  35     height: 100% !important;
  36     overflow: hidden !important;
  37     position: relative !important;
  38     width: 100% !important;
  39 }
  40
  41 #webdeveloper-ruler-north-east
  42 {
  43     border-width: 0 0 1px 1px !important;
  44     cursor: ne-resize !important;
  45     right: 0 !important;
  46     top: 0 !important;
  47 }
  48
  49 #webdeveloper-ruler-north-west
  50 {
  51     border-width: 0 1px 1px 0 !important;
  52     cursor: nw-resize !important;
  53     left: 0 !important;
  54     top: 0 !important;
  55 }
  56
  57 #webdeveloper-ruler-south-east
  58 {
  59     border-width: 1px 0 0 1px !important;
  60     bottom: 0 !important;
  61     cursor: se-resize !important;
  62     right: 0 !important;
  63 }
  64
  65 #webdeveloper-ruler-south-west
  66 {
  67     border-width: 1px 1px 0 0 !important;
  68     bottom: 0 !important;
  69     cursor: sw-resize !important;
  70     left: 0 !important;
  71 }