% Document.Style
% last written by Paxton, June 23, 1982 10:32 am
BeginStyle
(BasicLooks) AttachStyle
(BasicPrint) AttachStyle
(step) "increase indent: screen rule"
{ 14 pt } ScreenRule
(step) "increase indent: print rule"
{ 10 pt } PrintRule
(title) "for title nodes" {
"TimesRoman" family
bold face
18 bp size
20 bp top.indent
55 20 5 top.leading.glue
55 20 5 bottom.leading.glue
100 page.break.after.last.line.penalty
step bigger left.indent
0 first.indent
0 rest.indent
centered line.formatting
} StyleRule
(subtitle) "for subtitle nodes" {
title
10 bp size
12 bp top.indent
} StyleRule
(default) "default type for nodes" { % does paragraph indent
standard
} StyleRule
(def) "item definition" { % does hanging indent
standard
0 first.indent
2 em rest.indent
} StyleRule
(headerCommon) "header" { % for stuff at start of document
standard
0 first.indent
2 em rest.indent
14 pt leading
14 pt topLeading
16 pt topIndent
36 pt bottomLeading
} StyleRule
(header) "header" { % for stuff at start of document
headerCommon
20 sp tabStops
} PrintRule
(header) "header" { % for stuff at start of document
headerCommon
20 sp tabStops
} ScreenRule
(section) "section headings" {
"TimesRoman" family
bold face
step bigger left.indent
14 bp size
16 bp top.indent
25 20 5 top.leading.glue
23 20 5 bottom.leading.glue
100 page.break.after.last.line.penalty
0 first.indent
0 rest.indent
} StyleRule
(logo) "Xerox logo: print" {
"Logo" family
24 pt size
24 bp top.indent
-0.5 in left.indent
36 20 5 top.leading.glue
72 20 5 bottom.leading.glue
75 page.break.after.last.line.penalty
} PrintRule
(logo) "Xerox logo: screen" {
"Logo" family
24 pt size
36 bp top.indent
36 pt top.leading
72 pt bottom.leading
step bigger left.indent
} ScreenRule
(ssection) "sub-section headings: print" {
section
"Tioga" family
12 bp size
italic face
14 bp top.indent
20 20 5 top.leading.glue
20 20 5 bottom.leading.glue
75 page.break.after.last.line.penalty
} PrintRule
(ssection) "sub-section headings: screen" {
section
12 bp size
14 bp top.indent
italic face
23 pt top.leading
23 pt bottom.leading
} ScreenRule
(sub) "sub-sub-section headings" {
section
italic face
20 20 5 top.leading.glue
20 20 5 bottom.leading.glue
50 page.break.after.last.line.penalty
} StyleRule
(sssection) "sub-sub-section headings: screen" {
sub
"Tioga" family
10 bp size
20 pt top.leading
20 pt bottom.leading
} ScreenRule
(sssection) "sub-sub-section headings: print" {
sub
"TimesRoman" family
10 bp size
16 16 4 top.leading.glue
16 16 4 bottom.leading.glue
50 page.break.after.last.line.penalty
} PrintRule
(table0) "for wide first column tables" {
default
40 pt tab.stops
} ScreenRule
(table0) "for wide first column tables" {
default
15 page.break.penalty
40 pt tab.stops
} PrintRule
(table1) "for 2 column tables" {
default
30 pt tab.stops
} ScreenRule
(table1) "for 2 column tables" {
default
15 page.break.penalty
30 sp tab.stops
} PrintRule
(table2) "for 3 column tables" {
default
20 sp tab.stops
} ScreenRule
(table2) "for 3 column tables" {
default
20 sp tab.stops
15 page.break.penalty
} PrintRule
(look.e) "emphasis" {
+italic face } StyleRule
(look.t) "Tioga font" {
"Tioga" family
10 bp size } StyleRule
(look.s) "smaller font" {
"TimesRoman" family
8 bp size } StyleRule
(look.l) "larger font" {
"TimesRoman" family
12 bp size } StyleRule
(look.x) "extra large" { 
"TimesRoman" family
14 bp size } StyleRule
(look.m) "math font" {
"Math" family
10 bp size } StyleRule
(look.g) "Greek font" {
"Hippo" family
10 bp size } StyleRule
(look.h) "Helvetica 10 font" {
"Helvetica" family
10 bp size } StyleRule
(look.k) "Helvetica 8 font" {
"Helvetica" family
8 bp size } StyleRule
(look.f) "Gacha font -- f for fixed" {
"Gacha" family
10 bp size } StyleRule
(look.u) "underlined" { % not implemented yet
} StyleRule
(basic) "set up standard font, etc." {
regular face
caps+lowercase alphabets
justified line.formatting
0 em first.indent
0 em rest.indent
step bigger left.indent
} StyleRule
(standard) "basic for screen" {
basic
"Tioga" family
10 bp size
13 pt leading
18 pt top.leading
18 pt bottom.leading
} ScreenRule
(standard) "basic for print" {
basic
"TimesRoman" family
10 bp size
11 pt leading
14 pt top.indent
18 4 0 top.leading.glue
18 4 0 bottom.leading.glue
20 page.break.after.first.line.penalty
20 page.break.before.last.line.penalty
0 page.break.penalty
} PrintRule
(root) "default type for root nodes" {
standard
10 pt top.indent
24 pt top.leading
step .neg .1 in .add left.indent
10 pt right.indent
16 sp tab.stops
} StyleRule
EndStyle