% CedarDoc.Style% last written by Horning, June 8, 1982 4:55 pmBeginStyle(BasicLooks) AttachStyle(BasicPrint) AttachStyle% Looks(look.a) "annotation font" {+bold face  } StyleRule(look.d) "down, for subscript" {-4 pt vShift } StyleRule(look.e) "emphasis" {+italic face } StyleRule(look.g) "Greek" {"Hippo" family } StyleRule(look.k) "Cedar keywords" {2 bp smaller size } StyleRule(look.m) "Math" {"Math" family } StyleRule(look.n) "Cedar procedure names" {+bold face } StyleRule(look.s) "smaller font" {2 bp smaller size } StyleRule(look.t) "Tioga font" {"Tioga" family10 bp size } StyleRule(look.u) "up, for superscript" {4 pt vShift } StyleRule(indent) "amount to increase indent"{ 18 bp } StyleRule(title) "for title nodes" {"TimesRoman" familybold face18 bp size24 pt leading48 pt 20 pt 5 pt top.leading.glue24 pt 20 pt 5 pt bottom.leading.glue100 page.break.after.last.line.penaltyindent bigger left.indent0 first.indent0 rest.indentcentered line.formatting} StyleRule(subtitle) "for subtitle nodes" {title14 bp size24 pt 15 pt 5 pt top.leading.glue18 pt 10 pt 0 pt bottom.leading.glue} StyleRule(default) "default type for nodes" { % no paragraph indentstandard} StyleRule(def) "item definition" { % does hanging indentstandard0 first.indent.25 in rest.indent} StyleRule(section) "section headings" {"TimesRoman" familybold faceindent bigger left.indent14 bp size36 pt 15 pt 5 pt top.leading.glue18 pt 10 pt 0 pt bottom.leading.glue100 page.break.after.last.line.penalty36 bp top.leading18 bp bottom.leading0 first.indent2 em rest.indent} StyleRule(ssection) "sub-section headings" {section12 bp sizeitalic face30 pt top.leading18 pt bottom.leading30 pt 15 pt 5 pt top.leading.glue18 pt 10 pt 0 pt bottom.leading.glue75 page.break.after.last.line.penalty} StyleRule(sssection) "sub-sub-section headings" {sectionitalic face10 bp size20 pt top.leading20 pt bottom.leading20 20 5 top.leading.glue20 20 5 bottom.leading.glue50 page.break.after.last.line.penalty} StyleRule(table0) "for wide first column tables" {default14 bp top.leading15 page.break.penalty40 pt tab.stops} StyleRule(table1) "for 2 column tables" {default30 pt tab.stops15 page.break.penalty} StyleRule(table2) "for 3 column tables" {default20 pt tab.stops15 page.break.penalty} StyleRule(basic) "set up standard font, etc." {regular facecaps+lowercase alphabetsjustified line.formatting0 em first.indent0 em rest.indentindent bigger left.indent3 sp tab.stops} StyleRule(standard) "ordinary paragraph" {basic"TimesRoman" family10 bp size12 bp leading20 bp top.leading18 bp bottom.leading20 pt 4 pt 0 pt top.leading.glue18 pt 4 pt 0 pt bottom.leading.glue20 page.break.after.first.line.penalty20 page.break.before.last.line.penalty0 page.break.penalty} StyleRule(close) "unleaded paragraph" {basic"TimesRoman" family10 bp size12 bp leading12 bp top.leading12 bp bottom.leading12 pt 4 pt 0 pt top.leading.glue12 pt 4 pt 0 pt bottom.leading.glue20 page.break.after.first.line.penalty20 page.break.before.last.line.penalty10 page.break.penalty} StyleRule(root) "default type for root nodes" {standard10 pt top.indent24 pt top.leadingindent .neg leftIndent10 pt right.indent} StyleRuleEndStyle      ÊZ  –"Style" style˜ Iheader˜Kšœ/˜/Iruledefšœ
˜
LšœÏc
œ˜Lšœ˜L˜šœœÏbœ˜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˜—šœœ2˜: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˜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˜—L˜J˜ — …—    î  N  