Merge commit '20080207' into HEAD

[ion3-doc.git] / ionconf / node5.html

diff --git a/ionconf/node5.html b/ionconf/node5.html
index 3279d96892c57ec0438d9ce62990e8a6405e4911..dc5874a2a7283ac1292f525d322d757425505d28 100644 (file)
--- a/ionconf/node5.html
+++ b/ionconf/node5.html
@@ -128,7 +128,7 @@ user attributes are explained in Sections <A HREF="#sec:grmisc">4.3</A>.
 <P>
 
 <H2><A NAME="SECTION00510000000000000000"></A>
-<A NAME="sec:engines"></A><A NAME="1903"></A><A NAME="1904"></A>
+<A NAME="sec:engines"></A><A NAME="1972"></A><A NAME="1973"></A>
 <BR>
 <SPAN CLASS="arabic">4</SPAN>.<SPAN CLASS="arabic">1</SPAN> Drawing engines, style specifications and sub-styles
 </H2>
@@ -180,7 +180,7 @@ specified, also in the form
 <PRE>
 attr1-attr2-...-attrn
 </PRE>
-These extra attributes are called <SPAN  CLASS="textit">substyles</SPAN><A NAME="1916"></A>
+These extra attributes are called <SPAN  CLASS="textit">substyles</SPAN><A NAME="1985"></A>
 and allow, for example, the state of the object to be indicated 
 by  different colour sets while keeping the interface at an 
 abstract level and the drawing engine completely ignorant 
@@ -424,7 +424,7 @@ border elements and styles referred to there are explained in Figure
 
 <P>
 
-<DIV ALIGN="CENTER"><A NAME="fig:borders"></A><A NAME="2017"></A>
+<DIV ALIGN="CENTER"><A NAME="fig:borders"></A><A NAME="2086"></A>
 <TABLE>
 <CAPTION ALIGN="BOTTOM"><STRONG>Figure 4.1:</STRONG>
 Sketch of different border styles and elements</CAPTION>
@@ -694,7 +694,7 @@ engine configuration file.
 <TD ALIGN="LEFT">Maximum tab-bar width quotient of
        frame width for the shaped styles. A number in the 
        interval <SPAN CLASS="MATH"><IMG
- WIDTH="42" HEIGHT="36" ALIGN="MIDDLE" BORDER="0"
+ WIDTH="41" HEIGHT="36" ALIGN="MIDDLE" BORDER="0"
  SRC="img3.png"
  ALT="$(0, 1]$"></SPAN>.</TD>
 </TR>