fill
color, and &lsquo;color&rsquo; sets both.
Example:</font></p>


<p style="margin-left:3%; margin-top: 1em"><font color="#000000"><tt>circle
shaded &quot;green&quot; outline &quot;black&quot;
;</tt></font></p>

<p style="margin-top: 1em"><font color="#000000">Filled
arrows always use the outline color for filling.</font></p>

<p style="margin-top: 1em"><font color="#000000">Color
support for TeX output is not implemented yet.
</li></font></p> </ul>

<p><font color="#000000">Pic2graph</font></p><ul>

<p>