it provides the ratio between these sizes \item[\gn{\$FIGURE\_SCALE\_FACTOR}] magnification factor to be used with images of whole \env{figure} and \env{table} environments \item[\gn{\$FILE}] holds the name of the \texttt{HTML} output of the top-most page in a document, when vital links are to be established \item[\gn{\$FOILCLASS}] The document class that is substituted for \texttt{foils} in the \texttt{images.
(vital links; to be established; ) ($FOILCLASS}] The document class; is substituted; for \texttt; L:in the \texttt) ($FILE; holds; the name of the \texttt{HTML} output of the top-most page in a document) Context($ FILE holds,List([184, 197))):(it; provides; the ratio between these sizes) Context(it provides $ FILE holds,List([0, 197))):(environments; \item; ) (vital links; are; to be established)
$ FILE holds,List([184, 197)) it provides $ FILE holds,List([0, 197))
vital links $FOILCLASS}] The document class $FILE it environments vital links
to be established is substituted holds provides \item are
for \texttt L:in the \texttt
the name of the \texttt{HTML} output of the top-most page in a document
the ratio between these sizes
to be established