% Slides.Style % last written by Horning, August 31, 1982 11:06 am BeginStyle (BasicPrint) AttachStyle % General declarations (bp) "big point" {72.0 .div in} StyleRule (BasicSize) % normal type font size 14 bp .def (BasicIncrement) % normal type font size change 2 bp .def (ExtraLead) % normal between-lines leading 4 bp .def (CodeIndent) % normal amount to indent nested code nodes 15 bp .def (FontFamily) "main font" { "Helvetica" family } StyleRule (BodyFontFamily) "screen font" { "Tioga" family } ScreenRule (BodyFontFamily) "print font" { "Helvetica" family } PrintRule (AlternateFontFamily) "other font" { "TimesRoman" family } StyleRule (DoubleIncrement) % double type font size change BasicIncrement BasicIncrement .add .def (DoubleSize) % twice basic font size BasicSize BasicSize .add .def (LargeSize) % large font size BasicSize BasicIncrement .add .def (XLSize) % large font size BasicSize DoubleIncrement .add .def (BasicLeading) % normal type leading BasicSize ExtraLead .add .def (LooseLeading) % normal type leading BasicLeading ExtraLead .add .def (MoreLead) % double inter-paragraph spacing ExtraLead 3 .mul .def (BreakSize) % normal inter-paragraph spacing BasicLeading MoreLead .add .def (BreakPlus) % extra inter-paragraph spacing BreakSize ExtraLead .add .def (DoubleBreak) % twice inter-paragraph spacing BreakSize MoreLead .add .def (TripleBreak) % triple inter-paragraph spacing DoubleBreak MoreLead .add .def (QuadBreak) % quadruple inter-paragraph spacing TripleBreak MoreLead .add .def (Nest) "display nesting level" { DoubleSize bigger leftIndent } StyleRule % Looks (look.a) "annotation font" { +bold face BasicSize size FontFamily} StyleRule (look.b) "bold font" { +bold face} StyleRule (look.c) "Cedar comments" { +italic face} StyleRule (look.d) "down for subscript -- not yet implemented on screen" { BasicIncrement .neg vShift BasicIncrement smaller size} StyleRule (look.e) "emphasis" { +italic face} StyleRule (look.f) "fixed-pitch font" { "Gacha" family} StyleRule (look.g) "Greek" { "Hippo" family} StyleRule (look.i) "italic" { +italic face} StyleRule (look.k) "Cedar keywords" { BasicIncrement smaller size FontFamily} StyleRule (look.l) "larger font" { BasicIncrement bigger size} StyleRule (look.m) "Math font" { "Math" family} StyleRule (look.n) "Cedar procedure names" { +bold face} StyleRule (look.o) "other font" { AlternateFontFamily} StyleRule (look.p) "plain font -- override node format" { BasicSize size FontFamily} StyleRule (look.r) "regular face -- override node format" { regular face} StyleRule (look.s) "smaller font" { BasicIncrement smaller size} StyleRule (look.t) "Tioga font" { 10 bp size "Tioga" family} StyleRule (look.u) "up, for superscript -- not yet implemented on screen" { DoubleIncrement vShift BasicIncrement smaller size} StyleRule (look.x) "extra large" { DoubleIncrement bigger size} StyleRule (look.z) "z -- arbitrary for underlined -- not yet implemented" { +italic face } StyleRule % Formats (standard) "shared by various formats" { isComment {italic face}{regular face} .ifelse .cvx .exec caps+lowercase alphabets BasicSize size BasicLeading leading BasicLeading MoreLead 0 topLeadingGlue BasicLeading MoreLead 0 bottomLeadingGlue 20 pageBreakAfterFirstLinePenalty 20 pageBreakBeforeLastLinePenalty 0 pageBreakPenalty flushLeft lineFormatting 0 em firstIndent 0 em restIndent the size MoreLead .add topIndent 15 sp tabStops } StyleRule (docStandard) "shared by various text formats" { standard FontFamily nestingLevel 2 .gt {Nest} .cvx .if } StyleRule (default) "almost the same as code" { code 0 restIndent the size 1 .add topIndent 4 sp tabStops } StyleRule (code) "for ordinary Cedar program statements" { standard "Tioga" family 10 bp size nestingLevel 1 .eq .not {CodeIndent bigger leftIndent} .cvx .if CodeIndent 3 .mul restIndent } StyleRule (unit) "for procedure and other major program nodes" { code BreakSize MoreLead 0 topLeadingGlue } StyleRule (body) "for ordinary paragraphs" { docStandard regular face BreakSize MoreLead 0 topLeadingGlue 10 pageBreakPenalty justified lineFormatting } StyleRule (center) "for centered paragraphs" { body centered line.formatting } StyleRule (continuation) "for continuation of broken paragraph" { docStandard regular face 20 pageBreakPenalty justified lineFormatting } StyleRule (display) "displayed equations, etc. embedded in text" { body BreakSize MoreLead 0 bottomLeadingGlue DoubleSize bigger leftIndent } StyleRule (example) "default type for examples embedded in text" { code DoubleSize bigger leftIndent } StyleRule (head) "for section headings at any level" { nestingLevel 4 .gt {head5} % do head5 if nestingLevel is greater than 4 {{ head1 head1 head1 head2 head3 } nestingLevel .aget .cvx .exec} .ifelse .cvx .exec } StyleRule (head1) "for top-level section headings" { docStandard FontFamily bold face XLSize size BreakPlus leading DoubleBreak BasicSize MoreLead topLeadingGlue BreakPlus BasicSize MoreLead bottomLeadingGlue 100 pageBreakAfterLastLinePenalty } StyleRule (head2) "for sub-section headings" { docStandard XLSize size BreakSize leading DoubleBreak BasicSize MoreLead topLeadingGlue BreakPlus BasicSize MoreLead bottomLeadingGlue 75 pageBreakAfterLastLinePenalty } StyleRule (head3) "for sub-sub-section headings" { docStandard LooseLeading leading BreakPlus BasicSize MoreLead topLeadingGlue BreakPlus BasicSize MoreLead bottomLeadingGlue 50 pageBreakAfterLastLinePenalty } StyleRule (head4) "for sub-sub-sub-section headings" { docStandard italic face BreakSize leading BreakPlus BasicSize MoreLead topLeadingGlue BreakSize BasicSize MoreLead bottomLeadingGlue 25 pageBreakAfterLastLinePenalty } StyleRule (head5) "for sub-sub-sub-sub-section headings" { head4 } StyleRule (indent) "for indented paragraphs" { body DoubleSize bigger leftIndent } StyleRule (item) "for definitions, etc." { indent BasicSize 3 .mul restIndent LooseLeading ExtraLead 0 topLeadingGlue } StyleRule (lead1) "more lead, to space out or provide for larger type, superscripts, . . ." { body BreakSize ExtraLead .add MoreLead 0 topLeadingGlue ExtraLead bigger leading } StyleRule (lead2) "even more lead, . . ." { body BreakSize ExtraLead 2 .mul .add MoreLead 0 topLeadingGlue ExtraLead 2 .mul bigger leading } StyleRule (lead3) "still more lead, . . ." { body BreakSize ExtraLead 3 .mul .add MoreLead 0 topLeadingGlue ExtraLead 3 .mul bigger leading } StyleRule (logo) "for Xerox logo" { "Logo" family 24 pt size 24 bp topIndent -0.75 in leftIndent 48 20 5 topLeadingGlue 72 20 5 bottomLeadingGlue 75 pageBreakAfterLastLinePenalty } PrintRule (logo) "Xerox logo: screen" { "Logo" family 24 pt size 36 bp topIndent 48 pt topLeading 72 pt bottomLeading } ScreenRule (memoHead) "for the To, From, Subject nodes at front of memos" { standard regular face BodyFontFamily 0 firstIndent 2 em restIndent LooseLeading 2 .mul topLeading 16 pt topIndent LooseLeading bottomLeading 20 sp tabStops } StyleRule (note) "for fine points" { quote BasicIncrement smaller size BasicIncrement smaller topLeading BasicIncrement smaller leading } StyleRule (pageBreak) "to force a new page" { standard 0 pt 1 fill 0 pt topLeadingGlue 1 fill 0 pt 0 pt bottomLeadingGlue } PrintRule (pageBreak) "to force a new page" { standard } ScreenRule (quote) "for quotations and other displays" { body DoubleSize bigger leftIndent } StyleRule (reference) "an item in a reference list" { body DoubleSize restIndent LooseLeading ExtraLead 0 topLeadingGlue } StyleRule (root) "default type for root nodes" { docStandard .5 in topMargin .8 in headerMargin .5 in footerMargin .5 in bottomMargin 72 pt leftMargin 72 pt rightMargin 468 pt lineLength 24 pt topIndent 24 pt topLeading 0 leftIndent 10 pt rightIndent } StyleRule (table) "sets TABs for kludge tables" { body 15 pageBreakPenalty 40 sp tabStops } StyleRule (table1) "for more columns" { table 30 sp tabStops } StyleRule (table2) "for more columns" { table 25 sp tabStops } StyleRule (table3) "for more columns" { table 20 sp tabStops } StyleRule (title) "for title nodes" { head DoubleBreak leading DoubleBreak BasicSize MoreLead topLeadingGlue DoubleBreak BasicSize MoreLead bottomLeadingGlue 200 pageBreakAfterLastLinePenalty 0 firstIndent 0 restIndent centered lineFormatting } StyleRule (subtitle) "for subtitle nodes" { title DoubleIncrement smaller size } StyleRule EndStyle Κ !– "Style" style˜Iheader˜K˜3ruledef˜ LšœΟc œ ˜K˜—˜šœœ ˜J˜—šœ œ˜#Jšœ ˜ —šœœ!˜0Jšœ ˜ —šœ œ ˜*Jšœ ˜ —šœ œ-˜8Jšœ ˜ —Lšœ œ.˜9Lšœœ-˜Lšœœ0˜Dšœœ ˜0Jšœ'˜'—šœ œ˜$Jšœ˜—šœ œ˜Jšœ"˜"—šœœ˜Jšœ#˜#—šœ œ˜$Jšœ˜—šœ œ˜$Jšœ ˜ —šœœ"˜+Jšœ˜—šœ œ"˜,Jšœ˜—šœ œ!˜+Jšœ˜—šœ œ!˜-Jšœ˜—šœ œ"˜.Jšœ˜—šœ œ%˜/Jšœ˜—LšœœE˜JL˜—˜šœœœ˜Jšœ0˜0—šœœœ ˜Jšœ˜—šœœ œ ˜Jšœ˜—šœœœ5˜@Jšœ˜Jšœ&˜&—šœœœ ˜Jšœ˜—šœœœ˜Jšœ˜—šœœœ˜Jšœ˜—šœœœ˜Jšœ˜—šœœ œ ˜Jšœ˜Jšœ˜—šœœœ ˜Jšœ%˜%—šœœœ ˜Jšœ˜—šœœœ˜"Jšœ˜—šœœœ ˜Jšœ˜—šœœœ$˜/Jšœ%˜%—šœœœ&˜1Jšœ˜—šœœœ˜Jšœ&˜&—šœœœ ˜Jšœ$˜$—šœœœ6˜AJšœ˜Jšœ&˜&—šœœœ ˜Jšœ&˜&—šœœ œ˜AJšœ˜—L˜—˜ šœœ˜(J˜8J˜J˜J˜Jšœ&˜&Jšœ)˜)Jšœ!˜!Jšœ!˜!Jšœ˜J˜Jšœ˜Jšœ˜Jšœ ˜ Jšœ˜J˜ —šœ œ$˜0J˜J˜ Jšœ"˜"J˜ —šœœ˜%Jšœ˜Jšœ ˜ J˜J˜ Jšœ ˜ —šœœ+˜0J˜J˜Jšœ?˜?Jšœ˜Jšœ ˜ —šœœ1˜6J˜Jšœ/˜/—šœœ˜"Jšœ ˜ J˜ Jšœ#˜#Jšœ˜Jšœ$˜$—šœœ˜$J˜Jšœ˜Jšœ ˜ —šœ œ*˜7Jšœ ˜ J˜ Jšœ˜Jšœ$˜$—šœœ0˜8J˜Jšœ&˜&Jšœ(˜(—šœœ0˜8J˜Jšœ(˜(—šœœ'˜,˜GJ˜T—J˜ —šœœ$˜*Jšœ ˜ Jšœ ˜ J˜ Jšœ ˜ Jšœ˜Jšœ-˜-Jšœ.˜.Jšœ!˜!J˜ —šœœ˜$Jšœ ˜ Jšœ ˜ Jšœ˜Jšœ-˜-Jšœ.˜.Jšœ ˜ J˜ —šœœ"˜(Jšœ ˜ Jšœ˜Jšœ+˜+Jšœ.˜.Jšœ ˜ J˜ —šœœ&˜,Jšœ ˜ J˜ Jšœ˜Jšœ+˜+Jšœ.˜.Jšœ ˜ Jšœ ˜ —Lšœœ<˜Bšœœ˜$J˜Jšœ˜Jšœ ˜ —šœœ˜ Jšœ˜Jšœ˜Jšœ3˜3—šœœM˜SJ˜Jšœ2˜2Jšœ$˜$—šœœ˜!J˜Jšœ9˜9Jšœ+˜+—šœœ˜"J˜Jšœ9˜9Jšœ+˜+—šœœ˜J˜ J˜ Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ ˜ Jšœ ˜ —šœœ˜J˜ J˜ Jšœ˜Jšœ˜Jšœ˜J˜ —šœœ7˜@Jšœ˜Jšœ ˜ Jšœ˜Jšœ ˜ Jšœ˜J˜J˜Jšœ˜J˜Jšœ ˜ —šœœ˜J˜Jšœ˜Jšœ!˜!Jšœ*˜*—šœ œ˜#J˜Jšœ˜Jšœ.˜.—šœ œ˜#J˜Jšœ ˜ —šœœ'˜-J˜Jšœ(˜(—šœ œ!˜+J˜Jšœ˜Jšœ'˜'Jšœ ˜ —šœœ!˜&Jšœ ˜ J˜J˜J˜J˜J˜J˜#Jšœ˜Jšœ˜J˜ Jšœ˜Jšœ ˜ —šœœ!˜'Jšœ˜Jšœ˜Jšœ˜—šœœ˜J˜Jšœ˜—šœœ˜J˜Jšœ˜—šœœ˜J˜Jšœ˜—šœœ˜J˜Jšœ˜Jšœ-˜-Jšœ0˜0Jšœ!˜!Jšœ ˜ Jšœ ˜ Jšœ˜J˜ —šœœ˜!Jšœ˜Jšœ˜Jšœ ˜ ——L˜J˜—…—  )Η