sizeIndex = index;
  private int mapAbsolute()  {    int index;    if (value.equals("xx-small") || value.equals("x-small"))      index = 0;    else if (value.equals("small"))      index = 1;    else if (value.equals("medium"))      index = 2;    else if (value.equals("large"))      index = 3;    else if (value.equals("x-large"))      index = 4;    else if (value.equals("xx-large"))      index = 5;    else      index = 2;    double scale = SCALE[index];    // FIXME: Scale the real medium size of the document, rather than the    // constant here.    int intVal = (int) (scale * DEFAULT_FONT_SIZE);    return intVal;  }