############################################################################### # # # coverheads # # # # Lout setup file for overheads, with C and C++ printing. # # # # Jeffrey H. Kingston # # 12 September 1994 # # # ############################################################################### ############################################################################### # # # @SysInclude commands for standard packages. # # # ############################################################################### @SysInclude { fontdefs } # font definitions @SysInclude { langdefs } # language definitions @SysInclude { dl } # DocumentLayout package @SysInclude { slidesf } # OverheadLayout extension # @SysInclude { tab } # @Tab table formatter # @SysInclude { eq } # @Eq equation formatter # @SysInclude { fig } # @Fig advanced graphics # @SysInclude { graph } # @Graph graph drawing @SysInclude { cprint } # @CPrint C and C++ programs # @SysInclude { pas } # @Pas Pascal programs ############################################################################### # # # @Include command for reading personal definitions from current directory. # # # ############################################################################### @Include { mydefs } ############################################################################### # # # The @DocumentLayout @Use clause - overall document format options. # # # # The following options are set below to these non-default values: # # # # @InitialFont { Times Base 20p } # # @InitialBreak { ragged 1.2fx nohyphen } # # @FootMargin { 5.00c } # # @PageHeaders { Titles } # # # # plus many of the page header options. # # # ############################################################################### @Use { @DocumentLayout @InitialFont { Times Base 16p } # initial font @InitialBreak { ragged 1.2fx nohyphen } # initial break # @InitialSpace { lout } # initial space style # @InitialLanguage { English } # initial language # @InitialColour { black } # initial colour # @OptimizePages { No } # optimize page breaks? # @HeadingFont { Bold } # font for @Heading # @ParaGap { 1.30vx } # gap between paragraphs # @ParaIndent { 2.00f } # first-line indent for @PP # @DisplayGap { 1.00v } # gap above, below displays # @DisplayIndent { 2.00f } # @IndentedDisplay indent # @DefaultIndent { 0.5rt } # @Display indent # @DisplayNumStyle { (num) } # style of display numbers # @WideIndent { 4.00f } # @WideTaggedList indent # @VeryWideIndent { 8.00f } # @VeryWideTaggedList indent # @ListGap { 1.00v } # gap between list items # @ListIndent { 0c } # indent of list items # @ListRightIndent { 0c } # right indent of list items # @ListLabelWidth { 2.00f } # width allowed for list tags # @PageType { A4 } # page type (width, height) # @PageWidth { } # page width if type Other # @PageHeight { } # page height if type Other @PageOrientation { Landscape } # Portrait, Landscape, etc. # @PageBackground { } # background of each page # @TopMargin { 2.50c } # top margin of all pages @FootMargin { 5.00c } # bottom margin of all pages # @OddLeftMargin { 2.50c } # left margin of odd pages # @OddRightMargin { 2.50c } # right margin of odd pages # @EvenLeftMargin { 2.50c } # left margin of even pages # @EvenRightMargin { 2.50c } # right margin of even pages # @PageBoxType { None } # None Box CurveBox ShadowBox # @PageBoxMargin { 1.00c } # page box margin # @PageBoxLineWidth { } # page box line thickness # @PageBoxPaint { none } # page box paint # @PageBoxShadow { 0.60c } # shadow margin if ShadowBox # @ColumnNumber { 1 } # number of columns (1 to 10) # @ColumnGap { 1.00c } # column gap # @FigureLocation { PageTop } # default figure location # @TableLocation { PageTop } # default table location # @FigureWord { figure } # "Figure" word else anything # @TableWord { table } # "Table" word else anything # @FigureNumbers { Arabic } # method of numbering figures # @TableNumbers { Arabic } # method of numbering tables # @FigureCaptionPos { Below } # Above or Below # @TableCaptionPos { Below } # Above or Below # @CaptionFont { } # figure, table caption font # @CaptionBreak { } # figure, table caption break # @MakeFigureContents { No } # list of figures at start # @MakeTableContents { No } # list of tables at start # @MakeContents { No } # make contents? Yes or No # @ContentsGap { 0.20v } # extra gap above minor entry # @ContentsGapAbove { 0.80v } # extra gap above major entry # @ContentsGapBelow { 0.00v } # extra gap below major entry # @ContentsLeader { .. } # leader symbol in contents # @ContentsLeaderGap { 4s } # gap between leaders # @ContentsRightWidth { 3f } # page numbers column width # @MakeReferences { Yes } # make references? Yes or No # @RefCiteStyle { [cite] } # citation style # @RefCiteLabels { @RefNum } # citation items # @RefNumbers { Arabic } # reference numbers # @RefListFormat { Labels } # NoLabels, Labels, etc. # @RefListLabels { [@RefNum] } # ref list label format # @RefListTitle { references } # title of reference list # @ChapRefListTitle { references } # title of chapter ref list # @RefListIndent { 0c } # indent to left of labels # @RefListRightIndent { 0c } # indent to right of items # @RefListGap { 1.00v } # gap between ref list items # @RefListFont { } # font used in reference list # @RefListBreak { } # break style of ref list # @RefListLabelWidth { 2.00f } # Labels column width # @RefListSortKey { @Tag } # sorting key # @MakeIndex { No } # make index? Yes or No # @IndexFont { } # index entries font # @IndexBreak { outdent 1.2fx } # index entries break # @IndexColumnNumber { 2 } # index columns (1 to 10) # @IndexColumnGap { 1.00c } # index column gap # @MakeIndexA { No } # make index A? Yes or No # @IndexAFont { } # index A entries font # @IndexABreak { outdent 1.2fx } # index A entries break # @IndexAColumnNumber { 2 } # index A columns (1 to 10) # @IndexAColumnGap { 1.00c } # index A column gap # @MakeIndexB { No } # make index B? Yes or No # @IndexBFont { } # index B entries font # @IndexBBreak { outdent 1.2fx } # index B entries break # @IndexBColumnNumber { 2 } # index B columns (1 to 10) # @IndexBColumnGap { 1.00c } # index B column gap # @IndexFont { } # index entries font # @IndexBreak { outdent 1.2fx } # index entries break # @IndexColumnNumber { 2 } # index columns (1 to 10) # @IndexColumnGap { 1.00c } # index column gap # @TopGap { 0.75c } # gap between figures # @MidGap { 0.75c } # gap above/below body text # @FootNoteNumbers { Arabic } # footnote numbers # @FootNoteThrough { No } # numbered through chapter? # @FootNoteLocation { ColFoot } # where the footnote appears # @FootNoteFont { 0.80f } # font for footnotes # @FootNoteBreak { 1.20fx } # break for footnotes # @FootLen { 2.00c } # length of footnote line # @FootAboveGap { 1.00v } # gap above footnote line # @FootGap { 0.20c } # gap between footnotes # @EndNoteNumbers { Arabic } # endnote numbers # @EndNoteFont { 0.80f } # font of endnotes # @EndNoteBreak { 1.20fx } # break for endnotes # @EndNoteGap { 0.20c } # gap between endnotes # @TheoremThrough { No } # numbered through whole doc? # @TheoremNumbers { Arabic } # theorem etc. numbers # @DefinitionWord { definition } # "Definition" word, etc. # @LemmaWord { lemma } # "Lemma" word, etc. # @TheoremWord { theorem } # "Theorem" word, etc. # @PropositionWord { proposition } # "Proposition" word, etc. # @CorollaryWord { corollary } # "Corollary" word, etc. # @ExampleWord { example } # "Example" word, etc. # @ClaimWord { claim } # "Claim" word, etc. # @ProofWord { proof } # "Proof" word, etc. # @MarginNoteFont { 0.80f } # font of margin notes # @MarginNoteBreak { ragged 1.10fx } # break style of margin notes # @MarginNoteHGap { 0.5c } # horizontal gap to notes # @MarginNoteVGap { 1.00v } # min vertical gap between # @MarginNoteWidth { 1.50c } # width of margin notes @PageHeaders { Titles } # None Simple Titles NoTitles # @PageNumbers { Arabic } # page numbers # @FirstPageNumber { 1 } # number of first page # @IntroPageNumbers { Roman } # intro page numbers # @IntroFirstPageNumber{ 1 } # number of first intro page # Simple headers @OddTop { @Right 8p @Font @PageNum } # @OddFoot { @Null } @EvenTop { @Right 8p @Font @PageNum } # @EvenFoot { @Null } @StartOddTop { @Right 8p @Font @PageNum } # @StartOddFoot { @Null } @StartEvenTop { @Right 8p @Font @PageNum } # @StartEvenFoot { @Null } # @IntroOddTop { @Null } # @IntroOddFoot { @Null } # @IntroEvenTop { @Null } # @IntroEvenFoot { @Null } # @IntroStartOddTop { @Null } # @IntroStartOddFoot { @Null } # @IntroStartEvenTop { @Null } # @IntroStartEvenFoot { @Null } # Titles, NoTitles headers @RunningOddTop { 8p @Font {@MajorTitle @MinorNum (ctd.) @Right @PageNum} } @RunningOddFoot { @Null } @RunningEvenTop { 8p @Font {@MajorTitle @MinorNum (ctd.) @Right @PageNum} } @RunningEvenFoot{ @Null } @RunningStartOddTop { 8p @Font { @MajorTitle @MinorNum @Right @PageNum } } @RunningStartOddFoot { @Null } @RunningStartEvenTop { 8p @Font { @MajorTitle @MinorNum @Right @PageNum } } @RunningStartEvenFoot{ @Null } # @RunningIntroOddTop { @Null } # @RunningIntroOddFoot { @Right @PageNum } # @RunningIntroEvenTop { @Null } # @RunningIntroEvenFoot { @PageNum } # @RunningIntroStartOddTop { @Null } # @RunningIntroStartOddFoot { @Null } # @RunningIntroStartEvenTop { @Null } # @RunningIntroStartEvenFoot { @Null } } ############################################################################### # # # The @OverheadLayout @Use clause - options specific to overheads. # # # ############################################################################### @Use { @OverheadLayout # @DateLine { No } # No, Yes, or a date # @ContentsWord { contents } # "Contents" word etc. # @FirstLectureNumber { 1 } # number of first lecture # @FirstOverheadNumber { 1 } # number of first overhead # @LectureNumbers { Arabic } # lecture numbers # @OverheadNumbers { Arabic } # overhead numbers # @TitlePageFont { Helvetica Base 1.5f } # title page font # @LectureHeadingFont { Bold 1.20f } # lecture heading font # @LectureHeadingBreak { clines 1.2fx nohyphen } # lecture heading font # @LectureHeadingFormat { number @DotSep title } # lecture heading font # @OverheadHeadingFont { Bold } # overhead heading font # @OverheadHeadingBreak { clines 1.2fx nohyphen } # overhead heading font # @OverheadHeadingFormat { number @DotSep title } # overhead heading font # @LectureInContents { Yes } # list lectures in contents # @OverheadInContents { No } # list overheads in contents # @ReferencesInContents { Yes } # list references in contents # @LectureNumInTheorems { Yes } # lecture num in theorems # @OverheadNumInTheorems { No } # overhead num in theorems # @LectureNumInDisplays { Yes } # lecture num in displays # @OverheadNumInDisplays { No } # overhead num in displays # @LectureNumInFigures { Yes } # lecture num in figures # @OverheadNumInFigures { No } # overhead num in figures # @LectureNumInTables { Yes } # lecture num in tables # @OverheadNumInTables { No } # overhead num in tables } ############################################################################### # # # The @CPrint @Use clause - options specific to C and C++ program printing. # # # ############################################################################### @Use { @CPrint # style { fixed } # fixed, varying, or symbol # fixedfont { Courier } # font family if fixed # fixedstrings { Base } # string face if fixed # fixedidentifiers { Base } # identifier face if fixed # fixedcomments { Base } # comment face if fixed # fixedkeywords { Base } # keyword face if fixed # fixednumbers { Base } # number face if fixed # fixedoperators { Base } # operator face if fixed # fixedsize { -1.0p } # font size if fixed # fixedline { 1.0vx } # line-space if fixed fixedtabin { 3 } # tab interval if fixed # fixedtabout { 8s } # tab width if fixed # varyingfont { } # font family if varying # varyingstrings { Slope } # string face if varying # varyingidentifiers { Slope } # identifier face if varying # varyingcomments { Base } # comment face if varying # varyingkeywords { Bold } # keyword face if varying # varyingnumbers { Base } # number face if varying # varyingoperators { Base } # operator face if varying # varyingsize { 1.0f } # font size if varying # varyingline { 1.0vx } # line-space if varying # varyingtabin { 8 } # tab interval if varying # varyingtabout { 3f } # tab width if varying # symbolfont { } # font family if symbol # symbolstrings { Slope } # string face if symbol # symbolidentifiers { Slope } # identifier face if symbol # symbolcomments { Base } # comment face if symbol # symbolkeywords { Bold } # keyword face if symbol # symbolnumbers { Base } # number face if symbol # symboloperators { Base } # operator face if symbol # symbolsize { 1.0f } # font size if symbol # symbolline { 1.0vx } # line-space if symbol # symboltabin { 8 } # tab interval if symbol # symboltabout { 3f } # tab width if symbol } ############################################################################### # # # @Database (and @SysDatabase) clauses go here. # # # ############################################################################### @SysDatabase @RefStyle { refstyle } # reference printing styles