/**
  * Sets the script style (eg. superscript, subscript) for this font, if the font hasn't been
  * initialized
  *
  * @param scriptStyle the colour
  * @exception WriteException, if this font is already in use elsewhere
  */
 public void setScriptStyle(ScriptStyle scriptStyle) throws WriteException {
   super.setScriptStyle(scriptStyle.getValue());
 }
 /**
  * Creates a font of the specified face, point size, bold style, italicisation, underline style,
  * colour, and script style (superscript/subscript)
  *
  * @param ps the point size
  * @param bs the bold style
  * @param us the underline style
  * @param fn the font name
  * @param it the italic flag
  * @param c the colour
  * @param ss the script style
  */
 public WritableFont(
     FontName fn, int ps, BoldStyle bs, boolean it, UnderlineStyle us, Colour c, ScriptStyle ss) {
   super(fn.name, ps, bs.value, it, us.getValue(), c.getValue(), ss.getValue());
 }