# Author: Uwe Stöhr (uwestoehr@web.de)
-Format 97
+Format 104
Sides 1
Columns 1
AlignPossible Block, Left
LabelType Enumerate
LabelCounter "enum"
+ HTMLClass LyXRomanList
HTMLTag ol
HTMLItem li
HTMLLabel NONE
DocBookTag orderedlist
DocBookItemTag listitem
DocBookItemInnerTag para
+ HTMLStyle
+ ol.LyXRomanList { list-style-type: lower-roman; }
+ EndHTMLStyle
End
Style Proof
Counter claim
GuiName Claim
Within section
+ PrettyFormat "Claim ##"
End
Style Claim
LabelCounter claim