# Created by Jean-Marc Lasgouttes (Jean-Marc.Lasgouttes@inria.fr)
-Format 19
+Format 25
Columns 1
Sides 1
SecNumDepth 3
LabelType No_Label
HTMLStyle
div.standard {
- text-indent: 2em;
margin-bottom: 2ex;
}
EndHTMLStyle
Series Medium
Size Large
EndFont
+ HTMLTitle false
End
Series Medium
Size Normal
EndFont
+ HTMLTitle false
End