% TEX.Style % last written by Plass, July 14, 1982 9:44 am % last changed by Stolfi, December 27, 1983 2:06 pm BeginStyle (BasicLooks) AttachStyle (BasicPrint) AttachStyle % Looks (look.c) "Comments" {+italic face "TimesRoman" family} StyleRule % Types (indent) 0.3 in .def (NormalFont) "print font" { "Sail" family } PrintRule (NormalFont) "screen font" { "/Indigo/AltoFonts/Sail" family } ScreenRule (CommentFont) "font for comments" {+italic face "TimesRoman" family } StyleRule (default) "default type for nodes" { regular face isComment {CommentFont}{NormalFont} .ifelse .cvx .exec caps+lowercase alphabets 12 bp size 10 pt topIndent 16 pt topLeading 14 pt leading indent bigger leftIndent flushLeft lineFormatting 8 sp tabStops } StyleRule (root) "default type for root nodes" { indent 2.0 .div .neg leftIndent } StyleRule EndStyle ÊߘJ˜ J˜/J˜3J˜J˜ ˜J˜J˜—J˜J˜˜Jšœ@˜@—J˜Jšœ˜˜Jšœ˜J˜Jšœ5˜5JšœI˜IJ˜JšœO˜OJ˜šœ$˜$Jšœ ˜ Jšœ6˜6Jšœ˜Jšœ ˜ Jšœ˜Jšœ˜Jšœ ˜ Jšœ˜Jšœ˜Jšœ ˜ —Jšœ ˜ J˜JšœR˜R—J˜Jšœ˜—…—T9