yacc + lex
4.4 Standard Galley Properties
PageHeading PageFooting
This section describes the properties of the standard galleys that are made available by default in the current version of Mint. In order to simplify the description, I introduce several collections of procedure families, font families, prefixes and styles before showing in section 4.4.5 how each of the galleys is composed. See section 4.3 for a description of procedure families and font families, section 4.21 for a description of prefixes, and section 4.4.4 for a description of galley styles.
The current version of Mint uses five galleys - the rna in galley, into which most of the document is placed; the footnotes galley, which is used to receive footnotes; the annotat ions galley, which receives annotations; the oddsandsods galley, which receives page layout information; and the contents galley which receives the table of contents. At present DP and Plot drawings go into the main galley.
4.4.1 Procedure families
TIle following procedure collections are defined. The· name of the environment is followed by the procedure indicator and environment indicator that the environment uses. See section 4.3.2 for the meanings of these terms.
4.4.1.1 Terminal procedures Align
Centre Default Display DP Exa.mpl e FlushLeft
BoxStandardO BoxStandardO BoxStandardO BoxStandardO BoxStandardO BoxStandardO BoxStandardO
EnvAlignO EnvCentreO EnvDefaultO EnvDisplayO EnvDPO EnvExampleO EnvFlushLeftO
Format
4.4.1.6 Title page procedures Abstract
BoxStandardO Env Pl otO BoxStandardO EnvProgramExO
TitlePage TitleBox
4.4.1.7 Document type procedures Article
The following font collections are defined.
EnvTitlePageO
Face
-Gacha9 TimesRoman12b TimesRoman14
- -
-- -
-Gacha9 Gacha12
-- -
--
--Table 2. Dover fonts 0 (Main galley) Font size
5 n 1
TimesRomanS TimesRomanlO TimesRomanll TimesRomanSi TimesRomanlOi
-TimesRoman8b TimesRomanlOb TimesRomanllb
-
CapsFonta)--
HippolO-Gacha8 GachalO
--
TimesRomanlObi--
ZFontlO-a) This is constructed from TimesRomanlO and TimesRoman8.
Table 3. Perq fonts 1 (Annotations and Footnotes galleys)
Face Font size
-Table 4. Dover fonts 1 (Annotations and Footnotes galleys)
Face Font size
code ss s· n 1
r - TimesRoman6 TimesRornan8
-i - TimesRornan6i TimesRoman8i
-b - TimesRoman6b TimesRomanSb
-c
-
--
-Face
Table 5. Perq fonts 2 (OddsandSods galley) Font size
ss s n 1
- Gacha9 TimesRoman12
-- -
TimesRoman12i-Table 6. Dover fonts 2 (OddsandSods galley) Font size
ss s n 1
-
TimesRoman8 TimesRomanlO-- -
TimesRomanlOiTimesRoman12 TimesRoman12 TimesRoman14 TimesRoman18
- - -
--
Gacha9 TimesRoman12b TimesRoman14- - -
-- - -
-- -
TimesRoman14-- - -
--
- -
-Table 8. Dover fonts 3 (Slides Main galley) Font size
ss s n 1
Helvetica12 Helvetica14 Helvetica18
-- Helvetica14i Helvetica18i
--
Helvetica14b Helvetica18b Helveticad24- - -
-Face code
Table 9.
ss
Perq fonts 4 (Slides OddsandSods galley)
Font size
s n 1 11
r TimesRoman12 TimesRoman12 TimesRoman14 TimesRoman18 TimesRoman18
i -
- - -
-b -
- - -
-c -
- - -
-9
- -
--
-t
- - - -
-p -
- - -
-z -
- - -
-Table 10. Dover fonts 4 (Slides OddsandSods galley)
Face Font size
code ss s n '1 11
r Helvetica12 Helvetica12 Helvetica14 Helvetica18 Helvetica18
i -
- - -
-b
- - - -
-c
- - - -
-9
- - - -
-t
- -
--
-p
- - -
--z
-
- - --4.4.3 Prefixes and postfixes
These are collected into the following. See section 4.21 for a description of these prefixes and postfixes.
4.4.3.1 PrefixesOChapters Chapter
SubSection Appendix
PrefixChapterO PrefixSubSectionO PrefixAppendixO 4.4.3.2 PrefixeslChapters
Section Paragraph AppendixSection
PrefixSectionO PrefixParagraphO Pref1xAppendixSecO
These are the same as for Pref;xesOChapters, expect that the Chapter prefix is Pref;xChapter1.
4.4.3.3 PrefixesOSections Section
Paragraph Append1xSection 4.4.3.4 PrefixesOItems
PrefixSectionO PrefixParagraphO Pref1xAppendixSecO
SubSection Appendix
PrefixSubSectionO PrefixAppend;xl
Figure PrefixFigureO altered when the document is made. See section 4.5.2.l for a description of their actions. The following two collections of style parameters are specified. Let XW i d t h be the width of the page on the target device, and
4.4.5 The galley parameters for the document types
4.4.5.1 Text, form 0
The following galleys, prefixes and postfixes are defined.
Main galley, invoked with Document
Procedures: Terminals + Headings + Itemizations + DocTypes Styles: Stylesl
FootNotes galley, invoked with MFoot Fonts: Fontsl
Procedures: Terminals + Itemizations + FootNotes Styles: StylesO
Annotations galley, invoked with MAnnotation Fonts: Fontsl
Procedures: Terminals + Itemizations + Annotations Styles: StylesO
OddsandSods galley, invoked with MOddsandSods Fonts: Fonts2
Procedures: Terminals + Miscellaneous Styles: Stylesl
Prefixes and postfixes
PrefixesOItems + PostfixesOTerminals
4.4.5.2 Text, form 1
Document type Text, form 1 is identical to Text, form 0 except that Styl esO is used for the main galley, instead of Styl as 1.
4.4.5.3 Report, form 0
The following galleys, prefixes and postfixes are defined.
Main galley, invoked with Document Fonts: FontsO
Procedures: Terminals + Headings + Chapters + Itemizations + TitleEnvs Styles: StylesO
FootNotes galley, invoked with MFoot Fonts: Fontsl
Procedures: Terminals + Itemizations + FootNotes Styles: StylesO
Annotations galley, invoked with MAnnotation Fonts: Fontsl
Procedures: Terminals + Itemizations + Annotations Styles: StylesO
OddsandSods galley, invoked with MOddsandSods Fonts: Fonts2
Procedures: Terminals + Miscellaneous Styles: StylesO
Contents galley, automatically invoked Fonts: FontsO
Procedures: Terminals + Headings + Itemizations + Contents Styles: StylesO
Prefixes and postfixes
PrefixesOChapters + PrefixesOItems + PrefixesOTitleEnvs + PostfixesOTerminals
4.4.5.4 Article, form 0
The following galleys, prefixes and postfixes are defined.
Main galley. invoked with Document Fonts: FontsO
Procedures: Terminals + Headings + Sections + Itemizations + TitleEnvs Styles: StylesO
Fo~tNotes galley, invoked with MFoot Fonts: Fontsl
Procedures: Terminals + Itemizations + FootNotes Styles: StylesO
Annotations galley, invoked with MAnnotation Fonts: Fontsl
Procedures: Terminals + Itemizations + Annotations Styles: StylesO
OddsandSods galley, invoked with MOddsandSods Fonts: Fonts2
Procedures: Terminals + Miscellaneous Styles: StylesO
Prefixes and postfixes
PrefixesOSections + PrefixesOItems + PrefixesOTitleEnvs + PostfixesOTerminals
4.4.5.5 Thesis, form 0
The following galleys, prefixes and postfixes are defined.
Main galley, invoked with Document Fonts: FontsO
Procedures: Terminals + Headings + Chapters + Itemizations + TitleEnvs Styles: StylesO
FootNotes galley, invoked with MFoot Fonts: Fontsl
Procedures: Terminals + Itemizations + FootNotes Styles: StylesO
Annotations galley, invoked with MAnnot~tion
Fonts: Fontsl
Procedures: Terminals + Itemizations + Annotations Styles: StylesO
OddsandSods galley, invoked with MOddsandSods Fonts: Fonts2
Procedures: Terminals + Miscellaneous Styles: StylesO
Contents galley, automatically invoked Fonts: FontsO
Procedures: Terminals + Headings + Itemizations + Contents Styles: StylesO
- Prefixes and postfixes
4.4.5.6 Slides, form 0
The following galleys, prefixes and postfixes are defined.
Main galley, invoked with Document Fonts: Fonts3
Procedures: Terminals + Headings + Itemizations Styles: Stylesl
OddsandSods galley, invoked with MOddsandSods Fonts: Fonts4
Procedures: Terminals + Miscellaneous Styles: Stylesl
Prefixes and postfiies
PrefixesOItems + PostfixesOTerminals
4.4.5.7 Manual, form 0
The following galleys, prefixes and postfixes are defined.
Main galley, invoked with Document Fonts: FontsO
Procedures: Terminals + Headings' + Chapters + Itemizations + TitleEnvs Styles: StylesO
FootNotes galley, invoked with MFoot Fonts: Fontsl
Procedures: Terminals + Itemizations + FootNotes Styles: StylesO
Annotations galley, invoked with MAnnotation Fonts: Fontsl
Procedures: Terminals + Itemizations + Annotations Styles: StylesO
OddsandSods galley, invoked with MOddsandSods Fonts: Fonts2
Procedures: Terminals + Miscellaneous Styles: StylesO
Contents galley,-automatically invoked Fonts: FontsO
Procedures: Terminals + Headings + Itemizations + Contents Styles: StylesO
Prefixes and postfixes
PrefixesOChapters + PrefixesOltems + PrefixesOTitleEnvs + PostfixesOTerminals
4.4.5.8 Manual, form 1
Document type Manu a 1, fo rm 1 is identical to Manua 1, fo rm 0 except that P ref i xe s lChapte rs is used for the main galley, instead ofP ref i xes OChapte rs.