# Guenter Milde <g.milde web.de>
-Format 11
+Format 30
SecNumDepth 2
TocDepth 2
DefaultStyle Standard
ParIndent MM
ParSkip 0.4
AlignPossible Block, Left, Right, Center
+ # FIXME This ought to be set dynamically.
+ HTMLStyle
+ div.standard {
+ text-indent: 2em;
+ margin-bottom: 2ex;
+ }
+ EndHTMLStyle
End
Input stdinsets.inc
Font
Family Sans
EndFont
+ TocLevel 0
End
Family Sans
Size Largest
EndFont
+ TocLevel 0
End
Font
Family Sans
EndFont
+ TocLevel 1
End
Font
Family Sans
EndFont
+ TocLevel 2
End
Font
Family Sans
EndFont
+ TocLevel 3
End
Font
Family Sans
EndFont
+ TocLevel 4
End
Font
Family Sans
EndFont
+ TocLevel 5
End
Input stdstarsections.inc
EndFont
End
+Style Subtitle
+ CopyStyle Title
+ LatexName subtitle
+ Font
+ Size Large
+ EndFont
+End
+
Style Author
Font