protected static function _set_basefont_size($node, $value)
 {
     self::$_last_basefont_size = $value;
     return null;
 }
 protected static function _set_basefont_size($node, $value)
 {
     // FIXME: ? we don't actually set the font size of anything here, just
     // the base size for later modification by <font> tags.
     self::$_last_basefont_size = $value;
     return null;
 }
 protected static function _set_basefont_size($node, $value)
 {
     //
     // the base size for later modification by <font> tags.
     self::$_last_basefont_size = $value;
     return null;
 }