interface Screen {
/* IID: { 0x77947960, 0xb4af, 0x11d2, \
  { 0xbd, 0x93, 0x00, 0x80, 0x5f, 0x8a, 0xe3, 0xf4 } } */

        readonly attribute int width;
        readonly attribute int height;
        readonly attribute int pixelDepth;
        readonly attribute int colorDepth;
        readonly attribute int availWidth;
        readonly attribute int availHeight;
        readonly attribute int availLeft;
        readonly attribute int availTop;
      };