lib/layouts/beamer.layout

   1 #% Do not delete the line below; configure depends on this
   2 #  \DeclareLaTeXClass[beamer]{Beamer}
   3 #  \DeclareCategory{Presentations}
   4 # Original Author: Till Tantau <tantau@users.sourceforge.net>
   5 # Revised and extended by Jürgen Spitzmüller <spitz@lyx.org>, Uwe Stöhr <uwestoehr@lyx.org>,
   6 #   Richard Heck <rgheck@lyx.org>, Martin Vermeer <martin.vermeer@hut.fi> and probably others.
   7
   8
   9 Format 85
  10
  11 #
  12 # GLOBAL SETTINGS
  13 #
  14
  15 # Includes
  16 Input stdcounters.inc
  17 Input stdinsets.inc
  18
  19 # Beamer does not work with enumitem.
  20 # See bug #7047.
  21 ExcludesModule enumitem
  22
  23 # General textclass parameters
  24 Columns            1
  25 Sides              1
  26 SecNumDepth        2
  27 TocDepth           2
  28 DefaultStyle       Standard
  29
  30 # Pre-loaded packages
  31 Provides amsmath   1
  32 Provides hyperref  1
  33 Provides geometry  1
  34 Provides color     1
  35 Provides xcolor    1
  36
  37 # The default font layout
  38 DefaultFont
  39   Family           Sans
  40   Series           Medium
  41   Shape            Up
  42   Size             Normal
  43   Color            None
  44 EndFont
  45
  46 # Provide an own maketitle command, which can be altered by Title_(Plain_Frame)
  47 TitleLaTeXName makebeamertitle
  48 AddToPreamble
  49   % this default might be overridden by plain title style
  50   \newcommand\makebeamertitle{\frame{\maketitle}}%
  51   % (ERT) argument for the TOC
  52   \AtBeginDocument{%
  53     \let\origtableofcontents=\tableofcontents
  54     \def\tableofcontents{\@ifnextchar[{\origtableofcontents}{\gobbletableofcontents}}
  55     \def\gobbletableofcontents#1{\origtableofcontents}
  56   }
  57 EndPreamble
  58
  59
  60 #
  61 # STANDARD STYLE
  62 #
  63
  64 Style Standard
  65   Category         MainText
  66   Margin           Static
  67   LatexType        Paragraph
  68   LatexName        dummy
  69   ParIndent        MM
  70   ParSkip          0.4
  71   Align            Left
  72   AlignPossible    Block, Left, Right, Center
  73   LabelType        No_Label
  74   DocBookTag       para
  75 End
  76
  77
  78 #
  79 # LISTS
  80 #
  81
  82 Style Itemize
  83   Category         List
  84   Margin           Static
  85   LatexType        Item_Environment
  86   LatexName        itemize
  87   Argument 1
  88     LabelString    "Overlay Specifications|v"
  89     Tooltip        "Overlay specifications for this list"
  90     LeftDelim      [<
  91     RightDelim     >]
  92     PassThru       1
  93   EndArgument
  94   Argument item:1
  95     LabelString   "Custom Item|s"
  96     Tooltip       "A customized item string"
  97   EndArgument
  98   Argument item:2
  99     MenuString    "Item Overlay Specifications"
 100     LabelString   "On Slide"
 101     Tooltip       "Overlay specifications for this item"
 102     LeftDelim      <
 103     RightDelim     >
 104     PassThru       1
 105   EndArgument
 106   Argument listpreamble:1
 107     LabelString    "List preamble"
 108     MenuString     "List Preamble"
 109     Tooltip        "LaTeX code to be inserted before the first item"
 110     PassThru       1
 111     Font
 112       Family typewriter
 113       Color latex
 114     EndFont
 115   EndArgument
 116   NextNoIndent     1
 117   ToggleIndent     Never
 118   LeftMargin       MMN
 119   LabelSep         xx
 120   ItemSep          0.2
 121   TopSep           0.7
 122   BottomSep        0.7
 123   ParSep           0.3
 124   Align            Left
 125   LabelType        Itemize
 126   DocBookTag            itemizedlist
 127   DocBookItemTag        listitem
 128   DocBookItemInnerTag   para
 129 End
 130
 131 Style Enumerate
 132   Category         List
 133   Margin           Static
 134   LatexType        Item_Environment
 135   LatexName        enumerate
 136   Argument 1
 137     LabelString    "Overlay Specifications|v"
 138     Tooltip        "Overlay specifications for this list"
 139     LeftDelim      [<
 140     RightDelim     >]
 141     PassThru       1
 142   EndArgument
 143   Argument 2
 144     LabelString    "Mini Template"
 145     Tooltip        "Mini template for this list (see beamer manual for details)"
 146   EndArgument
 147   Argument item:1
 148     LabelString   "Custom Item|s"
 149     Tooltip       "A customized item string"
 150   EndArgument
 151   Argument item:2
 152     MenuString    "Item Overlay Specifications"
 153     LabelString   "On Slide"
 154     Tooltip       "Overlay specifications for this item"
 155     LeftDelim      <
 156     RightDelim     >
 157     PassThru       1
 158   EndArgument
 159   Argument listpreamble:1
 160     LabelString    "List preamble"
 161     MenuString     "List Preamble"
 162     Tooltip        "LaTeX code to be inserted before the first item"
 163     PassThru       1
 164     Font
 165       Family typewriter
 166       Color latex
 167     EndFont
 168   EndArgument
 169   NextNoIndent     1
 170   ToggleIndent     Never
 171   LeftMargin       MMN
 172   LabelSep         xx
 173   ParSkip          0.0
 174   ItemSep          0.2
 175   TopSep           0.7
 176   BottomSep        0.7
 177   ParSep           0.3
 178   Align            Left
 179   LabelType        Enumerate
 180   RefPrefix        enu
 181   DocBookTag            orderedlist
 182   DocBookItemTag        listitem
 183   DocBookItemInnerTag   para
 184 End
 185
 186 Style Description
 187   Category         List
 188   Margin           First_Dynamic
 189   LatexType        Item_environment
 190   LatexName        description
 191   Argument 1
 192     LabelString    "Overlay Specifications|v"
 193     Tooltip        "Overlay specifications for this list"
 194     LeftDelim      [<
 195     RightDelim     >]
 196     PassThru       1
 197   EndArgument
 198   Argument 2
 199     LabelString    "Longest label|s"
 200     Tooltip        "The longest label in this list (to determine the indendation width)"
 201   EndArgument
 202   Argument listpreamble:1
 203     LabelString    "List preamble"
 204     MenuString     "List Preamble"
 205     Tooltip        "LaTeX code to be inserted before the first item"
 206     PassThru       1
 207     Font
 208       Family typewriter
 209       Color latex
 210     EndFont
 211   EndArgument
 212   Argument item:1
 213     MenuString    "Item Overlay Specifications"
 214     LabelString   "On Slide"
 215     Tooltip       "Overlay specifications for this item"
 216     LeftDelim      <
 217     RightDelim     >
 218     PassThru       1
 219   EndArgument
 220   NextNoIndent     1
 221   LeftMargin       MM
 222   LabelSep         xx
 223   ParSkip          0.4
 224   ItemSep          0.2
 225   TopSep           0.7
 226   BottomSep        0.7
 227   ParSep           0.3
 228   Align            Left
 229   LabelType        Manual
 230   LabelFont
 231     Series         Bold
 232   EndFont
 233   DocBookTag            variablelist
 234   DocBookItemWrapperTag varlistentry
 235   DocBookItemTag        listitem
 236   DocBookItemInnerTag   para
 237   DocBookItemLabelTag   term
 238   DocBookItemLabelTagType   paragraph
 239 End
 240
 241
 242 #
 243 # SECTIONING
 244 #
 245
 246 Style Part
 247   Category         Sectioning
 248   Margin           Dynamic
 249   LatexType        Command
 250   LatexName        part
 251   Argument 1
 252     LabelString    "Mode"
 253     MenuString     "Mode Specification|S"
 254     Tooltip        "Specify in which mode (article, presentation etc.) this header appears"
 255     LeftDelim      <
 256     RightDelim     >
 257     PassThru       1
 258   EndArgument
 259   Argument 2
 260     LabelString    "Short Title|S"
 261     Tooltip        "The part as it appears in the table of contents/running headers"
 262     InsertCotext   1
 263     IsTocCaption   1
 264   EndArgument
 265   NeedProtect      1
 266   NextNoIndent     1
 267   ToggleIndent     Never
 268   Labelsep         xx
 269   ParSkip          0.4
 270   TopSep           4
 271   BottomSep        4
 272   ParSep           0.8
 273   Align            Center
 274   LabelType        Static
 275   LabelString      "Part"
 276   RefPrefix        part
 277   Font
 278     Family         Roman
 279     Series         Bold
 280     Size           Huge
 281   EndFont
 282   LabelFont
 283     Color          Latex
 284   EndFont
 285   TocLevel         -1
 286 End
 287
 288 Style Section
 289   Category         Sectioning
 290   Margin           First_Dynamic
 291   LatexType        Command
 292   LatexName        section
 293   NeedProtect      1
 294   NextNoIndent     1
 295   ToggleIndent     Never
 296   LabelSep         xx
 297   ParSkip          0.4
 298   TopSep           2
 299   BottomSep        0.25
 300   ParSep           0.7
 301   Align            Left
 302   LabelType        Static
 303   LabelCounter     section
 304   LabelString      "Section \arabic{section}"
 305   RefPrefix        sec
 306   Argument 1
 307     LabelString    "Mode"
 308     MenuString     "Mode Specification|S"
 309     Tooltip        "Specify in which mode (article, presentation etc.) this header appears"
 310     LeftDelim      <
 311     RightDelim     >
 312     PassThru       1
 313   EndArgument
 314   Argument 2
 315     LabelString    "Short Title|S"
 316     Tooltip        "The section as it appears in the table of contents/running headers"
 317     InsertCotext   1
 318     IsTocCaption   1
 319   EndArgument
 320   Font
 321     Family         Roman
 322     Series         Bold
 323     Size           huge
 324   EndFont
 325   LabelFont
 326     Color          latex
 327   EndFont
 328   LabelStringAppendix "\Alph{section}"
 329   TocLevel         1
 330 End
 331
 332 Style Section*
 333   CopyStyle        Section
 334   Category         Unnumbered
 335   Margin           Static
 336   LatexName        section
 337   LabelType        No_Label
 338   ResetArgs        1
 339   Argument 1
 340     LabelString    "Mode"
 341     MenuString     "Mode Specification|S"
 342     Tooltip        "Specify in which mode (article, presentation etc.) this header appears"
 343     LeftDelim      <
 344     RightDelim     >
 345     PassThru       1
 346   EndArgument
 347   LaTeXParam       *
 348 End
 349
 350 Style Subsection
 351   Category         Sectioning
 352   Margin           First_Dynamic
 353   LatexType        Command
 354   LatexName        subsection
 355   NeedProtect      1
 356   NextNoIndent     1
 357   ToggleIndent     Never
 358   LabelSep         xx
 359   ParSkip          0.4
 360   TopSep           2
 361   BottomSep        0.25
 362   ParSep           0.5
 363   Align            Left
 364   LabelType        Static
 365   LabelCounter     subsection
 366   LabelString      "Subsection \arabic{section}.\arabic{subsection}"
 367   RefPrefix        subsec
 368   Argument 1
 369     LabelString    "Mode"
 370     MenuString     "Mode Specification|S"
 371     Tooltip        "Specify in which mode (article, presentation etc.) this header appears"
 372     LeftDelim      <
 373     RightDelim     >
 374     PassThru       1
 375   EndArgument
 376   Argument 2
 377     LabelString    "Short Title|S"
 378     Tooltip        "The subsection as it appears in the table of contents/running headers"
 379     InsertCotext   1
 380     IsTocCaption   1
 381   EndArgument
 382   Font
 383     Family         Roman
 384     Series         Bold
 385     Size           larger
 386   EndFont
 387   LabelFont
 388     Color          latex
 389   EndFont
 390   LabelStringAppendix "\arabic{section}.\arabic{subsection}"
 391   TocLevel         2
 392 End
 393
 394 Style Subsection*
 395   CopyStyle        Subsection
 396   Category         Unnumbered
 397   Margin           Static
 398   LatexName        subsection
 399   LabelType        No_Label
 400   ResetArgs        1
 401   Argument 1
 402     LabelString    "Mode"
 403     MenuString     "Mode Specification|S"
 404     Tooltip        "Specify in which mode (article, presentation etc.) this header appears"
 405     LeftDelim      <
 406     RightDelim     >
 407     PassThru       1
 408   EndArgument
 409   LaTeXParam       *
 410 End
 411
 412 Style Subsubsection
 413   Category         Sectioning
 414   Margin           First_Dynamic
 415   LatexType        Command
 416   LatexName        subsubsection
 417   NeedProtect      1
 418   NextNoIndent     1
 419   ToggleIndent     Never
 420   LabelSep         xx
 421   ParSkip          0.4
 422   TopSep           2
 423   BottomSep        0.25
 424   ParSep           0.5
 425   Align            Left
 426   LabelType        Static
 427   LabelCounter     subsubsection
 428   LabelString      "Subsubsection \arabic{section}.\arabic{subsection}.\arabic{subsubsection}"
 429   RefPrefix        sub
 430   Argument 1
 431     LabelString    "Mode"
 432     MenuString     "Mode Specification|S"
 433     Tooltip        "Specify in which mode (article, presentation etc.) this header appears"
 434     LeftDelim      <
 435     RightDelim     >
 436     PassThru       1
 437   EndArgument
 438   Argument 2
 439     LabelString    "Short Title|S"
 440     Tooltip        "The subsubsection as it appears in the table of contents/running headers"
 441     InsertCotext   1
 442     IsTocCaption   1
 443   EndArgument
 444   Font
 445     Family         Roman
 446     Series         Bold
 447     Size           large
 448   EndFont
 449   LabelFont
 450     Color          latex
 451   EndFont
 452   LabelStringAppendix "\arabic{section}.\arabic{subsection}.\arabic{subsubsection}"
 453   TocLevel         3
 454 End
 455
 456 Style Subsubsection*
 457   CopyStyle        Subsubsection
 458   Category         Unnumbered
 459   Margin           Static
 460   LatexName        subsubsection
 461   LabelType        No_Label
 462   ResetArgs        1
 463   Argument 1
 464     LabelString    "Mode"
 465     MenuString     "Mode Specification|S"
 466     Tooltip        "Specify in which mode (article, presentation etc.) this header appears"
 467     LeftDelim      <
 468     RightDelim     >
 469     PassThru       1
 470   EndArgument
 471   LaTeXParam       *
 472 End
 473
 474
 475 #
 476 # FRAMES
 477 #
 478
 479 Style Frame
 480   Category         Frames
 481   Margin           First_Dynamic
 482   LeftMargin       xx
 483   LatexType        Environment
 484   LatexName        frame
 485   LabelString      "Frame"
 486   TocLevel         4
 487   KeepEmpty        1
 488   NextNoIndent     1
 489   Align            Left
 490   LabelType        Static
 491   LabelSep         xx
 492   ParSkip          0.5
 493   TopSep           1
 494   BottomSep        1
 495   ParSep           0
 496   LabelFont
 497     Size           largest
 498     Family         Roman
 499     Color          latex
 500   EndFont
 501   Argument 1
 502     LabelString     "Action"
 503     MenuString      "Overlay Specifications|v"
 504     Tooltip         "Overlay specifications for this frame"
 505     LeftDelim       <
 506     RightDelim      >
 507     PassThru       1
 508   EndArgument
 509   Argument 2
 510     LabelString     "Default Overlay Specifications"
 511     Tooltip         "Default overlay specifications within this frame"
 512     LeftDelim       [<
 513     RightDelim      >]
 514     PassThru       1
 515   EndArgument
 516   Argument 3
 517     MenuString      "Frame Options"
 518     LabelString     "Options"
 519     Tooltip         "Frame options (see beamer manual)"
 520   EndArgument
 521   Argument 4
 522     LabelString    "Frame Title"
 523     Tooltip        "Enter the frame title here"
 524     LeftDelim      {
 525     RightDelim     }
 526     Decoration     conglomerate
 527     Font
 528       Color        blue
 529       Size         largest
 530     EndFont
 531     AutoInsert     1
 532     IsTocCaption   1
 533   EndArgument
 534   AutoNests
 535         Standard,Itemize,Enumerate,Description,FrameTitle,FrameSubtitle,Column,
 536         Columns,ColumnsCenterAligned,ColumnsTopAligned,Pause,Overprint,OverlayArea,Only,Block,
 537         ExampleBlock,AlertBlock,Bibliography,Quotation,Quote,Verse,Corollary,Definition,Definitions,
 538         Example,Examples,Fact,Lemma,Proof,Theorem,LyX-Code
 539   EndAutoNests
 540 End
 541
 542 Style PlainFrame
 543   CopyStyle         Frame
 544   LabelString       "Frame (plain)"
 545   Argument 3
 546     MenuString      "Frame Options"
 547     LabelString     "Options"
 548     Tooltip         "Frame options (see beamer manual)"
 549     PresetArg       "plain"
 550   EndArgument
 551 End
 552
 553 Style FragileFrame
 554   CopyStyle         Frame
 555   LabelString       "Frame (fragile)"
 556   Argument 3
 557     MenuString      "Frame Options"
 558     LabelString     "Options"
 559     Tooltip         "Frame options (see beamer manual)"
 560     PresetArg       "fragile"
 561   EndArgument
 562 End
 563
 564 Style AgainFrame
 565   Category          Frames
 566   KeepEmpty         0
 567   LatexType         Command
 568   LatexName         againframe
 569   Argument 1
 570     LabelString     "Slide"
 571     MenuString      "Overlay Specifications|v"
 572     Tooltip         "Overlay specifications for this frame"
 573     LeftDelim       <
 574     RightDelim      >
 575     PassThru       1
 576   EndArgument
 577   Argument 2
 578     LabelString     "Default Overlay Specifications"
 579     Tooltip         "Default overlay specifications within this frame"
 580     LeftDelim       [<
 581     RightDelim      >]
 582     PassThru       1
 583   EndArgument
 584   Argument 3
 585     MenuString      "Frame Options"
 586     LabelString     "Options"
 587     Tooltip         "Frame options (see beamer manual)"
 588   EndArgument
 589   Margin            First_Dynamic
 590   NextNoIndent      1
 591   ParSkip           0
 592   TopSep            3
 593   BottomSep         3
 594   ParSep            0
 595   LabelType         Static
 596   LabelBottomSep    0
 597   LeftMargin        M
 598   LabelSep          xx
 599   LabelString       "Repeat frame with label"
 600   Font
 601     Color           latex
 602   EndFont
 603   LabelFont
 604     Family          Roman
 605     Color           latex
 606     Size            Largest
 607   EndFont
 608   TocLevel          4
 609 End
 610
 611 Style FrameTitle
 612   Category         Frames
 613   Margin           Static
 614   LatexType        Command
 615   LatexName        frametitle
 616   ParSkip          0.4
 617   ItemSep          0
 618   TopSep           0
 619   BottomSep        1
 620   ParSep           1
 621   Align            Block
 622   LabelType        No_Label
 623   Font
 624     Color          Blue
 625     Size           Largest
 626   EndFont
 627   Argument 1
 628     LabelString    "On Slide"
 629     MenuString     "Overlay Specifications|v"
 630     Tooltip        "Specify the overlay settings (see beamer manual)"
 631     LeftDelim      <
 632     RightDelim     >
 633     PassThru       1
 634   EndArgument
 635   Argument 2
 636     LabelString    "Short Frame Title|S"
 637     Tooltip        "A short form of the frame title used in some themes"
 638     InsertCotext   1
 639   EndArgument
 640 End
 641
 642 Style FrameSubtitle
 643   Category         Frames
 644   Margin           Static
 645   LatexType        Command
 646   LatexName        framesubtitle
 647   ParSkip          0.4
 648   ItemSep          0
 649   TopSep           0
 650   BottomSep        1
 651   ParSep           1
 652   Align            Block
 653   LabelType        No_Label
 654   Font
 655     Color          Blue
 656   EndFont
 657   Argument 1
 658     LabelString    "On Slide"
 659     MenuString     "Overlay Specifications|v"
 660     Tooltip        "Specify the overlay settings (see beamer manual)"
 661     LeftDelim      <
 662     RightDelim     >
 663     PassThru       1
 664   EndArgument
 665 End
 666
 667
 668 #
 669 # COLUMS
 670 #
 671
 672 Style Column
 673   Category         Columns
 674   Margin           Static
 675   LatexType        Command
 676   LatexName        column
 677   ParSkip          0.5
 678   TopSep           1
 679   BottomSep        1
 680   ParSep           0
 681   ParIndent        MM
 682   Align            Left
 683   LabelType        Static
 684   LabelSep         xx
 685   LabelString      "Start column (increase depth!), width:"
 686   ToggleIndent     Never
 687   Argument 1
 688     MenuString     "Column Options"
 689     LabelString    "Options"
 690     Tooltip        "Column options (see beamer manual)"
 691   EndArgument
 692   LeftMargin       "Start column (increase depth!), width:xx"
 693   LabelFont
 694     Family         Roman
 695     Color          latex
 696   EndFont
 697 End
 698
 699 Style Columns
 700   Category         Columns
 701   KeepEmpty        1
 702   Margin           Static
 703   LatexType        Environment
 704   NextNoIndent     0
 705   ParIndent        MM
 706   Align            Left
 707   LabelType        Static
 708   LabelSep         xx
 709   LatexName        columns
 710   LabelString      "Columns"
 711   LeftMargin       "Columnsxx"
 712   Argument 1
 713     LabelString    "Column Placement Options"
 714     Tooltip        "Column placement options (t, T, c, b)"
 715   EndArgument
 716   ParSkip          0.5
 717   TopSep           1
 718   BottomSep        1
 719   ParSep           0
 720   LabelFont
 721     Family         Roman
 722     Color          latex
 723   EndFont
 724   AutoNests
 725         Standard,Column,Itemize,Enumerate,Description,Pause,Overprint,OverlayArea,Only,Block,
 726         ExampleBlock,AlertBlock,Bibliography,Quotation,Quote,Verse,Corollary,Definition,Definitions,
 727         Example,Examples,Fact,Lemma,Proof,Theorem,LyX-Code
 728   EndAutoNests
 729 End
 730
 731 Style ColumnsCenterAligned
 732   CopyStyle        Columns
 733   LatexParam       [c]
 734   LabelString      "Columns (center aligned)"
 735   LeftMargin       "Columns (center aligned)xx"
 736   ResetArgs        1
 737 End
 738
 739 Style ColumnsTopAligned
 740   CopyStyle        Columns
 741   LatexParam       [t]
 742   LabelString      "Columns (top aligned)"
 743   LeftMargin       "Columns (top aligned)xx"
 744   ResetArgs        1
 745 End
 746
 747
 748 #
 749 # OVERLAYS
 750 #
 751
 752 Style Pause
 753   Category         Overlays
 754   KeepEmpty        1
 755   LatexType        Command
 756   LatexName        pause
 757   Margin           First_Dynamic
 758   Argument 1
 759     LabelString    "Pause number"
 760     Tooltip        "Number of slide where the context below the pause gets visible"
 761   EndArgument
 762   NextNoIndent     1
 763   ParSkip          0
 764   TopSep           0
 765   BottomSep        0.25
 766   ParSep           0
 767   Align            Center
 768   LabelType        Static
 769   LabelBottomSep   0
 770   LeftMargin       MMMMM
 771   LabelString      "_ _ _ _ _ _ _ _ _ _ _ _ _ _"
 772   LabelFont
 773     Family         typewriter
 774     Series         Medium
 775     Size           Normal
 776     Color          latex
 777   EndFont
 778 End
 779
 780 Style Overprint
 781   Category         Overlays
 782   Margin           Static
 783   LatexType        Item_Environment
 784   LatexName        overprint
 785   ItemCommand      onslide
 786   Argument 1
 787     MenuString     "Overprint Area Width"
 788     LabelString    "Width"
 789     Tooltip        "The width of the overprint area (default: text width)"
 790   EndArgument
 791   Argument listpreamble:1
 792     LabelString    "List preamble"
 793     MenuString     "List Preamble"
 794     Tooltip        "LaTeX code to be inserted before the first item"
 795     PassThru       1
 796     Font
 797       Family typewriter
 798       Color latex
 799     EndFont
 800   EndArgument
 801   Argument item:1
 802     MenuString    "Item Overlay Specifications"
 803     LabelString   "On Slide"
 804     Tooltip       "Overlay specifications for this item"
 805     LeftDelim      <
 806     RightDelim     >
 807     PassThru       1
 808     AutoInsert     1
 809   EndArgument
 810   NextNoIndent     1
 811   LeftMargin       MMMMMMMMN
 812   LabelSep         xx
 813   ItemSep          0.2
 814   TopSep           0.7
 815   BottomSep        0.7
 816   ParSep           0.3
 817   Align            Left
 818   LabelType        Static
 819   LabelString      "Overprint"
 820   LabelFont
 821     Family         Roman
 822     Color          latex
 823   EndFont
 824 End
 825
 826 Style OverlayArea
 827   Category         Overlays
 828   Margin           First_Dynamic
 829   LatexType        Environment
 830   NextNoIndent     0
 831   ParIndent        MM
 832   Align            Left
 833   LabelType        Static
 834   LabelSep         xx
 835   LatexName        overlayarea
 836   LabelString      "Overlayarea"
 837   ParSkip          0.5
 838   TopSep           1
 839   BottomSep        1
 840   ParSep           0
 841   LabelFont
 842     Family         Roman
 843     Color          latex
 844   EndFont
 845   Argument 1
 846     LabelString    "Overlay Area Width"
 847     Tooltip        "The width of the overlay area"
 848     Mandatory      1
 849   EndArgument
 850   Argument 2
 851     MenuString     "Overlay Area Height"
 852     LabelString    "Height"
 853     Tooltip        "The height of the overlay area"
 854     Mandatory      1
 855   EndArgument
 856 End
 857
 858 Style Uncover
 859   Category         Overlays
 860   Margin           First_Dynamic
 861   LatexType        Environment
 862   NextNoIndent     0
 863   ParIndent        MM
 864   Align            Left
 865   LabelType        Static
 866   LatexName        uncoverenv
 867   LabelSep         xx
 868   LabelString      "Uncovered on slides"
 869   ParSkip          0.5
 870   TopSep           1
 871   BottomSep        1
 872   ParSep           0
 873   LabelFont
 874     Family         Roman
 875     Color          Latex
 876   EndFont
 877   Argument 1
 878     LabelString    "On Slide"
 879     MenuString     "Overlay Specifications|v"
 880     Tooltip        "Specify the overlay settings (see beamer manual)"
 881     LeftDelim      <
 882     RightDelim     >
 883     PassThru       1
 884   EndArgument
 885 End
 886
 887 Style Only
 888   Category         Overlays
 889   Margin           First_Dynamic
 890   LatexType        Environment
 891   NextNoIndent     0
 892   ParIndent        MM
 893   Align            Left
 894   LabelType        Static
 895   LatexName        onlyenv
 896   LabelSep         xx
 897   LabelString      "Only on slides"
 898   ParSkip          0.5
 899   TopSep           1
 900   BottomSep        1
 901   ParSep           0
 902   LabelFont
 903     Family         Roman
 904     Color          Latex
 905   EndFont
 906   Argument 1
 907     LabelString    "On Slide"
 908     MenuString     "Overlay Specifications|v"
 909     Tooltip        "Specify the overlay settings (see beamer manual)"
 910     LeftDelim      <
 911     RightDelim     >
 912     PassThru       1
 913   EndArgument
 914 End
 915
 916
 917 #
 918 # BLOCKS
 919 #
 920
 921 Style Block
 922   Category         Blocks
 923   Margin           Dynamic
 924   LatexType        Environment
 925   NextNoIndent     1
 926   KeepEmpty        1
 927   Align            Left
 928   LabelType        Static
 929   LabelSep         xx
 930   LatexName        block
 931   LabelString      "Block:"
 932   ParSkip          0.5
 933   TopSep           1
 934   BottomSep        1
 935   ParSep           0
 936   LabelFont
 937     Family         Roman
 938     Color          latex
 939   EndFont
 940   Argument 1
 941     LabelString    "Action"
 942     MenuString     "Action Specification|S"
 943     Tooltip        "Specify the overlay settings (see beamer manual)"
 944     LeftDelim      <
 945     RightDelim     >
 946     PassThru       1
 947   EndArgument
 948   Argument 2
 949     LabelString    "Block Title"
 950     Tooltip        "Enter the block title here"
 951     Mandatory      1
 952     Decoration     conglomerate
 953     Font
 954       Color        blue
 955       Size         large
 956     EndFont
 957     AutoInsert     1
 958   EndArgument
 959   AutoNests
 960         Standard,Itemize,Enumerate,Description,Pause,Overprint,OverlayArea,Only,Quotation,
 961         Quote,Verse,Corollary,Definition,Definitions,Example,Examples,Fact,Lemma,Proof,Theorem,LyX-Code
 962   EndAutoNests
 963 End
 964
 965 Style ExampleBlock
 966   CopyStyle        Block
 967   LatexName        exampleblock
 968   LabelString      "Example Block:"
 969   Font
 970     Color          green
 971   EndFont
 972 End
 973
 974 Style AlertBlock
 975   CopyStyle        Block
 976   LatexName        alertblock
 977   LabelString      "Alert Block:"
 978   Font
 979     Color          red
 980   EndFont
 981 End
 982
 983
 984 #
 985 # TITLING
 986 #
 987
 988 Style Title
 989   Category         Titling
 990   Margin           Static
 991   LatexType        Command
 992   InTitle          1
 993   LatexName        title
 994   ParSkip          0.4
 995   ItemSep          0
 996   TopSep           0
 997   BottomSep        1
 998   ParSep           1
 999   Align            Center
1000   LabelType        No_Label
1001   Argument 1
1002     LabelString   "Short Title|S"
1003     Tooltip       "Short title which appears in the sidebar/header"
1004     InsertCotext   1
1005         # TODO: In DocBook, output it in a titleabbrev outside this title.
1006   EndArgument
1007   Font
1008     Size           Huge
1009     Series         Bold
1010     Color          Blue
1011   EndFont
1012   DocBookTag       title
1013   DocBookTagType   paragraph
1014   DocBookInInfo    maybe
1015 End
1016
1017 Style Title_(Plain_Frame)
1018   CopyStyle        Title
1019   Preamble
1020      % plain title style, override default
1021      \renewcommand\makebeamertitle{\frame[plain]{\maketitle}}%
1022   EndPreamble
1023 End
1024
1025 Style Subtitle
1026   Category         Titling
1027   Margin           Static
1028   LatexType        Command
1029   InTitle          1
1030   LatexName        subtitle
1031   ParSkip          0.4
1032   ItemSep          0
1033   TopSep           0
1034   BottomSep        1
1035   ParSep           1
1036   Align            Center
1037   LabelType        No_Label
1038   Argument 1
1039     LabelString   "Short Subtitle|S"
1040     Tooltip       "Short subtitle which appears in the sidebar/header"
1041     InsertCotext   1
1042   EndArgument
1043   Font
1044     Size           Large
1045     Series         Bold
1046     Color          Blue
1047   EndFont
1048 End
1049
1050 Style Author
1051   Category         Titling
1052   Margin           Static
1053   LatexType        Command
1054   InTitle          1
1055   LatexName        author
1056   ParSkip          0.4
1057   TopSep           1.3
1058   BottomSep        0.7
1059   ParSep           0.7
1060   Align            Center
1061   LabelType        No_Label
1062   Argument 1
1063     LabelString   "Short Author|S"
1064     Tooltip       "Short author which appears in the sidebar/header"
1065     InsertCotext   1
1066   EndArgument
1067   Font
1068     Size           Largest
1069     Color          Blue
1070   EndFont
1071 End
1072
1073 Style Institute
1074   Category         Titling
1075   Margin           Dynamic
1076   LatexType        Command
1077   InTitle          1
1078   LatexName        institute
1079   ParSkip          0.4
1080   TopSep           0.9
1081   BottomSep        0.5
1082   ParSep           1
1083   Align            Center
1084   LabelType        No_Label
1085   Argument 1
1086     LabelString   "Short Institute|S"
1087     Tooltip       "Short institute which appears in the sidebar/header"
1088     InsertCotext   1
1089   EndArgument
1090   Font
1091     Size           Large
1092     Color          Blue
1093   EndFont
1094 End
1095
1096 InsetLayout "Flex:InstituteMark"
1097   LyxType          custom
1098   LatexType        command
1099   LatexName        inst
1100   LabelString      "Institute Mark"
1101   Font
1102     Color          foreground
1103     Size           Small
1104     Family         Roman
1105     Shape          Up
1106     Series         Medium
1107     Misc           No_Emph
1108     Misc           No_Noun
1109     Misc           No_Bar
1110   EndFont
1111   LabelFont
1112     Color          blue
1113     Size           Small
1114   EndFont
1115 End
1116
1117 Style Date
1118   Category         Titling
1119   Margin           Dynamic
1120   LatexType        Command
1121   InTitle          1
1122   LatexName        date
1123   ParSkip          0.4
1124   TopSep           0.9
1125   BottomSep        0.5
1126   ParSep           1
1127   Align            Center
1128   LabelType        No_Label
1129   Argument 1
1130     LabelString   "Short Date|S"
1131     Tooltip       "Short date which appears in the sidebar/header"
1132     InsertCotext   1
1133   EndArgument
1134   Font
1135     Size           Largest
1136     Color          Blue
1137   EndFont
1138 End
1139
1140 Style TitleGraphic
1141   Category         Titling
1142   Margin           Static
1143   LatexType        Command
1144   InTitle          1
1145   LatexName        titlegraphic
1146   ParSkip          0.4
1147   ItemSep          0
1148   TopSep           0
1149   BottomSep        1
1150   ParSep           1
1151   Align            Center
1152   LabelType        No_Label
1153   Font
1154     Size           Huge
1155     Series         Bold
1156     Color          Blue
1157   EndFont
1158 End
1159
1160
1161 #
1162 # BACK MATTER
1163 #
1164
1165 Style Bibliography
1166   Category         BackMatter
1167   Margin           First_Dynamic
1168   LatexType        Bib_Environment
1169   LatexName        thebibliography
1170   NextNoIndent     1
1171   ToggleIndent     Never
1172   LeftMargin       MM
1173   ParSkip          0.4
1174   ItemSep          0
1175   TopSep           0.7
1176   BottomSep        0.7
1177   ParSep           0.5
1178   Align            Left
1179   LabelType        Bibliography
1180   LabelString      "References"
1181   LabelBottomSep   0.7
1182   LabelFont
1183     Series         Bold
1184     Size           Larger
1185   EndFont
1186   TocLevel         1
1187   IsTocCaption     0
1188   Argument listpreamble:1
1189     LabelString    "Bib preamble"
1190     MenuString     "Bibliography Preamble"
1191     Tooltip        "LaTeX code to be inserted before the first bibliography item"
1192     PassThru       1
1193     Font
1194       Family typewriter
1195       Color latex
1196     EndFont
1197   EndArgument
1198 End
1199
1200
1201 #
1202 # QUOTATION
1203 #
1204
1205 Style Quotation
1206   Category         MainText
1207   Margin           Static
1208   LatexType        Environment
1209   LatexName        quotation
1210   NextNoIndent     1
1211   ToggleIndent     Always
1212   LeftMargin       MMM
1213   RightMargin      MMM
1214   ParIndent        MM
1215   ParSkip          0
1216   ItemSep          0
1217   TopSep           0.5
1218   BottomSep        0.5
1219   ParSep           0
1220   Align            Block
1221   AlignPossible    Block, Left, Right, Center
1222   Argument 1
1223     LabelString    "On Slide"
1224     MenuString     "Overlay Specifications|v"
1225     Tooltip        "Specify the overlay settings (see beamer manual)"
1226     LeftDelim      <
1227     RightDelim     >
1228     PassThru       1
1229   EndArgument
1230 End
1231
1232 Style Quote
1233   Category         MainText
1234   Margin           Static
1235   LatexType        Environment
1236   LatexName        quote
1237   NextNoIndent     1
1238   ToggleIndent     Never
1239   LeftMargin       MMM
1240   RightMargin      MMM
1241   TopSep           0.5
1242   ParSep           0.5
1243   BottomSep        0.5
1244   Align            Block
1245   AlignPossible    Block, Left, Right, Center
1246   LabelType        No_Label
1247   Argument 1
1248     LabelString    "On Slide"
1249     MenuString     "Overlay Specifications|v"
1250     Tooltip        "Specify the overlay settings (see beamer manual)"
1251     LeftDelim      <
1252     RightDelim     >
1253     PassThru       1
1254   EndArgument
1255 End
1256
1257 Style Verse
1258   # LaTeX type is first dynamic because of LaTeX implementation.
1259   # In LyX this does not make sense.
1260   Category         MainText
1261   LatexType        Environment
1262   LatexName        verse
1263   Margin           First_Dynamic
1264   NextNoIndent     1
1265   LeftMargin       MMMM
1266   LabelIndent      MMMM
1267   ParSkip          0.4
1268   TopSep           0.7
1269   BottomSep        0.7
1270   ParSep           0.5
1271   Align            Block
1272   AlignPossible    Block, Left
1273   LabelType        No_Label
1274   Argument 1
1275     LabelString    "On Slide"
1276     MenuString     "Overlay Specifications|v"
1277     Tooltip        "Specify the overlay settings (see beamer manual)"
1278     LeftDelim      <
1279     RightDelim     >
1280     PassThru       1
1281   EndArgument
1282 End
1283
1284
1285 #
1286 # THEOREMS AND SUCH
1287 #
1288
1289 Style Corollary
1290    Category        Reasoning
1291    Margin          First_Dynamic
1292    LatexType       Environment
1293    NextNoIndent    0
1294    ParIndent       MM
1295    Align           Left
1296    LabelType       Static
1297    LabelSep        xx
1298    LatexName       corollary
1299    LabelString     "Corollary."
1300    ParSkip         0.5
1301    TopSep          1
1302    BottomSep       1
1303    ParSep          0
1304    KeepEmpty       1
1305    LabelFont
1306      Series        Bold
1307      Color         Blue
1308      Size          Large
1309    EndFont
1310   Argument 1
1311     LabelString    "Action"
1312     MenuString     "Action Specifications|S"
1313     Tooltip        "Specify the overlay settings (see beamer manual)"
1314     LeftDelim      <
1315     RightDelim     >
1316     PassThru       1
1317   EndArgument
1318   Argument 2
1319     LabelString    "Additional Theorem Text"
1320     Tooltip        "Additional text appended to the theorem header"
1321   EndArgument
1322   AutoNests
1323         Standard,Itemize,Enumerate,Description,Pause,Overprint,OverlayArea,Only,LyX-Code
1324   EndAutoNests
1325 End
1326
1327 Style Definition
1328   CopyStyle        Corollary
1329   LatexName        definition
1330   LabelString      "Definition."
1331 End
1332
1333 Style Definitions
1334   CopyStyle        Corollary
1335   LatexName        definitions
1336   LabelString      "Definitions."
1337 End
1338
1339 Style Example
1340   CopyStyle        Corollary
1341   LatexName        example
1342   LabelString      "Example."
1343   LabelFont
1344     Series         Bold
1345     Color          Green
1346   EndFont
1347 End
1348
1349 Style Examples
1350   CopyStyle        Corollary
1351   LatexName        examples
1352   LabelString      "Examples."
1353 End
1354
1355 Style Fact
1356   CopyStyle        Corollary
1357   LatexName        fact
1358   LabelString      "Fact."
1359 End
1360
1361 Style Lemma
1362   CopyStyle        Corollary
1363   LatexName        lemma
1364   LabelString      "Lemma."
1365 End
1366
1367 Style Proof
1368   CopyStyle        Corollary
1369   LatexName        proof
1370   LabelString      "Proof."
1371 End
1372
1373 Style Theorem
1374   CopyStyle        Corollary
1375   LatexName        theorem
1376   LabelString      "Theorem."
1377 End
1378
1379
1380 #
1381 # MISC.
1382 #
1383
1384 Style LyX-Code
1385   Category         MainText
1386   Margin           Static
1387   LatexType        Environment
1388   LatexName        lyxcode
1389   NextNoIndent     1
1390   LeftMargin       MMM
1391   RightMargin      MMM
1392   TopSep           0.5
1393   BottomSep        0.5
1394   Align            Left
1395   AlignPossible    Block, Left, Right, Center
1396   LabelType        No_Label
1397   FreeSpacing      1
1398   Preamble
1399   \newenvironment{lyxcode}
1400     {\par\begin{list}{}{
1401       \setlength{\rightmargin}{\leftmargin}
1402       \setlength{\listparindent}{0pt}% needed for AMS classes
1403       \raggedright
1404       \setlength{\itemsep}{0pt}
1405       \setlength{\parsep}{0pt}
1406       \normalfont\ttfamily}%
1407      \def\{{\char`\{}
1408      \def\}{\char`\}}
1409      \def\textasciitilde{\char`\~}
1410      \item[]}
1411     {\end{list}}
1412   EndPreamble
1413   Font
1414     Family         Typewriter
1415   EndFont
1416   DocBookTag            programlisting
1417   DocBookTagType        paragraph
1418   DocBookAttr                   language='lyx'
1419 End
1420
1421 Style NoteItem
1422   Category         MainText
1423   Margin           Static
1424   LatexType        Command
1425   LatexName        note
1426   LatexParam       [item]
1427   ParSkip          0.5
1428   TopSep           1
1429   BottomSep        1
1430   ParSep           0
1431   Align            Left
1432   LabelType        Static
1433   LabelSep         xx
1434   LabelString      "Note:"
1435   LeftMargin       "Note:xx"
1436   LabelFont
1437     Family         Roman
1438     Color          latex
1439   EndFont
1440   Argument 1
1441     LabelString    "On Slide"
1442     MenuString     "Overlay Specifications|v"
1443     Tooltip        "Specify the overlay settings (see beamer manual)"
1444     LeftDelim      <
1445     RightDelim     >
1446     PassThru       1
1447   EndArgument
1448   IsAutoNestedBy
1449     Itemize,Enumerate
1450   EndIsAutoNestedBy
1451 End
1452
1453
1454 #
1455 # CHARSTYLES
1456 #
1457
1458
1459 InsetLayout Flex:Bold
1460   LyXType          charstyle
1461   LabelString      Bold
1462   LatexType        command
1463   LatexName        textbf
1464   Font
1465     Series         bold
1466   EndFont
1467   Argument 1
1468     LabelString    "Action"
1469     MenuString     "Action Specifications|S"
1470     Tooltip        "Specify the overlay settings (see beamer manual)"
1471     LeftDelim      <
1472     RightDelim     >
1473     PassThru       1
1474   EndArgument
1475   ResetsFont       true
1476   CustomPars       false
1477 End
1478
1479 InsetLayout Flex:Emphasize
1480   LyXType          charstyle
1481   LabelString      Emph.
1482   LatexType        command
1483   LatexName        emph
1484   Font
1485     Shape          italic
1486   EndFont
1487   Argument 1
1488     LabelString    "Action"
1489     MenuString     "Action Specifications|S"
1490     Tooltip        "Specify the overlay settings (see beamer manual)"
1491     LeftDelim      <
1492     RightDelim     >
1493     PassThru       1
1494   EndArgument
1495   ResetsFont       true
1496   CustomPars       false
1497 End
1498
1499 InsetLayout Flex:Alert
1500   LyXType          charstyle
1501   LabelString      Alert
1502   LatexType        command
1503   LatexName        alert
1504   Font
1505     Color          red
1506   EndFont
1507   Argument 1
1508     LabelString    "Action"
1509     MenuString     "Action Specifications|S"
1510     Tooltip        "Specify the overlay settings (see beamer manual)"
1511     LeftDelim      <
1512     RightDelim     >
1513     PassThru       1
1514   EndArgument
1515   ResetsFont       true
1516   CustomPars       false
1517 End
1518
1519 InsetLayout Flex:Structure
1520   LyXType          charstyle
1521   LabelString      Structure
1522   LatexType        command
1523   LatexName        structure
1524   Font
1525     Color          blue
1526   EndFont
1527   Argument 1
1528     LabelString    "Action"
1529     MenuString     "Action Specifications|S"
1530     Tooltip        "Specify the overlay settings (see beamer manual)"
1531     LeftDelim      <
1532     RightDelim     >
1533     PassThru       1
1534   EndArgument
1535   ResetsFont       true
1536   CustomPars       false
1537 End
1538
1539 InsetLayout Flex:Only
1540   LyXType          charstyle
1541   LabelString      Only
1542   LatexType        command
1543   LatexName        only
1544   Font
1545     Color          red
1546   EndFont
1547   Argument 1
1548     LabelString    "Action"
1549     MenuString     "Action Specifications|S"
1550     Tooltip        "Specify the overlay settings (see beamer manual)"
1551     LeftDelim      <
1552     RightDelim     >
1553     PassThru       1
1554     AutoInsert     1
1555   EndArgument
1556   ResetsFont       true
1557   CustomPars       false
1558 End
1559
1560 InsetLayout Flex:Uncover
1561   LyXType          charstyle
1562   LabelString      Uncover
1563   LatexType        command
1564   LatexName        uncover
1565   Font
1566     Color          red
1567   EndFont
1568   Argument 1
1569     LabelString    "Action"
1570     MenuString     "Action Specifications|S"
1571     Tooltip        "Specify the overlay settings (see beamer manual)"
1572     LeftDelim      <
1573     RightDelim     >
1574     PassThru       1
1575     AutoInsert     1
1576   EndArgument
1577   ResetsFont       true
1578   CustomPars       false
1579 End
1580
1581 InsetLayout Flex:Visible
1582   LyXType          charstyle
1583   LabelString      Visible
1584   LatexType        command
1585   LatexName        visible
1586   Font
1587     Color          red
1588   EndFont
1589   Argument 1
1590     LabelString    "Action"
1591     MenuString     "Action Specifications|S"
1592     Tooltip        "Specify the overlay settings (see beamer manual)"
1593     LeftDelim      <
1594     RightDelim     >
1595     PassThru       1
1596     AutoInsert     1
1597   EndArgument
1598   ResetsFont       true
1599   CustomPars       false
1600 End
1601
1602 InsetLayout Flex:Invisible
1603   LyXType          charstyle
1604   LabelString      Invisible
1605   LatexType        command
1606   LatexName        invisible
1607   Font
1608     Color          red
1609   EndFont
1610   Argument 1
1611     LabelString    "Action"
1612     MenuString     "Action Specifications|S"
1613     Tooltip        "Specify the overlay settings (see beamer manual)"
1614     LeftDelim      <
1615     RightDelim     >
1616     PassThru       1
1617     AutoInsert     1
1618   EndArgument
1619   ResetsFont       true
1620   CustomPars       false
1621 End
1622
1623 InsetLayout Flex:Alternative
1624   LyXType          charstyle
1625   LabelString      Alternative
1626   LatexType        command
1627   LatexName        alt
1628   Font
1629     Color          red
1630   EndFont
1631   Argument 1
1632     LabelString    "Action"
1633     MenuString     "Action Specifications|S"
1634     Tooltip        "Specify the overlay settings (see beamer manual)"
1635     LeftDelim      <
1636     RightDelim     >
1637     PassThru       1
1638   EndArgument
1639   Argument 2
1640     LabelString    "Default Text"
1641     Tooltip        "Enter the default text here"
1642     Mandatory      1
1643   EndArgument
1644   ResetsFont       true
1645   CustomPars       false
1646 End
1647
1648 InsetLayout Flex:Beamer_Note
1649   LyXType          custom
1650   LabelString      Note
1651   LatexType        command
1652   LatexName        note
1653   Decoration       Classic
1654   Font
1655     Color          blue
1656   EndFont
1657   Argument 1
1658     LabelString    "Action"
1659     MenuString     "Action Specifications|S"
1660     Tooltip        "Specify the overlay settings (see beamer manual)"
1661     LeftDelim      <
1662     RightDelim     >
1663     PassThru       1
1664   EndArgument
1665   Argument 2
1666     LabelString    "Note Options"
1667     Tooltip        "Specifiy note options (see beamer manual)"
1668   EndArgument
1669   ResetsFont       true
1670 End
1671
1672 InsetLayout Flex:ArticleMode
1673    LyXType         custom
1674    LatexName       mode
1675    LatexParam      <article>
1676    LatexType       command
1677    Decoration      classic
1678    LabelString     Article
1679    MultiPar        true
1680    ResetsFont      true
1681 End
1682
1683 InsetLayout Flex:PresentationMode
1684    LyXType         custom
1685    LatexName       mode
1686    LatexParam      <presentation>
1687    LatexType       command
1688    Decoration      classic
1689    LabelString     Presentation
1690    MultiPar        true
1691    ResetsFont      true
1692 End
1693
1694
1695 #
1696 # FLOATS
1697 #
1698
1699 Input stdfloatnames.inc
1700
1701 Float
1702   Type             table
1703   GuiName          Table
1704   Placement        tbp
1705   Extension        lot
1706   NumberWithin     none
1707   Style            plain
1708   ListName         "List of Tables"
1709   IsPredefined     true
1710   UsesFloatPkg     false
1711   ListCommand      listoftables
1712 End
1713
1714 Float
1715   Type             figure
1716   GuiName          Figure
1717   Placement        tbp
1718   Extension        lof
1719   NumberWithin     none
1720   Style            plain
1721   ListName         "List of Figures"
1722   IsPredefined     true
1723   UsesFloatPkg     false
1724   ListCommand      listoffigures
1725 End
1726
1727
1728 Input theorems-refprefix.inc