2011-06-16 21:25:52 +00:00
# svcommon (article) textclass definition file for inclusion.
# for Springer Verlag publications
# based on sjour.inc:
# --------
# Taken from initial LyX source code
# Author : Matthias Ettrich <ettrich@informatik.uni-tuebingen.de>
# Transposed by Pascal André <andre@via.ecp.fr>
2020-10-18 07:00:01 +00:00
# Heavily modified and enhanced by several developers.
2011-06-16 21:25:52 +00:00
# --------
# ejour2 made originally by Martin Vermeer based on article.layout.
# Modified for LyX 1.2 by Jean-Marc Lasgouttes and MV.
# Minor change for LyX 1.3.3 by Cengiz Gunay.
#
# Adapted for new svjour LaTeX2e classes published by Springer in 1999;
# work done by MV in 2000.
#
2011-07-10 02:55:27 +00:00
# Adapted for svmono, svmult, and svjour3 2011
# by Marcus Kriele (mkriele@mac.com) and Uwe Stöhr
2011-06-16 21:25:52 +00:00
# see http://www.springer.com/authors for class files and further instructions
2020-10-21 12:54:25 +00:00
Format 86
2011-06-17 04:10:49 +00:00
PageStyle Plain
2011-06-16 21:25:52 +00:00
Style Standard
Added categories for style Standard, Title, Abstract, ShortTitle,
Author, FourAuthors, Affiliation, FourAffiliations, Acknowledgements,
Itemize, Enumerate, Seriate
to layouts, where they were missing. More to follow
2012-12-30 18:33:20 +00:00
Category MainText
2011-06-17 04:10:49 +00:00
Margin Static
LatexType Paragraph
LatexName dummy
ParIndent MM
ParSkip 0.4
Align Block
AlignPossible Block , Left , Right , Center
LabelType No_Label
2020-10-18 07:00:01 +00:00
DocBookTag para
2011-06-16 21:25:52 +00:00
End
2011-06-17 04:10:49 +00:00
Input stdcounters . inc
Input stdfloats . inc
Input stdlists . inc
2011-06-16 21:25:52 +00:00
Input stdinsets . inc
Input stdsections . inc
Input stdstarsections . inc
Input stdlayouts . inc
Input stdtitle . inc
Input numreport . inc
2011-06-17 04:10:49 +00:00
ProvidesModule theorems - std
Input theorems - without - preamble . inc
NoStyle Fact
NoStyle Prop
2011-06-16 21:25:52 +00:00
NoCounter subparagraph
NoStyle Subparagraph *
Style Title
2011-06-21 04:11:01 +00:00
Align Left
2011-06-21 12:51:27 +00:00
AlignPossible Block , Center , Left , Right
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Family Sans
Series Bold
2011-06-16 21:25:52 +00:00
EndFont
2020-10-18 07:00:01 +00:00
DocBookTag title
DocBookTagType paragraph
DocBookInInfo maybe
2011-06-16 21:25:52 +00:00
End
Style Front_Matter
Category Structure
LatexType Command
LatexName frontmatter
KeepEmpty 1
2012-11-19 13:21:02 +00:00
ResetArgs 1
2011-06-16 21:25:52 +00:00
Margin First_Dynamic
NextNoIndent 1
ParSkip 0
TopSep 2.5
BottomSep 0.5
ParSep 0
Align Center
LabelType Static
LabelBottomSep 0
LeftMargin M
LabelString " --- Front Matter --- "
Font
Family Sans
Series Bold
Size Largest
Color Blue
EndFont
End
Style Main_Matter
CopyStyle Front_Matter
Category Structure
LatexName mainmatter
LabelString " --- Main Matter --- "
End
Style Back_Matter
CopyStyle Front_Matter
Category Structure
LatexName backmatter
LabelString " --- Back Matter --- "
End
Style Part
2011-07-15 18:12:53 +00:00
Margin Static
Align Right
2020-10-18 07:00:01 +00:00
DocBookTag title
DocBookTagType paragraph
DocBookSectionTag part
2020-10-26 02:55:25 +00:00
DocBookInInfo maybe
2020-10-18 07:00:01 +00:00
DocBookForceAbstractTag partintro
2011-06-16 21:25:52 +00:00
End
## The following is a variant of style Part. It allows to place some
## text on the following page which would otherwise be blank.
Style PartBacktext
2012-12-28 09:52:58 +00:00
Category Sectioning
2011-06-21 04:11:01 +00:00
Margin First_Dynamic
LabelString " Part \t hepart "
2013-02-09 18:37:06 +00:00
LabelType Static
2011-06-21 04:11:01 +00:00
TocLevel 0
LabelCounter part
Labelsep xx
NeedProtect 1
ParIndent MM
TopSep 4
BottomSep 4
2011-06-16 21:25:52 +00:00
LaTexType Environment
LatexName svmultpartbacktext
LabelFont
2011-06-21 04:11:01 +00:00
Series Bold
Size Huge
2011-09-22 02:22:53 +00:00
EndFont
2011-06-16 21:25:52 +00:00
TextFont
Series Medium
Shape Up
Size normal
2011-09-22 02:22:53 +00:00
EndFont
2012-11-19 13:21:02 +00:00
Argument 1
2012-12-08 19:04:13 +00:00
Mandatory 1
LabelString " Part Title "
2020-10-21 12:54:25 +00:00
Tooltip " Title of this part "
2017-12-29 10:51:24 +00:00
IsTocCaption 1
2020-10-21 12:54:25 +00:00
DocBookTag title
2012-11-19 13:21:02 +00:00
EndArgument
2011-06-16 21:25:52 +00:00
Preamble
\newenvironment { svmultpartbacktext }[ 1 ]{ \begin { partbacktext }
\part { #1}}{\end{partbacktext}}
EndPreamble
2011-06-21 04:11:01 +00:00
HTMLTag h1
2020-10-21 12:54:25 +00:00
DocBookTag NONE
DocBookSection true
DocBookSectionTag part
# A second paragraph of PartBacktext can only wreak havok: it should start a section, and nothing else (otherwise, it's a real nightmare to implement). This ought to be enough for now, even though the document cannot be valid.
2011-06-16 21:25:52 +00:00
End
Style Chapter
2011-06-21 04:11:01 +00:00
Align Left
2020-10-18 07:00:01 +00:00
DocBookTag title
DocBookTagType paragraph
2020-10-26 02:55:25 +00:00
DocBookInInfo maybe
2020-10-18 07:00:01 +00:00
DocBookSectionTag chapter
2011-06-16 21:25:52 +00:00
End
Style ChapSubtitle
2011-07-15 18:12:53 +00:00
LatexName chapsubtitle
LatexType Command
2012-12-28 09:52:58 +00:00
Category Sectioning
2011-06-21 04:11:01 +00:00
TopSep 0.7
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Up
Size large
2011-06-16 21:25:52 +00:00
EndFont
2020-10-18 07:00:01 +00:00
DocBookTag subtitle
2011-06-16 21:25:52 +00:00
End
Style ChapAuthor
2011-07-15 18:12:53 +00:00
LatexName chapauthor
LatexType Command
2012-12-28 09:52:58 +00:00
Category Sectioning
2011-07-15 18:12:53 +00:00
TopSep 0.7
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Up
Size normal
2011-07-15 18:12:53 +00:00
EndFont
2020-10-18 07:00:01 +00:00
DocBookTag personname
DocBookTagType paragraph
DocBookWrapperTag author
DocBookInInfo always
2011-06-16 21:25:52 +00:00
End
Style ChapMotto
2011-07-15 18:12:53 +00:00
LatexName motto
LatexType Command
2012-12-28 09:52:58 +00:00
Category Sectioning
2011-07-15 18:12:53 +00:00
TopSep 0.7
BottomSep 0.7
Align Left
LeftMargin MMMMMMMMMMMM
Font
2011-06-21 04:11:01 +00:00
Series Medium
Shape Italic
Size normal
2011-07-15 18:12:53 +00:00
EndFont
2011-06-16 21:25:52 +00:00
End
Style Section
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Up
Size large
2011-06-16 21:25:52 +00:00
EndFont
2011-06-21 04:11:01 +00:00
TocLevel 1
2011-06-16 21:25:52 +00:00
End
Style Subsection
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Italic
Size large
2011-06-16 21:25:52 +00:00
EndFont
2011-06-21 04:11:01 +00:00
TocLevel 2
2011-06-16 21:25:52 +00:00
End
Style Subsubsection
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Up
Size Normal
2011-06-16 21:25:52 +00:00
EndFont
2011-06-21 04:11:01 +00:00
TocLevel 3
2011-06-16 21:25:52 +00:00
End
Style Paragraph
Font
2011-06-21 04:11:01 +00:00
Series Medium
Shape Up
Size Normal
2011-06-16 21:25:52 +00:00
EndFont
2011-06-21 04:11:01 +00:00
TopSep 0.7
BottomSep 0.4
TocLevel 4
2011-06-16 21:25:52 +00:00
End
2011-07-10 02:55:27 +00:00
Style Subparagraph
LeftMargin " "
Font
Series Medium
Shape Italic
Size Normal
EndFont
TopSep 0.7
BottomSep 0.4
TocLevel 4
End
2011-06-16 21:25:52 +00:00
Style Part *
2011-06-21 04:11:01 +00:00
Margin Static
Align Right
2011-06-16 21:25:52 +00:00
End
Style Chapter *
2011-06-21 04:11:01 +00:00
Align Left
2011-06-16 21:25:52 +00:00
End
Style Section *
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Up
Size large
2011-06-16 21:25:52 +00:00
EndFont
End
Style Subsection *
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Italic
Size large
2011-06-16 21:25:52 +00:00
EndFont
End
Style Subsubsection *
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Up
Size Normal
2011-06-16 21:25:52 +00:00
EndFont
End
Style Paragraph *
Font
2011-06-21 04:11:01 +00:00
Series Medium
Shape Up
Size Normal
2011-06-16 21:25:52 +00:00
EndFont
2011-06-21 04:11:01 +00:00
TopSep 0.7
BottomSep 0.4
2011-06-16 21:25:52 +00:00
End
Style Run - in_headings
2011-06-21 04:11:01 +00:00
Category Unnumbered
LabelType No_Label
LabelSep xx
TopSep 0.7
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Up
Size Normal
2011-06-16 21:25:52 +00:00
EndFont
2011-06-21 04:11:01 +00:00
Margin Static
LatexType Command
LatexName runinhead
2011-06-16 21:25:52 +00:00
End
Style Sub - run - in_headings
2011-06-21 04:11:01 +00:00
CopyStyle Run - in_headings
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Series Medium
Shape Italic
Size Normal
2011-06-16 21:25:52 +00:00
EndFont
2011-06-21 04:11:01 +00:00
LatexName subruninhead
2011-06-16 21:25:52 +00:00
End
Style Extrachap
2011-06-21 04:11:01 +00:00
CopyStyle Chapter *
LatexName Extrachap
2011-06-16 21:25:52 +00:00
End
Style extrachap
2011-06-21 04:11:01 +00:00
CopyStyle Chapter *
LatexName extrachap
2011-06-16 21:25:52 +00:00
End
Style Title
2011-06-21 04:11:01 +00:00
Align Left
AlignPossible Block , Center , Left , Right , Center
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Family Sans
Series Bold
2011-06-16 21:25:52 +00:00
EndFont
End
Style Subtitle
2011-06-21 04:11:01 +00:00
CopyStyle Title
LatexName subtitle
NextNoIndent 1
BottomSep 0
ParSep 0
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Size Large
2011-06-16 21:25:52 +00:00
EndFont
2020-10-18 07:00:01 +00:00
DocBookTag subtitle
2011-06-16 21:25:52 +00:00
End
Style Author
2011-06-21 04:11:01 +00:00
NextNoIndent 1
Align Left
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Series Bold
Shape Italic
2011-06-16 21:25:52 +00:00
EndFont
2020-10-18 07:00:01 +00:00
DocBookTag personname
DocBookTagType paragraph
DocBookWrapperTag author
DocBookWrapperTagType inline
DocBookInInfo always
2011-06-16 21:25:52 +00:00
End
Style Institute
Category FrontMatter
LatexType Command
InTitle 1
LatexName institute
2011-07-15 18:08:49 +00:00
Margin First_Dynamic
LabelSep x
2011-06-16 21:25:52 +00:00
LabelType Static
2011-07-15 18:08:49 +00:00
LabelString " Author data: "
2011-06-16 21:25:52 +00:00
LabelFont
2011-07-15 18:08:49 +00:00
Family Typewriter
Color Blue
2011-06-16 21:25:52 +00:00
EndFont
Requires url
Align Left
2020-11-02 02:44:51 +00:00
# TODO: should rather be merged with the list of authors, but this would require a lot of specific code...
DocBookTag personname
DocBookTagType paragraph
DocBookWrapperTag author
DocBookInInfo always
2011-06-16 21:25:52 +00:00
End
Style Date
2011-06-21 04:11:01 +00:00
Align Left
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Size Small
2011-06-16 21:25:52 +00:00
EndFont
End
Style TOC_Title
Category FrontMatter
Margin First_Dynamic
Align Left
LatexType Command
LatexName toctitle
2011-07-15 18:08:49 +00:00
LeftMargin xx
2011-06-16 21:25:52 +00:00
TopSep 0.4
2011-06-17 04:10:49 +00:00
BottomSep 0.4
2011-06-16 21:25:52 +00:00
LabelType Static
2011-06-17 04:10:49 +00:00
LabelSep x
2011-07-15 18:08:49 +00:00
LabelString " TOC title: "
2011-06-16 21:25:52 +00:00
LabelFont
Family Typewriter
Color Blue
EndFont
End
Style TOC_Author
CopyStyle TOC_Title
LatexName tocauthor
2011-07-15 18:08:49 +00:00
LabelString " TOC author: "
2011-06-16 21:25:52 +00:00
End
Style Running_Title
2011-07-15 18:08:49 +00:00
CopyStyle TOC_Title
2011-06-16 21:25:52 +00:00
LatexName titlerunning
2011-06-17 04:10:49 +00:00
InTitle 1
2011-07-15 18:08:49 +00:00
LabelString " Running title: "
2020-10-21 12:54:25 +00:00
DocBookTag titleabbrev
DocBookTagType paragraph
2020-10-22 04:28:46 +00:00
DocBookInInfo maybe
2011-06-16 21:25:52 +00:00
End
Style Running_Author
CopyStyle Running_Title
LatexName authorrunning
2011-07-15 18:08:49 +00:00
LabelString " Running author: "
2020-10-21 12:54:25 +00:00
DocBookTag NONE # Still TODO
2011-06-16 21:25:52 +00:00
End
2011-07-10 02:55:27 +00:00
2011-07-10 19:40:39 +00:00
Style Running_Chapter
CopyStyle Running_Title
2012-12-28 09:52:58 +00:00
Category Sectioning
2011-07-10 19:40:39 +00:00
InTitle 0
LatexName chaptermark
2011-07-15 18:08:49 +00:00
LabelString " Running chapter: "
2020-10-21 12:54:25 +00:00
DocBookTag titleabbrev
DocBookTagType paragraph
2020-10-22 04:28:46 +00:00
DocBookInInfo maybe
2020-10-21 12:54:25 +00:00
DocBookSection false
2011-06-16 21:25:52 +00:00
End
2011-07-10 02:55:27 +00:00
Style Running_Section
2011-07-15 18:12:53 +00:00
CopyStyle Running_Chapter
LatexName sectionmark
2011-07-15 18:08:49 +00:00
LabelString " Running section: "
2020-10-21 12:54:25 +00:00
DocBookTag titleabbrev
DocBookTagType paragraph
2020-10-22 04:28:46 +00:00
DocBookInInfo maybe
2011-07-10 02:55:27 +00:00
End
2011-06-16 21:25:52 +00:00
Style Abstract
2011-06-17 04:10:49 +00:00
Category FrontMatter
Margin First_Dynamic
LatexType Environment
LatexName abstract
LabelType Static
2011-06-22 03:41:27 +00:00
LabelString " Abstract "
2011-06-16 21:25:52 +00:00
LabelFont
2011-06-17 04:10:49 +00:00
Series Bold
2011-06-16 21:25:52 +00:00
EndFont
2011-06-17 04:10:49 +00:00
NextNoIndent 0
ParIndent MM
LabelSep xx
ItemSep 0
TopSep 0.7
BottomSep 0.7
ParSep 0
Align Block
AlignPossible Block , Left
2020-10-18 07:00:01 +00:00
DocBookAbstract true
DocBookInInfo always
DocBookWrapperTag abstract
DocBookWrapperMergeWithPrevious true
DocBookTag para
2011-06-16 21:25:52 +00:00
End
Style Abstract *
2011-06-22 03:41:27 +00:00
CopyStyle Abstract
LatexType Command
2011-06-17 04:10:49 +00:00
LatexName abstract *
2011-06-22 03:41:27 +00:00
LabelString " Abstract* (not printed) "
LabelFont
2011-06-17 04:10:49 +00:00
Color Blue
2011-06-16 21:25:52 +00:00
EndFont
TextFont
2011-06-22 03:41:27 +00:00
Color Blue
EndFont
2020-10-18 07:00:01 +00:00
DocBookAbstract true
DocBookInInfo always
DocBookWrapperTag abstract
DocBookWrapperAttr role = 'not-printed'
DocBookWrapperMergeWithPrevious true
DocBookTag para
2011-06-16 21:25:52 +00:00
End
Style Keywords
2011-06-21 04:11:01 +00:00
Margin First_Dynamic
LatexType Command
LatexName keywords
2011-07-10 02:55:27 +00:00
Category FrontMatter
2011-06-21 04:11:01 +00:00
NextNoIndent 0
ParIndent MM
LabelSep xx
ItemSep 0
TopSep 0.7
BottomSep 0.7
ParSep 0
Align Block
AlignPossible Block , Left
LabelType Static
LabelString " Keywords "
2011-06-16 21:25:52 +00:00
LabelFont
2011-06-21 04:11:01 +00:00
Series Bold
2011-06-16 21:25:52 +00:00
EndFont
2020-10-18 07:00:01 +00:00
DocBookTag keyword
DocBookTagType paragraph
DocBookWrapperTag keywordset
DocBookInInfo always
2011-06-16 21:25:52 +00:00
End
Style Dedication
2011-06-21 04:11:01 +00:00
Category FrontMatter
Margin Static
LatexType Environment
LatexName dedication
LeftMargin MMMMMMMMMMMM
TopSep 2
ParIndent MM
Parsep 0
BottomSep 2
Align Left
LabelType Static
LabelString " "
LabelIndent " "
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Shape Italic
Size large
2011-06-16 21:25:52 +00:00
EndFont
2020-10-19 13:53:45 +00:00
DocBookTag para
DocBookTagType paragraph
DocBookWrapperTag dedication
DocBookWrapperTagType block
DocBookWrapperMergeWithPrevious true
2020-11-02 02:44:51 +00:00
DocBookInInfo never
2011-06-16 21:25:52 +00:00
End
Style Foreword
2011-06-21 04:11:01 +00:00
Margin First_Dynamic
Category FrontMatter
2011-07-15 20:59:13 +00:00
LabelType Static
LabelString " Foreword "
2011-06-21 04:11:01 +00:00
KeepEmpty 1
2011-07-15 20:59:13 +00:00
LatexName foreword
2011-06-21 04:11:01 +00:00
TocLevel 0
LatexType Command
NeedProtect 1
NextNoIndent 1
ParSkip 0.4
TopSep 4
BottomSep 0.8
ParSep 0.8
Align Block
2012-11-19 13:21:02 +00:00
Argument 1
2012-12-08 19:04:13 +00:00
LabelString " Alternative Name "
Tooltip " Alternative name "
2012-11-19 13:21:02 +00:00
EndArgument
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Series Bold
Size Huge
2011-06-16 21:25:52 +00:00
EndFont
2020-10-21 12:54:25 +00:00
DocBookTag title
2020-10-19 13:53:45 +00:00
DocBookTagType paragraph
2020-10-21 12:54:25 +00:00
DocBookSection true
DocBookSectionTag preface
2011-06-16 21:25:52 +00:00
End
Style Preface
2011-06-21 04:11:01 +00:00
CopyStyle Foreword
2011-07-15 20:59:13 +00:00
Category FrontMatter
2011-06-21 04:11:01 +00:00
LatexName preface
2011-06-16 21:25:52 +00:00
InTitle 0
2011-06-17 04:45:21 +00:00
Margin First_Dynamic
TopSep 4
BottomSep 0.8
2011-06-16 21:25:52 +00:00
LabelType Static
2011-06-21 04:11:01 +00:00
LabelString " Preface "
2011-06-17 04:45:21 +00:00
LabelSep xx
2011-06-16 21:25:52 +00:00
Align Left
2020-10-21 12:54:25 +00:00
DocBookTag title
DocBookTagType paragraph
DocBookSection true
DocBookSectionTag preface
2011-06-16 21:25:52 +00:00
End
Style Acknowledgement
2011-06-21 04:11:01 +00:00
Category BackMatter
Margin First_Dynamic
LatexType Environment
LatexName acknowledgement
NextNoIndent 0
ParIndent MM
LabelSep xx
ItemSep 0
TopSep 0.7
BottomSep 0.7
ParSep 0
Align Block
AlignPossible Block , Left
LabelType Static
2011-06-22 03:41:27 +00:00
LabelString " Acknowledgements "
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Size Small
2011-06-16 21:25:52 +00:00
EndFont
LabelFont
2011-06-21 04:11:01 +00:00
Series Bold
Shape Up
Size Small
2011-06-16 21:25:52 +00:00
EndFont
2020-11-02 02:44:51 +00:00
DocBookTag para
DocBookWrapperTag acknowledgements
2011-06-16 21:25:52 +00:00
End
Style Acknowledgements
2011-06-22 03:41:27 +00:00
CopyStyle Acknowledgement
LatexName acknowledgements
2011-06-16 21:25:52 +00:00
End
Style Bibliography
2011-06-21 04:11:01 +00:00
Margin First_Dynamic
LatexType Bib_Environment
LatexName thebibliography
Category BackMatter
NextNoIndent 1
2014-05-29 12:10:32 +00:00
ToggleIndent Never
2011-06-21 04:11:01 +00:00
LeftMargin MM
ParSkip 0.4
ItemSep 0
TopSep 0.7
BottomSep 0.7
ParSep 0.5
Align Block
AlignPossible Block , Left
LabelType Bibliography
LabelString " References "
LabelBottomSep 0.7
2011-06-16 21:25:52 +00:00
LabelFont
2011-06-21 04:11:01 +00:00
Series Bold
2011-06-16 21:25:52 +00:00
EndFont
2018-01-29 08:09:51 +00:00
TocLevel 0
2018-02-21 15:37:07 +00:00
IsTocCaption 0
2018-08-17 08:22:32 +00:00
Argument listpreamble : 1
LabelString " Bib preamble "
2018-08-17 09:14:45 +00:00
MenuString " Bibliography Preamble "
2018-08-17 08:22:32 +00:00
Tooltip " LaTeX code to be inserted before the first bibliography item "
PassThru 1
Font
Family typewriter
Color latex
EndFont
EndArgument
2011-06-16 21:25:52 +00:00
End
Style Description
2012-11-19 13:21:02 +00:00
Argument 1
2012-12-08 19:04:13 +00:00
LabelString " Longest Description Label "
Tooltip " Longest description label "
2012-11-19 13:21:02 +00:00
EndArgument
2011-06-16 21:25:52 +00:00
LabelFont
2011-06-21 04:11:01 +00:00
Series Medium
2011-06-16 21:25:52 +00:00
EndFont
2020-07-25 15:48:23 +00:00
DocBookTag variablelist
DocBookItemWrapperTag varlistentry
DocBookItemTag listitem
DocBookItemInnerTag para
DocBookItemLabelTag term
2020-08-30 20:05:40 +00:00
DocBookItemLabelTagType paragraph
2011-06-16 21:25:52 +00:00
End
Style Petit
CopyStyle Standard
Category MainText
LatexType Environment
LatexName petit
2011-06-21 04:11:01 +00:00
TopSep 0.7
BottomSep 0.7
2011-06-16 21:25:52 +00:00
Font
Size Small
EndFont
End
Style Svgraybox
2011-06-21 04:11:01 +00:00
Category MainText
Margin Static
LatexType Environment
LatexName svgraybox
RightMargin MMM
TopSep 0.5
ParIndent MM
Parsep 0
BottomSep 0.5
Align Block
AlignPossible Block , Left , Right , Center
LabelType No_Label
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Family Sans
2011-06-16 21:25:52 +00:00
EndFont
End
Style Proof
2013-01-30 11:36:49 +00:00
Category Reasoning
2011-07-10 02:55:27 +00:00
LatexType Environment
2011-06-21 04:11:01 +00:00
LatexName proof
2011-07-10 02:55:27 +00:00
Margin First_Dynamic
LeftMargin xxx
TopSep 0.4
BottomSep 0.4
LabelType Static
LabelSep xx
LabelString " Proof. "
LabelFont
Shape Italic
EndFont
2011-06-22 03:41:27 +00:00
LangPreamble
2012-12-08 19:04:13 +00:00
\providecommand { \proofname }{ _ ( Proof )}
2011-06-22 03:41:27 +00:00
EndLangPreamble
BabelPreamble
2011-07-10 02:55:27 +00:00
\addto\captions $$lang { \renewcommand { \proofname }{ _ ( Proof )}}
2011-06-22 03:41:27 +00:00
EndBabelPreamble
2011-06-16 21:25:52 +00:00
End
Style Proof ( QED )
CopyStyle Proof
LatexName svmultproof
EndLabelType Box
Preamble
2012-12-08 19:04:13 +00:00
\newenvironment { svmultproof }{ \begin { proof }}{ \qed\end { proof }}
2011-06-16 21:25:52 +00:00
EndPreamble
End
Style Proof ( smartQED )
CopyStyle Proof
LatexName svmultproof2
2011-07-10 02:55:27 +00:00
EndLabelType Box
2011-06-16 21:25:52 +00:00
Preamble
2012-12-08 19:04:13 +00:00
\newenvironment { svmultproof2 }{ \begin { proof }}{ \smartqed\qed\end { proof }}
2011-06-16 21:25:52 +00:00
EndPreamble
End
InsetLayout Flex : Email
2011-07-10 02:55:27 +00:00
Decoration Conglomerate
2011-06-21 04:11:01 +00:00
LyxType custom
LatexType command
LatexName email
LabelString " Email "
2011-06-16 21:25:52 +00:00
Font
2011-06-21 04:11:01 +00:00
Color foreground
Size Small
Family Roman
Shape Up
Series Medium
Misc No_Emph
Misc No_Noun
Misc No_Bar
2011-06-16 21:25:52 +00:00
EndFont
LabelFont
2011-06-21 04:11:01 +00:00
Color urltext
Size Small
2011-06-16 21:25:52 +00:00
EndFont
2014-02-10 21:06:32 +00:00
ResetsFont true
2011-06-16 21:25:52 +00:00
End