# numbered sections, as does the class file.
-Format 80
+Format 85
Columns 1
Sides 2
PageStyle headings
TitleLatexName frontmatter
Counter summ
+ GuiName Summary
End
Counter case
+ GuiName Case
End
Align Block
AlignPossible Block, Left, Right, Center
LabelType No_Label
+ DocBookTag para
End
Font
Color blue
EndFont
+ DocBookTag keyword
+ DocBookTagType paragraph
+ DocBookWrapperTag keywordset
+ DocBookInInfo always
End
Size Largest
EndFont
HTMLTitle true
+ DocBookTag title
+ DocBookTagType paragraph
+ DocBookInInfo maybe
End
Font
Series Bold
EndFont
+ DocBookTag personname
+ DocBookTagType paragraph
+ DocBookWrapperTag author
+ DocBookWrapperTagType block
+ DocBookInInfo always
End
LabelFont
Shape Italic
EndFont
+ DocBookTag address
+ DocBookTagType paragraph
+ DocBookWrapperTag author
+ DocBookWrapperTagType block
+ DocBookInInfo always
End
Shape Italic
Family Roman
EndFont
+ DocBookTag email
+ DocBookTagType paragraph
+ DocBookWrapperTag author
+ DocBookWrapperTagType block
+ DocBookInInfo always
End
Shape Italic
Family Roman
EndFont
+ DocBookTag uri
+ DocBookTagType paragraph
+ DocBookWrapperTag author
+ DocBookWrapperTagType block
+ DocBookInInfo always
End
Family Typewriter
Shape Italic
EndFont
+ DocBookTag footnote
+ DocBookItemTag para
End
Series Bold
Size Large
EndFont
+ DocBookAbstract true
+ DocBookInInfo always
+ DocBookWrapperTag abstract
+ DocBookWrapperMergeWithPrevious true
+ DocBookTag para
End
# - Case
Counter theorem
+ GuiName Theorem
End
Shape Up
Series Bold
EndFont
+ DocBookTag para
+ DocBookAttr role='theorem'
End
LabelFont
Series Bold
EndFont
+ DocBookTag para
+ DocBookAttr role='proof'
End
CopyStyle Theorem
LatexName lem
LabelString "Lemma \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='lemma'
End
CopyStyle Theorem
LatexName cor
LabelString "Corollary \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='corollary'
End
CopyStyle Theorem
LatexName prop
LabelString "Proposition \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='proposition'
End
CopyStyle Theorem
LatexName crit
LabelString "Criterion \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='criterion'
End
CopyStyle Theorem
LatexName alg
LabelString "Algorithm \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='algorithm'
End
Shape Up
Series Bold
EndFont
+ DocBookTag para
+ DocBookAttr role='definition'
End
CopyStyle Theorem
LatexName conj
LabelString "Conjecture \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='conjecture'
End
CopyStyle Theorem
LatexName exmp
LabelString "Example \arabic{theorem}"
+ DocBookWrapperTag informalexample
+ DocBookTag para
+ DocBookAttr ""
End
CopyStyle Theorem
LatexName prob
LabelString "Problem \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='problem'
End
CopyStyle Theorem
LatexName rem
LabelString "Remark \arabic{theorem}"
+ DocBookTag note
+ DocBookItemTag para
End
CopyStyle Theorem
LatexName note
LabelString "Note \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='note'
End
CopyStyle Theorem
LatexName claim
LabelString "Claim \arabic{theorem}"
+ DocBookTag para
+ DocBookAttr role='claim'
End
LatexName summ
LabelCounter summ
LabelString "Summary \arabic{summ}"
+ DocBookTag para
+ DocBookAttr role='summary'
End
LatexName case
LabelCounter case
LabelString "Case \arabic{case}"
+ DocBookTag para
+ DocBookAttr role='case'
End
Size large
Series Bold
EndFont
+ DocBookTag para
+ DocBookWrapperTag acknowledgements
End
Input theorems-refprefix.inc