home *** CD-ROM | disk | FTP | other *** search
/ Dream 52 / Amiga_Dream_52.iso / Linux / Divers / lyx-0.13.2.tar.gz / lyx-0.13.2.tar / lyx-0.13.2 / lib / layouts / amsdefs.inc < prev    next >
Text File  |  1998-04-23  |  6KB  |  360 lines
  1. # Author : David L. Johnson <dlj0@lehigh.edu>
  2. # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
  3. # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
  4.  
  5. # Including the maths stuff
  6. Input amsmaths.inc
  7.  
  8. # the environnements copied from the old amsart.layout are :
  9. # - Proof, 
  10. # - Bibliography
  11. # - Title
  12. # - Author
  13. # - Date
  14. # - Abstract (This is a title component for this style.)
  15. # - Address
  16. # - Email
  17. # - Keywords
  18. # - Subjectclass
  19.  
  20. # Proof style declaration
  21. Style Proof
  22.   Margin        First_Dynamic
  23.   LatexType        Environment
  24.   LatexName        proof
  25.   NextNoIndent        1
  26.   LabelSep        xx
  27.   ParIndent             MMM  
  28.   ParSkip        0.4
  29.   ItemSep        0.2
  30.   TopSep        0.7
  31.   BottomSep        0.7
  32.   ParSep        0.3
  33.   Align            Block
  34.   AlignPossible        Block, Left
  35.   LabelType        Static
  36.   LabelString        "Proof."
  37.   
  38.   # standard font definition
  39.   Font
  40.     Shape               Up
  41.     Size                Normal
  42.   EndFont
  43.  
  44.   # label font definition
  45.   LabelFont
  46.     Shape               Italic
  47.   EndFont
  48.  
  49.   # We don't want the preamble from Theorem
  50.   Preamble
  51.   EndPreamble 
  52. End  
  53.  
  54. ### Now the title stuff. We copy do not use stdstruct.inc to keep
  55. ### things in the right order
  56.  
  57. # Title style definition
  58. Style Title
  59.   Margin        Static
  60.   LatexType        Command
  61.   InTitle        1
  62.   LatexName        title
  63.   ParSkip        0.4
  64.   ItemSep        0
  65.   TopSep        0
  66.   BottomSep        1
  67.   ParSep        1
  68.   Align            Center
  69.   AlignPossible        Center
  70.   LabelType        No_Label
  71.  
  72.   # standard font definition
  73.   Font
  74.     Shape        Smallcaps
  75.     Series         Bold
  76.     Size        Larger
  77.   EndFont
  78. End
  79.  
  80. # Author style definition
  81. Style Author
  82.   Margin        Static
  83.   LatexType        Command
  84.   InTitle        1
  85.   LatexName        author
  86.   LabelSep        xxx
  87.   ParSkip        0.4
  88.   TopSep        1.3
  89.   BottomSep        0.7
  90.   ParSep        0.7
  91.   Align            Center
  92.   AlignPossible        Center
  93.   LabelType        No_Label
  94.  
  95.   # standard font definition
  96.   Font
  97.     Size        Large
  98.     Shape        Smallcaps
  99.   EndFont
  100.  
  101. End
  102.  
  103. # Date style definition
  104. Style Date
  105.   Margin        Dynamic
  106.   LatexType        Command
  107.   InTitle        1
  108.   LatexName        date
  109.   LabelSep        xxx
  110.   ParSkip        0.4
  111.   TopSep        0.9
  112.   BottomSep        0.5
  113.   ParSep        1
  114.   Align            Center
  115.   AlignPossible        Center
  116.   LabelType        Static
  117.   LabelString        "Date: "
  118.  
  119.   # standard font definition
  120.   Font 
  121.     Size        Large
  122.   EndFont
  123.  
  124.   LabelFont
  125.     Shape        Italic
  126.     Size        Large
  127.   EndFont
  128. End
  129.  
  130. # Abstract style definition
  131. Style Abstract 
  132.   Margin        First_Dynamic
  133.   LatexType        Environment
  134.   InTitle        1
  135.   LatexName        abstract
  136.   LeftMargin        MMM
  137.   LabelIndent        MMM
  138.   RightMargin        MMM
  139.   ParIndent        MM
  140.   TopSep        0.7
  141.   BottomSep        0.7
  142.   Align            Block
  143.   AlignPossible        Block
  144.   LabelType        Static
  145.   LabelString        Abstract.
  146.   LabelSep        M
  147.  
  148.   # standard font definition
  149.   Font 
  150.     Size        Small
  151.   EndFont
  152.  
  153.   # label font definition
  154.   LabelFont
  155.     Shape        Smallcaps
  156.   EndFont
  157. End 
  158.  
  159. # Address style definition
  160. Style Address
  161.   Margin        Dynamic
  162.   LatexType        Command
  163.   InTitle        1
  164.   LatexName        address
  165.   ParSkip        0.4
  166.   BottomSep        1.5
  167.   ParSep        1.5
  168.   Align            Left
  169.   AlignPossible        Block, Left, Right, Center
  170.   LabelType        Static
  171.   LabelString        "Address: "
  172.   # label font definition
  173.   LabelFont
  174.     Shape        Italic
  175.   EndFont
  176. End  
  177.  
  178. # Current Address style definition
  179. Style Current_Address
  180.   Margin        Dynamic
  181.   LatexType        Command
  182.   InTitle        1
  183.   LatexName        curraddr
  184.   ParSkip        0.4
  185.   BottomSep        1.5
  186.   ParSep        1.5
  187.   Align            Left
  188.   AlignPossible        Block, Left, Right, Center
  189.   LabelType        Static
  190.   LabelString        "Current address: "
  191.   # label font definition
  192.   LabelFont
  193.     Shape        Italic
  194.   EndFont
  195. End  
  196.  
  197. # Email style definition
  198. Style Email
  199.   Margin        First_Dynamic
  200.   LatexType        Command
  201.   InTitle        1
  202.   LatexName        email
  203.   ParSkip        0.4
  204.   BottomSep        1.5
  205.   ParSep        1.5
  206.   Align            Left
  207.   AlignPossible        Block, Left, Right, Center
  208.   LabelType        Static
  209.   labelString        "E-mail address: "
  210.   LabelFont
  211.     Shape        Italic
  212.   EndFont
  213. End
  214.  
  215. # URL style definition
  216. Style URL
  217.   Margin        First_Dynamic
  218.   LatexType        Command
  219.   InTitle        1
  220.   LatexName        urladdr
  221.   ParSkip        0.4
  222.   BottomSep        1.5
  223.   ParSep        1.5
  224.   Align            Left
  225.   AlignPossible        Block, Left, Right, Center
  226.   LabelType        Static
  227.   labelString        "URL: "
  228.   LabelFont
  229.     Shape        Italic
  230.   EndFont
  231. End
  232.  
  233. # Keywords style definition
  234. Style Keywords
  235.   Margin        Dynamic
  236.   LatexType        Command
  237.   InTitle        1
  238.   LatexName        keywords
  239.   ParSkip        0.4
  240.   BottomSep        1.5
  241.   ParSep        1.5
  242.   Align            Left
  243.   AlignPossible        Block, Left, Right, Center
  244.   LabelType        Static
  245.   LabelString        "Key words and phrases: "
  246.   # label font definition
  247.   LabelFont
  248.     Shape        Italic
  249.   EndFont
  250. End  
  251.  
  252. # Thanks style definition
  253. Style Thanks
  254.   Margin        Dynamic
  255.   LatexType        Command
  256.   InTitle        1
  257.   LatexName        thanks
  258.   ParSkip        0.4
  259.   BottomSep        1.5
  260.   ParSep        1.5
  261.   Align            Left
  262.   AlignPossible        Block, Left, Right, Center
  263.   LabelType        Static
  264.   LabelString        "Thanks: "
  265.   # label font definition
  266.   LabelFont
  267.     Shape        Italic
  268.   EndFont
  269. End  
  270.  
  271. # Dedicatory style definition
  272. Style Dedicatory
  273.   Margin        Dynamic
  274.   LatexType        Command
  275.   InTitle        1
  276.   LatexName        dedicatory
  277.   ParSkip        0.4
  278.   BottomSep        1.5
  279.   ParSep        1.5
  280.   Align            Left
  281.   AlignPossible        Block, Left, Right, Center
  282.   LabelType        Static
  283.   LabelString        "Dedication: "
  284.   # label font definition
  285.   LabelFont
  286.     Shape        Italic
  287.   EndFont
  288. End  
  289.  
  290.  
  291. # Translator style definition
  292. Style Translator
  293.   Margin        Dynamic
  294.   LatexType        Command
  295.   InTitle        1
  296.   LatexName        translator
  297.   ParSkip        0.4
  298.   BottomSep        1.5
  299.   ParSep        1.5
  300.   Align            Left
  301.   AlignPossible        Block, Left, Right, Center
  302.   LabelType        Static
  303.   LabelString        "Translator: "
  304.   # label font definition
  305.   LabelFont
  306.     Shape        Italic
  307.   EndFont
  308. End  
  309.  
  310. # Subjectclass style definition
  311. Style Subjectclass
  312.   Margin        Dynamic
  313.   LatexType        Command
  314.   InTitle        1
  315.   LatexName        subjclass
  316.   ParSkip        0.4
  317.   BottomSep        1.5
  318.   ParSep        1.5
  319.   Align            Left
  320.   AlignPossible        Block, Left, Right, Center
  321.   LabelType        Static
  322.   LabelString        "1991 Mathematics Subject Classification: "
  323.   # label font definition
  324.   LabelFont
  325.     Shape        Italic
  326.   EndFont
  327. End 
  328.  
  329.  
  330. # Bibliography style definition
  331. Style Bibliography
  332.   Margin        First_Dynamic
  333.   LatexType        Item_Environment
  334.   LatexName        thebibliography
  335.   NextNoIndent        1
  336.   LeftMargin        MM
  337.   ParSkip        0.4
  338.   ItemSep        0
  339.   TopSep        0.7
  340.   BottomSep        0.7
  341.   ParSep        0.5
  342.   Align            Block
  343.   AlignPossible        Block, Left
  344.   LabelType        Bibliography
  345.   LabelString        References
  346.   LabelBottomSep    0.7
  347.  
  348.   # standard font definition
  349.   Font
  350.     Size        Small
  351.   EndFont
  352.  
  353.   # label font definition
  354.   LabelFont
  355.     Size        Normal
  356.     Shape        Smallcaps
  357.   EndFont
  358. End
  359.  
  360.