Diff for /Amaya/doc/languages.html between versions 1.22 and 1.23

version 1.22, 1999/06/30 07:27:01 version 1.23, 1999/07/06 09:17:01
Line 14 Line 14
   
 <h4>Translated from French by Ethan Munson</h4>  <h4>Translated from French by Ethan Munson</h4>
   
 <h4>Version of June, 1999</h4>  <h4>Version of July 3, 1999</h4>
 <p>  <p>
 &copy; 1996 INRIA</p>  &copy; 1996 INRIA</p>
 <hr>  <hr>
Line 3730  rules are considered to be the default r Line 3730  rules are considered to be the default r
    HorizOverflow: No;     HorizOverflow: No;
    Size:          Enclosing =;     Size:          Enclosing =;
    Style:         Enclosing =;     Style:         Enclosing =;
      Weight:        Enclosing =;
    Font:          Enclosing =;     Font:          Enclosing =;
    Underline:     Enclosing =;     Underline:     Enclosing =;
    Thickness:     Enclosing =;     Thickness:     Enclosing =;
Line 4574  rules are terminated by a semicolon.</p> Line 4575  rules are terminated by a semicolon.</p>
                 'Size'  ':'         SizeInherit /                  'Size'  ':'         SizeInherit /
                 'Font' ':'          NameInherit /                  'Font' ':'          NameInherit /
                 'Style' ':'         StyleInherit /                  'Style' ':'         StyleInherit /
                   'Weight' ':'        WeightInherit /
                 'Underline' ':'     UnderLineInherit /                  'Underline' ':'     UnderLineInherit /
                 'Thickness' ':'     ThicknessInherit /                  'Thickness' ':'     ThicknessInherit /
                 'Depth' ':'         NumberInherit /                  'Depth' ':'         NumberInherit /
Line 5753  between the sizes of the different eleme Line 5755  between the sizes of the different eleme
 <p>  <p>
 The <tt>Font</tt> rule determines the font family to be used to display the  The <tt>Font</tt> rule determines the font family to be used to display the
 characters contained in the box, while the <tt>Style</tt> rule determines  characters contained in the box, while the <tt>Style</tt> rule determines
 their style.  Thot recognizes three character fonts (Times, Helvetica, and  their style and the <tt>Weight</tt> rule determines their weight.  Thot
 Courier) and six styles: Roman, Italics, Bold, BoldItalics, Oblique, and  recognizes three character fonts (Times, Helvetica, and Courier), three
 BoldOblique.</p>  styles: Roman, Italics, and Oblique, and two weights: Normal and Bold.</p>
 <p>  <p>
 The font family and style can specified by a named constant or can be  The font family, style and weight can be specified by a named constant or
 inherited.  For the name of the font family only the first character is  can be inherited.  For the name of the font family only the first character
 used.</p>  is used.</p>
 <p>  <p>
 Only identical inheritance is allowed: the box takes the same font or style as  Only identical inheritance is allowed: the box takes the same font, style or
 the box from which it inherits.  This is indicated by an equals sign after the  weight as the box from which it inherits.  This is indicated by an equals
 kinship specification.</p>  sign after the kinship specification.</p>
   <pre>               'Font' ':'          NameInherit /
                  'Style' ':'         StyleInherit /
                  'Weight' ':'        WeightInherit /
   
   NameInherit   = Kinship '=' / FontName .
   FontName      = NAME .
   StyleInherit  = Kinship '=' /
                   'Roman' / 'Italics' / 'Oblique' .
   WeightInherit = Kinship '=' /
                   'Normal' / 'Bold' .</pre>
 <blockquote class="example">  <blockquote class="example">
 <p>  <p>
 <strong>Example:</strong></p>  <strong>Example:</strong></p>
Line 8816  PresParam       = 'VertRef' ':' HorizPos Line 8828  PresParam       = 'VertRef' ':' HorizPos
                   'Size'  ':' SizeInherit /                    'Size'  ':' SizeInherit /
                   'Font' ':' NameInherit /                    'Font' ':' NameInherit /
                   'Style' ':' StyleInherit /                    'Style' ':' StyleInherit /
                     'Weight' ':' WeightInherit /
                   'Underline' ':' UnderLineInherit /                    'Underline' ':' UnderLineInherit /
                   'Thickness' ':' ThicknessInherit /                    'Thickness' ':' ThicknessInherit /
                   'Depth' ':' NumberInherit /                    'Depth' ':' NumberInherit /
Line 8931  PercentSize     = NUMBER . Line 8944  PercentSize     = NUMBER .
 NameInherit     = Kinship '=' / FontName .  NameInherit     = Kinship '=' / FontName .
 FontName        = NAME .  FontName        = NAME .
 StyleInherit    = Kinship '=' /  StyleInherit    = Kinship '=' /
                   'Roman' / 'Bold' / 'Italics' /                     'Roman' / 'Italics' / 'Oblique' .
                   'BoldItalics' / 'Oblique' / 'BoldOblique' .  WeightInherit   = Kinship '=' /
                     'Normal' / 'Bold' .
 UnderLineInherit= Kinship '=' /  UnderLineInherit= Kinship '=' /
                   'NoUnderline' / 'Underlined' /                     'NoUnderline' / 'Underlined' / 
                   'Overlined' / 'CrossedOut' .                    'Overlined' / 'CrossedOut' .

Removed from v.1.22  
changed lines
  Added in v.1.23


Webmaster