% StolfiTEX.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, February 27, 1984 4:05:42 pm PST BeginStyle (BasicLooks) AttachStyle (BasicPrint) AttachStyle % Looks (look.c) "Comments" {+italic face "TimesRoman" family} StyleRule % Types (indent) 0.3 in .def (NormalFont) "print font" { "AMTEX" family } PrintRule (NormalFont) "screen font" { "/Indigo/AltoFonts/AMTeX" 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 10 bp size 10 pt topIndent 14 pt topLeading 12 pt leading indent bigger leftIndent flushLeft lineFormatting 6 sp tabStops } StyleRule (root) "default type for root nodes" { indent 2.0 .div .neg leftIndent } StyleRule EndStyle Κφ–"stolfitex" style˜J˜J˜/J˜4J˜:J˜J˜ ˜J˜J˜—J˜J˜˜Jšœ@˜@—J˜Jšœ˜˜Jšœ˜J˜Jšœ6˜6JšœJ˜JJ˜JšœO˜OJ˜šœ$˜$Jšœ ˜ Jšœ6˜6Jšœ˜Jšœ ˜ Jšœ˜Jšœ˜Jšœ ˜ Jšœ˜Jšœ˜Jšœ ˜ —Jšœ ˜ J˜JšœR˜R—J˜Jšœ˜—…—˜”