# Created by Jean-Marc Lasgouttes (Jean-Marc.Lasgouttes@inria.fr)
-Format 42
+Format 44
Columns 1
Sides 1
SecNumDepth 3
TocDepth 3
Style Standard
+ Category MainText
Margin Static
LatexType Paragraph
LatexName dummy
Font
Size Small
EndFont
- LabelType Top_Environment
+ LabelType Above
LabelFont
Series Bold
Family Sans