# To do: Define class specific options.
-Format 40
+Format 45
Columns 1
Sides 1
Style Standard
+ Category MainText
Margin Static
LatexType Paragraph
LatexName dummy
Style Theorem
+ Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName Theorem