% 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