% 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