# Created by Jean-Marc Lasgouttes (Jean-Marc.Lasgouttes@inria.fr)
-Format 64
+Format 93
Columns 1
Sides 1
SecNumDepth 3
TocDepth 3
+AddToPreamble
+ % Save and disable \example as this might
+ % clash with theorems
+ \let\paperclassexample\example
+ \let\endpaperclassexample\endexample
+ \let\example\relax
+ % If theorems hasn't been loaded, restore example
+ \AtBeginDocument{%
+ \@ifundefined{example}{\let\example\paperclassexample}{}
+ }
+EndPreamble
+
Style Standard
Category MainText
Margin Static
margin-bottom: 2ex;
}
EndHTMLStyle
+ DocBookTag para
End
Input stdtitle.inc
Series Bold
Size Largest
EndFont
+ DocBookTag title
+ DocBookTagType paragraph
+ DocBookInInfo maybe
End
Size Large
EndFont
HTMLTitle false
+ DocBookTag subtitle
+ DocBookInInfo maybe
End
CopyStyle Abstract
LatexName keywords
LabelString "Keywords:"
+ DocBookTag keyword
+ DocBookTagType paragraph
+ DocBookWrapperTag keywordset
+ DocBookInInfo always
End