code: @Override
      public int getRightBorder()
      {
          Box box = getBox();
          if (box instanceof ElementBox)
              return ((ElementBox) box).getBorder().right;
          else
              return 0;
      }
docs: Obtains the right border of the box
  @return the width of the border or 0 when there is no border