// Generated by esidl 0.4.0. package org.w3c.dom.html; public interface Screen { // Screen public int getAvailWidth(); public int getAvailHeight(); public int getWidth(); public int getHeight(); public int getColorDepth(); public int getPixelDepth(); }