lib/layouts/beamer.layout

   1 #% Do not delete the line below; configure depends on this
   2 #  \DeclareLaTeXClass[beamer,pgf.sty,xcolor.sty]{presentation (beamer)}
   3 # Author : Till Tantau <tantau@users.sourceforge.net>
   4
   5 # $Header: /cvsroot/latex-beamer/latex-beamer/lyx/layouts/beamer.layout,v 1.16 2004/10/07 20:53:07 tantau Exp $
   6
   7 # Includes
   8 Format 4
   9 Input stdcounters.inc
  10
  11 # local counters
  12
  13 # Is this needed? Could probably go -- MV 16/05/2007
  14 Counter
  15   Name                 figure
  16   Name                 lyxframeend{}\section
  17 End
  18
  19
  20 # General textclass parameters
  21 Columns            1
  22 Sides              1
  23 SecNumDepth        2
  24 TocDepth           2
  25 DefaultStyle       Standard
  26
  27 DefaultFont
  28   Family           Sans
  29   Series           Medium
  30   Shape            Up
  31   Size             Normal
  32   Color            None
  33 EndFont
  34
  35
  36 # Standard style definition
  37 Style Standard
  38   Margin           Static
  39   LatexType        Paragraph
  40   LatexName        dummy
  41   ParIndent        MM
  42   ParSkip          0.4
  43   Align            Left
  44   AlignPossible    Block, Left, Right, Center
  45   LabelType        No_Label
  46 End
  47
  48 # List section
  49 # Itemize style definition
  50 Style Itemize
  51   Margin           Static
  52   LatexType        Item_Environment
  53   LatexName        itemize
  54   NextNoIndent     1
  55   LeftMargin       MMN
  56   LabelSep         xx
  57   ItemSep          0.2
  58   TopSep           0.7
  59   BottomSep        0.7
  60   ParSep           0.3
  61   Align            Left
  62   AlignPossible    Left
  63   LabelType        Itemize
  64   LabelString      "*"
  65 End
  66
  67 # Enumerate style definition
  68 Style Enumerate
  69   Margin           Static
  70   LatexType        Item_Environment
  71   LatexName        enumerate
  72   NextNoIndent     1
  73   LeftMargin       MMN
  74   LabelSep         xx
  75   ParSkip          0.0
  76   ItemSep          0.2
  77   TopSep           0.7
  78   BottomSep        0.7
  79   ParSep           0.3
  80   Align            Left
  81   AlignPossible    Left
  82   LabelType        Enumerate
  83 End
  84
  85 # Description style definition
  86 Style Description
  87   Margin           First_Dynamic
  88   LatexType        Item_environment
  89   LatexName        description
  90   NextNoIndent     1
  91   LeftMargin       MM
  92   LabelSep         xxx
  93   ParSkip          0.4
  94   ItemSep          0.2
  95   TopSep           0.7
  96   BottomSep        0.7
  97   ParSep           0.3
  98   Align            Left
  99   AlignPossible    Left
 100   LabelType        Manual
 101   LabelString      "MM"
 102
 103   # label font definition
 104   LabelFont
 105     Series        Bold
 106   EndFont
 107 End
 108
 109 # Sectioning section
 110 # Part style definition
 111 Style Part
 112   Margin           Dynamic
 113   LatexType        Command
 114   LatexName        part
 115   NeedProtect      1
 116   NextNoIndent     1
 117   Labelsep         xxx
 118   ParSkip          0.4
 119   TopSep           4
 120   BottomSep        4
 121   ParSep           0.8
 122   Align            Center
 123   Alignpossible    Center
 124   LabelType        Static
 125   LabelString      "Part "
 126
 127   # standard font definition
 128   Font
 129     Family         Roman
 130     Series         Bold
 131     Size           Huge
 132   EndFont
 133
 134   LabelFont
 135     Color          Latex
 136   EndFont
 137 End
 138
 139 # Section style definition
 140 Style Section
 141   Margin           First_Dynamic
 142   LatexType        Command
 143   LatexName        lyxframeend{}\section
 144   NeedProtect      1
 145   NextNoIndent     1
 146   LabelSep         xxx
 147   ParSkip          0.4
 148   TopSep           2
 149   BottomSep        0.25
 150   ParSep           0.7
 151   Align            Left
 152   AlignPossible    Left
 153   LabelType        Counter
 154   LabelCounter     section
 155   LabelString      "Section \arabic{section}"
 156   OptionalArgs     1
 157
 158   Font
 159     Family         Roman
 160     Series         Bold
 161     Size           huge
 162   EndFont
 163
 164   LabelFont
 165     Color          latex
 166   EndFont
 167   LabelStringAppendix "\Alph{section}"
 168   TocLevel         1
 169 End
 170
 171 # Section* style definition
 172 Style Section*
 173   CopyStyle        Section
 174   Margin           Static
 175   LatexName        lyxframeend{}\section*
 176   LabelType        No_Label
 177   OptionalArgs     0
 178 End
 179
 180 # Subsection style definition
 181 Style Subsection
 182   Margin           First_Dynamic
 183   LatexType        Command
 184   LatexName        lyxframeend{}\subsection
 185   NeedProtect      1
 186   NextNoIndent     1
 187   LabelSep         xxx
 188   ParSkip          0.4
 189   TopSep           2
 190   BottomSep        0.25
 191   ParSep           0.5
 192   Align            Left
 193   AlignPossible    Left
 194   LabelType        Counter
 195   LabelCounter     subsection
 196   LabelString      "Subsection \arabic{section}.\arabic{subsection}"
 197   OptionalArgs     1
 198
 199   # standard font definition
 200   Font
 201     Family         Roman
 202     Series         Bold
 203     Size           larger
 204   EndFont
 205
 206   LabelFont
 207     Color          latex
 208   EndFont
 209   LabelStringAppendix "\arabic{section}.\arabic{subsection}"
 210   TocLevel 2
 211 End
 212
 213 # Subsection* style definition
 214 Style Subsection*
 215   CopyStyle        Subsection
 216   Margin           Static
 217   LatexName        lyxframeend{}\subsection*
 218   LabelType        No_Label
 219   OptionalArgs     0
 220 End
 221
 222 # Frame control definition
 223 Style BeginFrame
 224   KeepEmpty        1
 225   LatexType        Command
 226   LatexName        lyxframeend{}\lyxframe
 227   Margin           First_Dynamic
 228   NextNoIndent     1
 229   ParSkip          0
 230   TopSep           2.5
 231   BottomSep        0.5
 232   ParSep           0
 233   Align            Center
 234   AlignPossible    Center
 235   LabelType        Static
 236   LabelBottomSep   0
 237   LeftMargin       M
 238   LabelString      "Frame "
 239
 240   Font
 241     Series         Bold
 242     Size           Largest
 243     Color          Blue
 244   EndFont
 245
 246   LabelFont
 247     Family         Roman
 248     Color          latex
 249   EndFont
 250
 251   Preamble
 252     \makeatletter
 253     \long\def\lyxframe#1{\@lyxframe#1\@lyxframestop}%
 254     \def\@lyxframe{\@ifnextchar<{\@@lyxframe}{\@@lyxframe<*>}}%
 255     \def\@@lyxframe<#1>{\@ifnextchar[{\@@@lyxframe<#1>}{\@@@lyxframe<#1>[]}}
 256     \def\@@@lyxframe<#1>[{\@ifnextchar<{\@@@@@lyxframe<#1>[}{\@@@@lyxframe<#1>[<*>][}}
 257     \def\@@@@@lyxframe<#1>[#2]{\@ifnextchar[{\@@@@lyxframe<#1>[#2]}{\@@@@lyxframe<#1>[#2][]}}
 258     \long\def\@@@@lyxframe<#1>[#2][#3]#4\@lyxframestop#5\lyxframeend{%
 259       \frame<#1>[#2][#3]{\frametitle{#4}#5}}
 260     \makeatother
 261   EndPreamble
 262 End
 263
 264 Style BeginPlainFrame
 265   KeepEmpty         1
 266   LatexType         Command
 267   LatexName         lyxframeend{}\lyxplainframe
 268   Margin            First_Dynamic
 269   NextNoIndent      1
 270   ParSkip           0
 271   TopSep            2.5
 272   BottomSep         0.5
 273   ParSep            0
 274   Align             Center
 275   AlignPossible     center
 276   LabelType         Static
 277   LabelBottomSep    0
 278   LeftMargin        M
 279   LabelString       "Frame (no head/foot/sidebars)__"
 280
 281   Font
 282     Series          Bold
 283     Size            Largest
 284     Color           Blue
 285   EndFont
 286
 287   LabelFont
 288     Family          Roman
 289     Color           latex
 290   EndFont
 291
 292   Preamble
 293     \makeatletter
 294     \long\def\lyxplainframe#1{\@lyxplainframe#1\@lyxframestop}%
 295     \def\@lyxplainframe{\@ifnextchar<{\@@lyxplainframe}{\@@lyxplainframe<*>}}%
 296     \long\def\@@lyxplainframe<#1>#2\@lyxframestop#3\lyxframeend{%
 297       \frame<#1>[plain]{\frametitle{#2}#3}}
 298     \makeatother
 299   EndPreamble
 300 End
 301
 302 Style AgainFrame
 303   KeepEmpty         0
 304   LatexType         Command
 305   LatexName         lyxframeend{}\lyxagainframe
 306   Margin            First_Dynamic
 307   NextNoIndent      1
 308   ParSkip           0
 309   TopSep            3
 310   BottomSep         3
 311   ParSep            0
 312   Align             Center
 313   AlignPossible     Center
 314   LabelType         Static
 315   LabelBottomSep    0
 316   LeftMargin        M
 317   LabelString       "Again frame with label__"
 318
 319   Font
 320     Color           latex
 321   EndFont
 322
 323   LabelFont
 324     Family          Roman
 325     Color           latex
 326     Series          Bold
 327     Size            Largest
 328   EndFont
 329
 330   Preamble
 331     \makeatletter
 332     \long\def\lyxagainframe#1{\@lyxagainframe#1\@lyxframestop}%
 333     \def\@lyxagainframe{\@ifnextchar<{\@@lyxagainframe}{\@@lyxagainframe<*>}}%
 334     \def\@@lyxagainframe<#1>{\@ifnextchar[{\@@@lyxagainframe<#1>}{\@@@lyxagainframe<#1>[]}}
 335     \long\def\@@@lyxagainframe<#1>[#2]#3\@lyxframestop{%
 336       \againframe<#1>[#2]{#3}}
 337     \makeatother
 338   EndPreamble
 339 End
 340
 341 Style EndFrame
 342   KeepEmpty         1
 343   LatexType         Command
 344   LatexName         lyxframeend
 345   Margin            First_Dynamic
 346   ParSkip           0
 347   TopSep            0
 348   BottomSep         3
 349   ParSep            0
 350   Align             Center
 351   AlignPossible     Center
 352   LabelType         Static
 353   LabelBottomSep    0
 354   LeftMargin        MMMMM
 355   LabelString       "________________________________"
 356
 357   LabelFont
 358     Family          typewriter
 359     Series          Medium
 360     Size            Normal
 361     Color           latex
 362   EndFont
 363
 364   Preamble
 365     \def\lyxframeend{} % In case there is a superfluous frame end
 366   EndPreamble
 367 End
 368
 369 # Frame decoration section
 370 Style FrameSubtitle
 371   Margin           Static
 372   LatexType        Command
 373   LatexName        framesubtitle
 374   ParSkip          0.4
 375   ItemSep          0
 376   TopSep           0
 377   BottomSep        1
 378   ParSep           1
 379   Align            Center
 380   AlignPossible    Center
 381   LabelType        No_Label
 382   OptionalArgs     1
 383
 384   # standard font definition
 385   Font
 386     Series         Bold
 387     Color          Blue
 388   EndFont
 389
 390 End
 391
 392
 393 Style Column
 394   Margin           Static
 395   LatexType        Command
 396   LatexName        column
 397   ParSkip          0.5
 398   TopSep           1
 399   BottomSep        1
 400   ParSep           0
 401   ParIndent        MM
 402   Align            Left
 403   LabelType        Static
 404   LabelSep         xx
 405   LabelString      "start column (increase depth!), width:"
 406   OptionalArgs     1
 407   LeftMargin       "start column (increase depth!), width:"
 408
 409   # standard font definition
 410   LabelFont
 411     Family         Roman
 412     Color          latex
 413   EndFont
 414 End
 415
 416
 417 Style Columns
 418
 419   KeepEmpty        1
 420   Margin           Static
 421   LatexType        Environment
 422   NextNoIndent     0
 423   ParIndent        MM
 424   Align            Left
 425   LabelType        Static
 426   LabelSep         x
 427
 428   LatexName        columns}%{
 429   LabelString      "columns"
 430   LeftMargin       "columnsx"
 431
 432   ParSkip          0.5
 433   TopSep           1
 434   BottomSep        1
 435   ParSep           0
 436
 437
 438   # font & label font definition
 439
 440   LabelFont
 441     Family         Roman
 442     Color          latex
 443   EndFont
 444 End
 445
 446 Style ColumnsCenterAligned
 447   KeepEmpty        1
 448   Margin           Static
 449   LatexType        Environment
 450   NextNoIndent     0
 451   ParIndent        MM
 452   Align            left
 453   LabelType        Static
 454   LabelSep         x
 455
 456   LatexName        centercolumns}%{
 457   LabelString      "columns (center aligned)"
 458   LeftMargin       "columns (center aligned) x"
 459
 460   ParSkip          0.5
 461   TopSep           1
 462   BottomSep        1
 463   ParSep           0
 464
 465   Preamble
 466   \newenvironment{centercolumns}{\begin{columns}[c]}{\end{columns}}
 467   EndPreamble
 468   # font & label font definition
 469
 470   LabelFont
 471     Family         Roman
 472     Color          latex
 473   EndFont
 474 End
 475
 476 Style ColumnsTopAligned
 477   KeepEmpty        1
 478   Margin           Static
 479   LatexType        Environment
 480   NextNoIndent     0
 481   ParIndent        MM
 482   Align            left
 483   LabelType        Static
 484   LabelSep         x
 485
 486   LatexName        topcolumns}%{
 487   LabelString      "columns (top aligned)"
 488   LeftMargin       "columns (top aligned) x"
 489
 490   ParSkip          0.5
 491   TopSep           1
 492   BottomSep        1
 493   ParSep           0
 494
 495   Preamble
 496   \newenvironment{topcolumns}{\begin{columns}[t]}{\end{columns}}
 497   EndPreamble
 498   # font & label font definition
 499
 500   LabelFont
 501     Family         Roman
 502     Color          latex
 503   EndFont
 504 End
 505
 506 # Frame progression section
 507 Style Pause
 508   KeepEmpty         1
 509   LatexType         Command
 510   LatexName         pause
 511   Margin            First_Dynamic
 512   NextNoIndent      1
 513   ParSkip           0
 514   TopSep            0
 515   BottomSep         0.25
 516   ParSep            0
 517   Align             Center
 518   AlignPossible     Center
 519   LabelType         Static
 520   LabelBottomSep    0
 521   LeftMargin        MMMMM
 522   LabelString       "_ _ _ _ _ _ _ _ _ _ _ _ _ _"
 523
 524   LabelFont
 525     Family          typewriter
 526     Series          Medium
 527     Size            Normal
 528     Color           latex
 529   EndFont
 530 End
 531
 532 Style Overprint
 533   Margin           First_Dynamic
 534   LatexType        Environment
 535   NextNoIndent     0
 536   ParIndent        MM
 537   Align            Left
 538   LabelType        Static
 539   LabelSep         xx
 540
 541   LatexName        overprint
 542   LabelString      "overprint"
 543
 544   ParSkip          0.5
 545   TopSep           1
 546   BottomSep        1
 547   ParSep           0
 548   KeepEmpty        1
 549
 550   # font & label font definition
 551
 552   LabelFont
 553     Family         Roman
 554     Color          latex
 555   EndFont
 556 End
 557
 558 Style OverlayArea
 559   Margin           First_Dynamic
 560   LatexType        Environment
 561   NextNoIndent     0
 562   ParIndent        MM
 563   Align            Left
 564   LabelType        Static
 565   LabelSep         xx
 566
 567   LatexName        overlayarea
 568   LabelString      "overlayarea"
 569
 570   ParSkip          0.5
 571   TopSep           1
 572   BottomSep        1
 573   ParSep           0
 574
 575   # font & label font definition
 576
 577   LabelFont
 578     Family         Roman
 579     Color          latex
 580   EndFont
 581 End
 582
 583 Style Uncover
 584   Margin           First_Dynamic
 585   LatexType        Environment
 586   NextNoIndent     0
 587   ParIndent        MM
 588   Align            Left
 589   LabelType        Static
 590
 591   LatexName        uncoverenv}%{
 592   LabelString      "uncovered on slides "
 593
 594   ParSkip          0.5
 595   TopSep           1
 596   BottomSep        1
 597   ParSep           0
 598
 599   # font & label font definition
 600
 601   LabelFont
 602     Family         Roman
 603     Color          Latex
 604   EndFont
 605 End
 606
 607 Style Only
 608   Margin           First_Dynamic
 609   LatexType        Environment
 610   NextNoIndent     0
 611   ParIndent        MM
 612   Align            Left
 613   LabelType        Static
 614
 615   LatexName        onlyenv}%{
 616   LabelString      "only on slides_"
 617
 618   ParSkip          0.5
 619   TopSep           1
 620   BottomSep        1
 621   ParSep           0
 622
 623   # font & label font definition
 624
 625   LabelFont
 626     Family         Roman
 627     Color          Latex
 628   EndFont
 629 End
 630
 631 # Blocks section
 632 Style Block
 633   Margin           First_Dynamic
 634   LatexType        Environment
 635   NextNoIndent     0
 636   ParIndent        MM
 637   Align            Left
 638   LabelType        Static
 639   LabelSep         xx
 640
 641   LatexName        block
 642   LabelString      "block ( ERT[{title}] body ): "
 643
 644   ParSkip          0.5
 645   TopSep           1
 646   BottomSep        1
 647   ParSep           0
 648
 649   # font & label font definition
 650
 651   LabelFont
 652     Family         Roman
 653     Color          latex
 654   EndFont
 655 End
 656
 657 Style ExampleBlock
 658   Margin           First_Dynamic
 659   LatexType        Environment
 660   NextNoIndent     0
 661   ParIndent        MM
 662   Align            Left
 663   LabelType        Static
 664   LabelSep         xx
 665
 666   LatexName        exampleblock
 667   LabelString      "block ( ERT[{title}] example text ): "
 668
 669   ParSkip          0.5
 670   TopSep           1
 671   BottomSep        1
 672   ParSep           0
 673
 674   # font & label font definition
 675
 676   Font
 677     Color          green
 678   EndFont
 679
 680   LabelFont
 681     Family         Roman
 682     Color          latex
 683   EndFont
 684 End
 685
 686 Style AlertBlock
 687   Margin           First_Dynamic
 688   LatexType        Environment
 689   NextNoIndent     0
 690   ParIndent        MM
 691   Align            Left
 692   LabelType        Static
 693   LabelSep         xx
 694
 695   LatexName        alertblock
 696   LabelString      "block ( ERT[{title}] alert text ): "
 697
 698   ParSkip          0.5
 699   TopSep           1
 700   BottomSep        1
 701   ParSep           0
 702
 703   # font & label font definition
 704
 705   Font
 706     Color          red
 707   EndFont
 708
 709   LabelFont
 710     Family         Roman
 711     Color          latex
 712   EndFont
 713 End
 714
 715 # Title slide data section
 716 # Title style definition
 717 Style Title
 718   Margin           Static
 719   LatexType        Command
 720   InTitle          1
 721   LatexName        title
 722   ParSkip          0.4
 723   ItemSep          0
 724   TopSep           0
 725   BottomSep        1
 726   ParSep           1
 727   Align            Center
 728   AlignPossible    Center
 729   LabelType        No_Label
 730   OptionalArgs     1
 731
 732   # standard font definition
 733   Font
 734     Size           Huge
 735     Series         Bold
 736     Color          Blue
 737   EndFont
 738
 739 End
 740
 741 Style Subtitle
 742   Margin           Static
 743   LatexType        Command
 744   InTitle          1
 745   LatexName        subtitle
 746   ParSkip          0.4
 747   ItemSep          0
 748   TopSep           0
 749   BottomSep        1
 750   ParSep           1
 751   Align            Center
 752   AlignPossible    Center
 753   LabelType        No_Label
 754   OptionalArgs     1
 755
 756   # standard font definition
 757   Font
 758     Size           Large
 759     Series         Bold
 760     Color          Blue
 761   EndFont
 762
 763 End
 764
 765 # Author style definition
 766 Style Author
 767   Margin           Static
 768   LatexType        Command
 769   InTitle          1
 770   LatexName        author
 771   LabelSep         xxx
 772   ParSkip          0.4
 773   TopSep           1.3
 774   BottomSep        0.7
 775   ParSep           0.7
 776   Align            Center
 777   AlignPossible    Center
 778   LabelType        No_Label
 779   OptionalArgs     1
 780
 781   # standard font definition
 782   Font
 783     Size           Largest
 784     Color          Blue
 785   EndFont
 786
 787 End
 788
 789 Style Institute
 790   Margin           Dynamic
 791   LatexType        Command
 792   InTitle          1
 793   LatexName        institute
 794   LabelSep         xxx
 795   ParSkip          0.4
 796   TopSep           0.9
 797   BottomSep        0.5
 798   ParSep           1
 799   Align            Center
 800   AlignPossible    Center
 801   LabelType        No_Label
 802   OptionalArgs     1
 803
 804   # standard font definition
 805   Font
 806     Size           Large
 807     Color          Blue
 808   EndFont
 809 End
 810
 811 # Date style definition
 812 Style Date
 813   Margin           Dynamic
 814   LatexType        Command
 815   InTitle          1
 816   LatexName        date
 817   LabelSep         xxx
 818   ParSkip          0.4
 819   TopSep           0.9
 820   BottomSep        0.5
 821   ParSep           1
 822   Align            Center
 823   AlignPossible    Center
 824   LabelType        No_Label
 825   OptionalArgs     1
 826
 827   # standard font definition
 828   Font
 829     Size           Largest
 830     Color          Blue
 831   EndFont
 832 End
 833
 834 # Titles & bibliography section
 835 # Bibliography style definition
 836 Style Bibliography
 837   Margin           First_Dynamic
 838   LatexType        Bib_Environment
 839   LatexName        thebibliography
 840   NextNoIndent     1
 841   LeftMargin       MM
 842   ParSkip          0.4
 843   ItemSep          0
 844   TopSep           0.7
 845   BottomSep        0.7
 846   ParSep           0.5
 847   Align            Left
 848   AlignPossible    Left
 849   LabelType        Bibliography
 850   LabelString      "References"
 851   LabelBottomSep   0.7
 852
 853   # label font definition
 854   LabelFont
 855     Series         Bold
 856     Size           Larger
 857   EndFont
 858 End
 859
 860 Style TitleGraphic
 861   Margin           Static
 862   LatexType        Command
 863   InTitle          1
 864   LatexName        titlegraphic
 865   ParSkip          0.4
 866   ItemSep          0
 867   TopSep           0
 868   BottomSep        1
 869   ParSep           1
 870   Align            Center
 871   AlignPossible    Center
 872   LabelType        No_Label
 873
 874   # standard font definition
 875   Font
 876     Size           Huge
 877     Series         Bold
 878     Color          Blue
 879   EndFont
 880
 881 End
 882
 883
 884 # Theorems and such section
 885 Style Corollary
 886    Margin          First_Dynamic
 887    LatexType       Environment
 888    NextNoIndent    0
 889    ParIndent       MM
 890    Align           Left
 891    LabelType       Static
 892    LabelSep        xx
 893
 894    LatexName       corollary}%{
 895    LabelString     "Corollary_"
 896
 897    ParSkip         0.5
 898    TopSep          1
 899    BottomSep       1
 900    ParSep          0
 901    KeepEmpty       1
 902
 903    # font & label font definition
 904
 905    LabelFont
 906      Series        Bold
 907      Color         Blue
 908      Size          Large
 909    EndFont
 910 End
 911
 912 Style Definition
 913   CopyStyle        Corollary
 914   LatexName        definition}%{
 915   LabelString      "Definition. "
 916 End
 917
 918 Style Definitions
 919   CopyStyle        Corollary
 920   LatexName        definitions}%{
 921   LabelString      "Definitions. "
 922 End
 923
 924 Style Example
 925   CopyStyle        Corollary
 926   LatexName        example}%{
 927   LabelString      "Example. "
 928
 929   LabelFont
 930     Series         Bold
 931     Color          Green
 932   EndFont
 933 End
 934
 935 Style Examples
 936   CopyStyle        Corollary
 937   LatexName        examples}%{
 938   LabelString      "Examples. "
 939 End
 940
 941
 942 Style Fact
 943   CopyStyle        Corollary
 944   LatexName        fact}%{
 945   LabelString      "Fact. "
 946 End
 947
 948 Style Proof
 949   CopyStyle        Corollary
 950   LatexName        proof}%{
 951   LabelString      "Proof. "
 952 End
 953
 954 Style Theorem
 955   CopyStyle        Corollary
 956   LatexName        theorem}%{
 957   LabelString      "Theorem. "
 958 End
 959
 960 # Misc. section
 961 # Separator style definition
 962 Style Separator
 963   LatexType        Paragraph
 964   LatexName        dummy
 965   ParIndent        MM
 966   ParSkip          0.4
 967   Align            Left
 968   AlignPossible    Block, Left, Right, Center
 969   Margin           First_Dynamic
 970   TopSep           0
 971   BottomSep        0
 972   ParSep           0
 973   LabelType        Static
 974   LabelBottomSep   0
 975   LabelString      "___"
 976   KeepEmpty        1
 977
 978   LabelFont
 979     Series         Medium
 980     Size           Normal
 981     Color          latex
 982   EndFont
 983 End
 984
 985 Style LyX-Code
 986   Margin           Static
 987   LatexType        Environment
 988   LatexName        lyxcode
 989   NextNoIndent     1
 990   LeftMargin       MMM
 991   RightMargin      MMM
 992   TopSep           0.5
 993   BottomSep        0.5
 994   Align            Left
 995   AlignPossible    Block, Left, Right, Center
 996   LabelType        No_Label
 997   FreeSpacing      1
 998
 999   # define the environment lyxcode
1000   Preamble
1001   \newenvironment{lyxcode}
1002     {\begin{list}{}{
1003       \setlength{\rightmargin}{\leftmargin}
1004       \setlength{\listparindent}{0pt}% needed for AMS classes
1005       \raggedright
1006       \setlength{\itemsep}{0pt}
1007       \setlength{\parsep}{0pt}
1008       \normalfont\ttfamily}%
1009      \def\{{\char`\{}
1010      \def\}{\char`\}}
1011      \def\textasciitilde{\char`\~}
1012      \item[]}
1013     {\end{list}}
1014   EndPreamble
1015
1016   # standard font definition
1017   Font
1018     Family         Typewriter
1019   EndFont
1020 End
1021
1022 Style NoteItem
1023   Margin           Static
1024   LatexType        Command
1025   LatexName        note[item]
1026   ParSkip          0.5
1027   TopSep           1
1028   BottomSep        1
1029   ParSep           0
1030   Align            Left
1031   LabelType        Static
1032   LabelSep         xx
1033   LabelString      "note: "
1034   OptionalArgs     1
1035   LeftMargin       MMM
1036
1037   # standard font definition
1038   LabelFont
1039     Family         Roman
1040     Color          latex
1041   EndFont
1042 End
1043
1044
1045 # Input lyxmacros.inc
1046
1047 # Charstyles:
1048
1049 CharStyle Alert
1050   LatexType        Command
1051   LatexName        alert
1052   Font
1053     Color          red
1054   EndFont
1055 End
1056
1057
1058 CharStyle Structure
1059   LatexType        Command
1060   LatexName        structure
1061   Font
1062     Color          blue
1063   EndFont
1064 End
1065
1066
1067 Float
1068   Type             table
1069   GuiName          Table
1070   Placement        tbp
1071   Extension        lot
1072   NumberWithin     none
1073   Style            plain
1074   ListName         "List of Tables"
1075   LaTeXBuiltin     true
1076 End
1077
1078 Float
1079   Type             figure
1080   GuiName          Figure
1081   Placement        tbp
1082   Extension        lof
1083   NumberWithin     none
1084   Style            plain
1085   ListName         "List of Figures"
1086   LaTeXBuiltin     true
1087 End
1088
1089 TitleLaTeXName frame{\maketitle}
1090
1091
1092 Preamble
1093   \AtBeginDocument{
1094     \let\origtableofcontents=\tableofcontents
1095     \def\tableofcontents{\@ifnextchar[{\origtableofcontents}{\gobbletableofcontents}}
1096     \def\gobbletableofcontents#1{\origtableofcontents}
1097   }
1098 EndPreamble
1099