% 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