content: package com.aicontest.visualizer.js.dom;
  
  import org.w3c.dom.DOMException;
  
  public class CSS2Properties
    implements org.w3c.dom.css.CSS2Properties
  {
    private String display;
    private HTMLElement owner;
  
    CSS2Properties(HTMLElement owner)
    {
      this.owner = owner;
    }
  
    public String getAzimuth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setAzimuth(String azimuth) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBackground()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBackground(String background) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBackgroundAttachment()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBackgroundAttachment(String backgroundAttachment)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBackgroundColor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBackgroundColor(String backgroundColor) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBackgroundImage()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBackgroundImage(String backgroundImage) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBackgroundPosition()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBackgroundPosition(String backgroundPosition)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBackgroundRepeat()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBackgroundRepeat(String backgroundRepeat)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorder()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorder(String border) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderCollapse()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderCollapse(String borderCollapse) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderColor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderColor(String borderColor) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderSpacing()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderSpacing(String borderSpacing) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderStyle()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderStyle(String borderStyle) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderTop()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderTop(String borderTop) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderRight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderRight(String borderRight) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderBottom()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderBottom(String borderBottom) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderLeft()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderLeft(String borderLeft) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderTopColor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderTopColor(String borderTopColor) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderRightColor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderRightColor(String borderRightColor)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderBottomColor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderBottomColor(String borderBottomColor)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderLeftColor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderLeftColor(String borderLeftColor) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderTopStyle()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderTopStyle(String borderTopStyle) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderRightStyle()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderRightStyle(String borderRightStyle)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderBottomStyle()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderBottomStyle(String borderBottomStyle)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderLeftStyle()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderLeftStyle(String borderLeftStyle) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderTopWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderTopWidth(String borderTopWidth) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderRightWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderRightWidth(String borderRightWidth)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderBottomWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderBottomWidth(String borderBottomWidth)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderLeftWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderLeftWidth(String borderLeftWidth) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBorderWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBorderWidth(String borderWidth) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getBottom()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setBottom(String bottom) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getCaptionSide()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setCaptionSide(String captionSide) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getClear()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setClear(String clear) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getClip()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setClip(String clip) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getColor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setColor(String color) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getContent()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setContent(String content) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getCounterIncrement()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setCounterIncrement(String counterIncrement)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getCounterReset()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setCounterReset(String counterReset) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getCue()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setCue(String cue) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getCueAfter()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setCueAfter(String cueAfter) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getCueBefore()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setCueBefore(String cueBefore) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getCursor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setCursor(String cursor) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getDirection()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setDirection(String direction) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getDisplay()
    {
      return display;
    }
  
    public void setDisplay(String display)
    {
      this.display = display;
      owner.contentChanged();
    }
  
    public String getElevation()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setElevation(String elevation) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getEmptyCells()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setEmptyCells(String emptyCells) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getCssFloat()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setCssFloat(String cssFloat) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getFont()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setFont(String font) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getFontFamily()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setFontFamily(String fontFamily) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getFontSize()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setFontSize(String fontSize) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getFontSizeAdjust()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setFontSizeAdjust(String fontSizeAdjust) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getFontStretch()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setFontStretch(String fontStretch) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getFontStyle()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setFontStyle(String fontStyle) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getFontVariant()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setFontVariant(String fontVariant) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getFontWeight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setFontWeight(String fontWeight) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getHeight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setHeight(String height) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getLeft()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setLeft(String left) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getLetterSpacing()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setLetterSpacing(String letterSpacing) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getLineHeight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setLineHeight(String lineHeight) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getListStyle()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setListStyle(String listStyle) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getListStyleImage()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setListStyleImage(String listStyleImage) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getListStylePosition()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setListStylePosition(String listStylePosition)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getListStyleType()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setListStyleType(String listStyleType) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMargin()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMargin(String margin) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMarginTop()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMarginTop(String marginTop) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMarginRight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMarginRight(String marginRight) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMarginBottom()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMarginBottom(String marginBottom) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMarginLeft()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMarginLeft(String marginLeft) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMarkerOffset()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMarkerOffset(String markerOffset) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMarks()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMarks(String marks) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMaxHeight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMaxHeight(String maxHeight) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMaxWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMaxWidth(String maxWidth) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMinHeight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMinHeight(String minHeight) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getMinWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setMinWidth(String minWidth) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getOrphans()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setOrphans(String orphans) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getOutline()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setOutline(String outline) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getOutlineColor()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setOutlineColor(String outlineColor) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getOutlineStyle()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setOutlineStyle(String outlineStyle) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getOutlineWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setOutlineWidth(String outlineWidth) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getOverflow()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setOverflow(String overflow) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPadding()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPadding(String padding) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPaddingTop()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPaddingTop(String paddingTop) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPaddingRight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPaddingRight(String paddingRight) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPaddingBottom()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPaddingBottom(String paddingBottom) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPaddingLeft()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPaddingLeft(String paddingLeft) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPage()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPage(String page) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPageBreakAfter()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPageBreakAfter(String pageBreakAfter) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPageBreakBefore()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPageBreakBefore(String pageBreakBefore) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPageBreakInside()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPageBreakInside(String pageBreakInside) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPause()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPause(String pause) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPauseAfter()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPauseAfter(String pauseAfter) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPauseBefore()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPauseBefore(String pauseBefore) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPitch()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPitch(String pitch) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPitchRange()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPitchRange(String pitchRange) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPlayDuring()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPlayDuring(String playDuring) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getPosition()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setPosition(String position) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getQuotes()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setQuotes(String quotes) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getRichness()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setRichness(String richness) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getRight()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setRight(String right) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getSize()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setSize(String size) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getSpeak()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setSpeak(String speak) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getSpeakHeader()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setSpeakHeader(String speakHeader) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getSpeakNumeral()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setSpeakNumeral(String speakNumeral) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getSpeakPunctuation()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setSpeakPunctuation(String speakPunctuation)
      throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getSpeechRate()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setSpeechRate(String speechRate) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getStress()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setStress(String stress) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getTableLayout()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setTableLayout(String tableLayout) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getTextAlign()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setTextAlign(String textAlign) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getTextDecoration()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setTextDecoration(String textDecoration) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getTextIndent()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setTextIndent(String textIndent) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getTextShadow()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setTextShadow(String textShadow) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getTextTransform()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setTextTransform(String textTransform) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getTop()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setTop(String top) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getUnicodeBidi()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setUnicodeBidi(String unicodeBidi) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getVerticalAlign()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setVerticalAlign(String verticalAlign) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getVisibility()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setVisibility(String visibility) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getVoiceFamily()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setVoiceFamily(String voiceFamily) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getVolume()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setVolume(String volume) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getWhiteSpace()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setWhiteSpace(String whiteSpace) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getWidows()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setWidows(String widows) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getWidth()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setWidth(String width) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getWordSpacing()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setWordSpacing(String wordSpacing) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public String getZIndex()
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  
    public void setZIndex(String zIndex) throws DOMException
    {
      throw new DOMException(DOMException.NOT_SUPPORTED_ERR, "not supported");
    }
  }