% StolfiTest.Style % last written by Plass, July 14, 1982 9:44 am % last written by Ramshaw, February 2, 1984 9:18 am % last changed by Stolfi, April 17, 1984 6:46:13 pm PST BeginStyle (BasicLooks) AttachStyle (BasicPrint) AttachStyle % Looks (look.c) "Comments" {+italic face "TimesRoman" family 12 bp size} StyleRule % Types (indent) 0.2 in .def (NormalFont) "print font" { "AMTEX" family 10 bp size} PrintRule (NormalFont) "screen font" { "///StolfiCTeX" family 12 bp size } ScreenRule (CommentFont) "font for comments" {+italic face "TimesRoman" family 12 bp size } StyleRule (default) "default type for nodes" { regular face isComment {CommentFont}{NormalFont} .ifelse .cvx .exec caps+lowercase alphabets 16 pt topIndent 16 pt topLeading 14 pt leading indent bigger leftIndent flushLeft lineFormatting 4 sp tabStops } StyleRule (root) "default type for root nodes" { -0.1 leftIndent } StyleRule EndStyle Κ–"stolfitex" style˜JšœΟc˜Jšœ.˜/Jšœ3˜4Jšœ6˜7J˜J˜ ˜J˜J˜—J˜Jšœ˜˜JšœN˜N—J˜Jšœ˜˜Jšœ˜J˜JšœB˜BJšœM˜MJ˜Jšœ\˜\J˜šœ$˜$Jšœ ˜ Jšœ6˜6Jšœ˜Jšœ˜Jšœ˜Jšœ ˜ Jšœ˜Jšœ˜Jšœ ˜ —Jšœ ˜ J˜JšœB˜B—J˜Jšœ˜—…—¦Ό