2017-05-01 18:04:16 +00:00
|
|
|
#% Do not delete the line below; configure depends on this
|
2019-03-19 06:13:51 +00:00
|
|
|
# \DeclareLaTeXClass[acmart]{Association for Computing Machinery (ACM)}
|
2017-05-01 18:04:16 +00:00
|
|
|
# \DeclareCategory{Articles}
|
|
|
|
#
|
|
|
|
# Layout for typesetting publications of the Association for Computing Machinery.
|
|
|
|
#
|
|
|
|
# Author : John Perry <john.perry@usm.edu>
|
|
|
|
# Guillaume Munch-Maccagnoni <gm@lyx.org>
|
2017-09-01 21:02:26 +00:00
|
|
|
# Reviewed following tickets #10722 & #10723
|
|
|
|
# by Jean-Pierre Chrétien <jpc@lyx.org>
|
2017-05-01 18:04:16 +00:00
|
|
|
|
2020-07-24 16:50:53 +00:00
|
|
|
Format 82
|
2017-05-01 18:04:16 +00:00
|
|
|
|
|
|
|
Provides amscls 1
|
|
|
|
Provides amsmath 1
|
|
|
|
Provides amstext 1
|
|
|
|
Provides binhex 1
|
|
|
|
Provides caption 1
|
|
|
|
Provides comment 1
|
|
|
|
Provides cm-super 1
|
|
|
|
Provides cmap 1
|
|
|
|
Provides draftwatermark 1
|
|
|
|
Provides environ 1
|
|
|
|
Provides fancyhdr 1
|
|
|
|
Provides float 1
|
|
|
|
Provides fontaxes 1
|
|
|
|
Provides geometry 1
|
|
|
|
Provides graphics 1
|
|
|
|
Provides hyperref 1
|
|
|
|
Provides ifluatex 1
|
|
|
|
Provides ifxetex 1
|
|
|
|
Provides inconsolata 1
|
|
|
|
Provides latex-tools 1
|
|
|
|
Provides libertine 1
|
2017-05-13 22:27:02 +00:00
|
|
|
Provides makeidx 1
|
2017-05-01 18:04:16 +00:00
|
|
|
Provides manyfoot 1
|
|
|
|
Provides microtype 1
|
|
|
|
Provides mmap 1
|
|
|
|
Provides ms 1
|
|
|
|
Provides mweights 1
|
|
|
|
Provides natbib 1
|
|
|
|
Provides nccfoots 1
|
|
|
|
Provides newtx 1
|
|
|
|
Provides oberdiek 1
|
|
|
|
Provides pdftex-def 1
|
|
|
|
Provides totpages 1
|
|
|
|
Provides trimspaces 1
|
|
|
|
Provides setspace 1
|
|
|
|
Provides upquote 1
|
|
|
|
Provides url 1
|
|
|
|
Provides xcolor 1
|
|
|
|
Provides xkeyval 1
|
|
|
|
|
|
|
|
# Input general definitions
|
|
|
|
Input stdclass.inc
|
|
|
|
Input stdcounters.inc
|
|
|
|
|
|
|
|
ClassOptions
|
|
|
|
FontSize 9|10|11|12
|
|
|
|
Other "format=manuscript,authordraft"
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Standard
|
|
|
|
Category MainText
|
|
|
|
Margin Static
|
|
|
|
LatexType Paragraph
|
|
|
|
LatexName dummy
|
|
|
|
ParIndent MM
|
|
|
|
ParSkip 0.4
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left, Right, Center
|
|
|
|
LabelType No_Label
|
|
|
|
# FIXME This ought to be set dynamically.
|
|
|
|
HTMLStyle
|
|
|
|
div.standard {
|
|
|
|
margin-bottom: 2ex;
|
|
|
|
}
|
|
|
|
EndHTMLStyle
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Author
|
|
|
|
Align Left
|
|
|
|
InTitle 1
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Thanks
|
|
|
|
Category FrontMatter
|
|
|
|
InTitle 1
|
|
|
|
Align Left
|
|
|
|
AlignPossible Left
|
|
|
|
Font
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Color Blue
|
|
|
|
Shape Italic
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
LabelType Static
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Thanks: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexType command
|
|
|
|
LatexName thanks
|
|
|
|
Margin Dynamic
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Journal
|
|
|
|
Align left
|
|
|
|
AlignPossible left
|
|
|
|
Category Preamble
|
|
|
|
InPreamble 1
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Journal's Short Name: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LabelType Static
|
|
|
|
LabelFont
|
|
|
|
Color Blue
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
|
|
|
LatexName acmJournal
|
|
|
|
LatexType Command
|
|
|
|
Margin Dynamic
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Conference
|
|
|
|
CopyStyle ACM_Journal
|
|
|
|
Argument 1
|
|
|
|
LabelString "Short name"
|
|
|
|
Mandatory 0
|
|
|
|
EndArgument
|
|
|
|
Argument 2
|
|
|
|
LabelString "Full name"
|
|
|
|
Mandatory 1
|
|
|
|
EndArgument
|
|
|
|
Argument 3
|
|
|
|
LabelString "Date"
|
|
|
|
Mandatory 1
|
|
|
|
EndArgument
|
|
|
|
Argument 4
|
|
|
|
LabelString "Venue"
|
|
|
|
Mandatory 1
|
|
|
|
EndArgument
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Conference Name: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmConference
|
|
|
|
Margin Dynamic
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Title
|
|
|
|
Argument 1
|
|
|
|
LabelString "Short title"
|
|
|
|
Mandatory 0
|
|
|
|
EndArgument
|
|
|
|
Font
|
|
|
|
Size Largest
|
|
|
|
EndFont
|
|
|
|
DependsOn Abstract
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Subtitle
|
|
|
|
Category FrontMatter
|
|
|
|
Align Center
|
|
|
|
AlignPossible Center
|
|
|
|
InTitle 1
|
|
|
|
LatexType Command
|
|
|
|
LatexName subtitle
|
|
|
|
Font
|
|
|
|
Size Larger
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Email
|
|
|
|
Align Left
|
|
|
|
AlignPossible center
|
|
|
|
Category FrontMatter
|
|
|
|
Font
|
|
|
|
Family Typewriter
|
|
|
|
EndFont
|
|
|
|
#InPreamble 1
|
|
|
|
InTitle 1
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Email address: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LabelType Static
|
|
|
|
LabelFont
|
|
|
|
Color Blue
|
|
|
|
Shape Italic
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
LatexType Command
|
|
|
|
LatexName email
|
|
|
|
Margin Dynamic
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ORCID
|
|
|
|
CopyStyle Email
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "ORCID: "
|
2017-05-01 18:04:16 +00:00
|
|
|
Font
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Color Blue
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
|
|
|
LatexName orcid
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Affiliation
|
|
|
|
CopyStyle Email
|
|
|
|
Font
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Color Blue
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Affiliation: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName affiliation
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Additional_Affiliation
|
|
|
|
CopyStyle Affiliation
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Additional Affiliation: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName additionalaffiliation
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Position
|
|
|
|
LyxType custom
|
|
|
|
ContentAsLabel 1
|
|
|
|
Decoration Classic
|
|
|
|
LabelString "Position"
|
|
|
|
LatexName position
|
|
|
|
LatexType command
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Institution
|
|
|
|
CopyStyle Flex:Position
|
|
|
|
LabelString "Institution"
|
|
|
|
LatexName institution
|
|
|
|
Spellcheck 0
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Department
|
|
|
|
CopyStyle Flex:Position
|
|
|
|
LabelString "Department"
|
|
|
|
LatexName department
|
|
|
|
LatexType command
|
|
|
|
Spellcheck 0
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Street_Address
|
|
|
|
CopyStyle Flex:Position
|
|
|
|
LabelString "Street Address"
|
|
|
|
LatexName streetaddress
|
|
|
|
LatexType command
|
|
|
|
Spellcheck 0
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:City
|
|
|
|
CopyStyle Flex:Position
|
|
|
|
LabelString "City"
|
|
|
|
LatexName city
|
|
|
|
LatexType command
|
|
|
|
Spellcheck 0
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Country
|
|
|
|
CopyStyle Flex:Position
|
|
|
|
LabelString "Country"
|
|
|
|
LatexName country
|
|
|
|
LatexType command
|
|
|
|
Spellcheck 0
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:State
|
|
|
|
CopyStyle Flex:Position
|
|
|
|
LabelString "State"
|
|
|
|
LatexName state
|
|
|
|
LatexType command
|
|
|
|
Spellcheck 0
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Postal_Code
|
|
|
|
CopyStyle Flex:Position
|
|
|
|
LabelString "Postal Code"
|
|
|
|
LatexName postcode
|
|
|
|
LatexType command
|
|
|
|
Spellcheck 0
|
|
|
|
End
|
|
|
|
|
|
|
|
Style TitleNote
|
|
|
|
CopyStyle Email
|
|
|
|
Font
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Family Roman
|
|
|
|
Color Blue
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Title Note: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName titlenote
|
|
|
|
TopSep 0.3
|
|
|
|
BottomSep 0.3
|
|
|
|
End
|
|
|
|
|
|
|
|
Style SubtitleNote
|
|
|
|
CopyStyle TitleNote
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Subtitle Note: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName subtitlenote
|
|
|
|
End
|
|
|
|
|
|
|
|
Style AuthorNote
|
|
|
|
CopyStyle TitleNote
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Note: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName authornote
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Volume
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Volume: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmVolume
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Number
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Number: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmNumber
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Article
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Article: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmArticle
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Year
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Year: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmYear
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Month
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Month: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmMonth
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Art_Seq_Num
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Article Sequential Number: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmArticleSeq
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Submission_ID
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Submission ID: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmSubmissionID
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Price
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Price: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmPrice
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_ISBN
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "ISBN: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmISBN
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_DOI
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "ACM DOI: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmDOI
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Badge_R
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "ACM Badge R: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmBadgeR
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ACM_Badge_L
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "ACM Badge L: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName acmBadgeL
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Start_Page
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Start Page: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName startPage
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Terms
|
|
|
|
CopyStyle TitleNote
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Terms: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName terms
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Keywords
|
|
|
|
CopyStyle TitleNote
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Keywords: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName keywords
|
|
|
|
End
|
|
|
|
|
|
|
|
Style CCSXML
|
|
|
|
Category FrontMatter
|
|
|
|
LatexName CCSXML
|
|
|
|
LatexType Environment
|
|
|
|
Font
|
|
|
|
Family Typewriter
|
|
|
|
Color blue
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
|
|
|
FreeSpacing 1
|
|
|
|
InTitle 1
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Computing Classification Scheme (XML): "
|
2017-05-01 18:04:16 +00:00
|
|
|
LabelType Centered
|
|
|
|
LabelFont
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
NextNoIndent 1
|
|
|
|
NewLine false
|
|
|
|
ParbreakIsNewline true
|
|
|
|
PassThru true
|
|
|
|
End
|
|
|
|
|
|
|
|
Style CCS_Description
|
|
|
|
CopyStyle TitleNote
|
|
|
|
Argument 1
|
|
|
|
LabelString "Significance"
|
|
|
|
EndArgument
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Computing Classification Scheme: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName ccsdesc
|
|
|
|
Font
|
|
|
|
Family Typewriter
|
|
|
|
Color Blue
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
PassThru 1
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Set_Copyright
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Set Copyright: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName setcopyright
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Copyright_Year
|
|
|
|
CopyStyle ACM_Journal
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Copyright Year: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName copyrightyear
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Teaser_Figure
|
|
|
|
Category FrontMatter
|
|
|
|
Argument 1
|
|
|
|
LabelString "Teaser Figure"
|
|
|
|
EndArgument
|
|
|
|
LatexType Environment
|
|
|
|
LatexName teaserfigure
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Received
|
|
|
|
CopyStyle ACM_Journal
|
|
|
|
Argument 1
|
|
|
|
LabelString "Stage"
|
|
|
|
Mandatory 0
|
|
|
|
EndArgument
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Received: "
|
2017-05-01 18:04:16 +00:00
|
|
|
LatexName received
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Abstract
|
|
|
|
InTitle 1
|
|
|
|
End
|
|
|
|
|
|
|
|
Style ShortAuthors
|
|
|
|
Category FrontMatter
|
|
|
|
Font
|
|
|
|
Family Roman
|
|
|
|
EndFont
|
|
|
|
LatexType command
|
|
|
|
InTitle 0
|
|
|
|
LabelType Static
|
2017-09-01 21:02:26 +00:00
|
|
|
LabelString "Short authors: "
|
2017-05-01 18:04:16 +00:00
|
|
|
Margin Dynamic
|
|
|
|
LabelFont
|
|
|
|
Family Roman
|
|
|
|
Color blue
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
|
|
|
Preamble
|
|
|
|
\newcommand{\redefineshortauthors}[1]{\renewcommand{\shortauthors}{#1}}
|
|
|
|
EndPreamble
|
|
|
|
LatexName redefineshortauthors
|
|
|
|
End
|
|
|
|
|
|
|
|
|
2017-05-13 15:36:20 +00:00
|
|
|
OutlinerName sidebar "Sidebar" #no AddToToc
|
2017-05-01 18:04:16 +00:00
|
|
|
|
|
|
|
Float
|
|
|
|
Type sidebar
|
|
|
|
GuiName "Sidebar (sigchi-a only)"
|
|
|
|
NumberWithin none
|
|
|
|
Style plain
|
|
|
|
IsPredefined true
|
|
|
|
UsesFloatPkg false
|
|
|
|
RefPrefix sidebar
|
|
|
|
End
|
|
|
|
|
|
|
|
Float
|
|
|
|
Type marginfigure
|
|
|
|
GuiName "Margin figure (sigchi-a only)"
|
|
|
|
NumberWithin none
|
|
|
|
Style plain
|
|
|
|
IsPredefined true
|
|
|
|
Extension lof
|
|
|
|
ListName "List of Figures"
|
|
|
|
ListCommand listoffigures
|
|
|
|
UsesFloatPkg false
|
|
|
|
RefPrefix mgfig
|
|
|
|
End
|
|
|
|
|
|
|
|
Float
|
|
|
|
Type margintable
|
|
|
|
GuiName "Margin table (sigchi-a only)"
|
|
|
|
NumberWithin none
|
|
|
|
Style plain
|
|
|
|
IsPredefined true
|
|
|
|
Extension lof
|
|
|
|
ListName "List of Tables"
|
|
|
|
ListCommand listoftables
|
|
|
|
UsesFloatPkg false
|
|
|
|
RefPrefix mgtab
|
|
|
|
End
|
|
|
|
|
|
|
|
OutlinerName thm "Definitions & Theorems"
|
|
|
|
|
2017-07-01 21:02:54 +00:00
|
|
|
Counter theorem
|
2020-05-03 02:37:18 +00:00
|
|
|
GuiName Theorem
|
2017-07-01 21:02:54 +00:00
|
|
|
Within section
|
|
|
|
End
|
|
|
|
|
2017-05-01 18:04:16 +00:00
|
|
|
Style Theorem
|
|
|
|
Category Reasoning
|
|
|
|
Margin First_Dynamic
|
|
|
|
LatexType Environment
|
|
|
|
LatexName theorem
|
|
|
|
NextNoIndent 1
|
|
|
|
ResetArgs 1
|
|
|
|
AddToToc thm
|
|
|
|
IsTocCaption 1
|
|
|
|
Argument 1
|
|
|
|
LabelString "Additional Theorem Text"
|
|
|
|
Tooltip "Additional text appended to the theorem header"
|
|
|
|
IsTocCaption 1
|
|
|
|
EndArgument
|
|
|
|
LabelSep xx
|
|
|
|
ParIndent MMM
|
|
|
|
ParSkip 0.4
|
|
|
|
ItemSep 0.2
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.3
|
|
|
|
Align Block
|
|
|
|
AlignPossible Left
|
|
|
|
LabelType Static
|
|
|
|
LabelCounter theorem
|
|
|
|
LabelString "Theorem \thetheorem."
|
|
|
|
Font
|
|
|
|
Shape Italic
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Shape SmallCaps
|
|
|
|
EndFont
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Corollary
|
|
|
|
CopyStyle Theorem
|
|
|
|
DependsOn Theorem
|
|
|
|
LatexName corollary
|
|
|
|
LabelString "Corollary \thetheorem."
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Lemma
|
|
|
|
CopyStyle Theorem
|
|
|
|
DependsOn Theorem
|
|
|
|
LatexName lemma
|
|
|
|
LabelString "Lemma \thetheorem."
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Proposition
|
|
|
|
CopyStyle Theorem
|
|
|
|
DependsOn Theorem
|
|
|
|
LatexName proposition
|
|
|
|
LabelString "Proposition \thetheorem."
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Conjecture
|
|
|
|
CopyStyle Theorem
|
|
|
|
DependsOn Theorem
|
|
|
|
LatexName conjecture
|
|
|
|
LabelString "Conjecture \thetheorem."
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Definition
|
|
|
|
CopyStyle Theorem
|
|
|
|
DependsOn Theorem
|
|
|
|
LatexName definition
|
|
|
|
LabelString "Definition \thetheorem."
|
|
|
|
Font
|
|
|
|
Shape Up
|
|
|
|
EndFont
|
|
|
|
LabelFont
|
|
|
|
Shape Italic
|
|
|
|
Series Medium
|
|
|
|
EndFont
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Example
|
|
|
|
CopyStyle Definition
|
|
|
|
LatexName example
|
|
|
|
LabelString "Example \thetheorem."
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Print_Only
|
|
|
|
LyxType custom
|
|
|
|
Decoration Classic
|
|
|
|
Display true
|
|
|
|
InToc true
|
|
|
|
LatexName printonly
|
|
|
|
LatexType Environment
|
|
|
|
LabelString "Print version only"
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Screen_Only
|
|
|
|
CopyStyle Flex:Print_Only
|
|
|
|
LatexName screenonly
|
|
|
|
LabelString "Screen version only"
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Anonymous_Suppression
|
|
|
|
CopyStyle Flex:Print_Only
|
|
|
|
LatexName anonsuppress
|
|
|
|
LabelString "Non anonymous only"
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Acknowledgments
|
|
|
|
Category BackMatter
|
|
|
|
LatexName acks
|
|
|
|
LatexType Environment
|
|
|
|
LabelString "Acknowledgments"
|
|
|
|
LabelType Above
|
|
|
|
TopSep 1.3
|
|
|
|
LabelBottomSep 0.7
|
|
|
|
Margin Static
|
|
|
|
LabelFont
|
|
|
|
Series Bold
|
|
|
|
Size Large
|
|
|
|
EndFont
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Grant_Sponsor
|
|
|
|
LyxType custom
|
|
|
|
ContentAsLabel 1
|
|
|
|
Decoration Conglomerate
|
|
|
|
LabelString "Grant Sponsor"
|
|
|
|
LatexName grantsponsor
|
|
|
|
LatexType command
|
|
|
|
Argument 1
|
|
|
|
LabelString "Sponsor ID"
|
|
|
|
Mandatory 1
|
|
|
|
AutoInsert 1
|
|
|
|
EndArgument
|
|
|
|
Argument 2
|
|
|
|
LabelString "Name"
|
|
|
|
Mandatory 1
|
|
|
|
AutoInsert 1
|
|
|
|
Requires 1
|
|
|
|
EndArgument
|
|
|
|
Argument 3
|
|
|
|
LabelString "URL"
|
|
|
|
Mandatory 1
|
|
|
|
AutoInsert 1
|
|
|
|
Font
|
|
|
|
Family Typewriter
|
|
|
|
EndFont
|
|
|
|
Requires 2
|
|
|
|
EndArgument
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Grant_Number
|
|
|
|
LyxType custom
|
|
|
|
ContentAsLabel 1
|
|
|
|
Decoration Conglomerate
|
|
|
|
LabelString "Grant Number"
|
|
|
|
LatexName grantnum
|
|
|
|
LatexType command
|
|
|
|
Argument 1
|
|
|
|
LabelString "URL"
|
|
|
|
Mandatory false
|
|
|
|
Font
|
|
|
|
Family Typewriter
|
|
|
|
EndFont
|
|
|
|
EndArgument
|
|
|
|
Argument 2
|
|
|
|
LabelString "Sponsor ID"
|
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
EndArgument
|
|
|
|
End
|
|
|
|
|
|
|
|
Input theorems-case.inc
|
|
|
|
Input theorems-proof.inc
|
|
|
|
Input theorems-refprefix.inc
|