# Guenter Milde <g.milde web.de>
-Format 3
+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
Input stdlists.inc
Input stdcounters.inc
Input stdfloats.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
CopyStyle Author
LatexName titlehead
Align Left
- AlignPossible Left
Font
Size Normal
EndFont
ParSkip 0.4
TopSep 0.5
Align Center
- AlignPossible Center
LabelType Sensitive
LabelString "Senseless!"
OptionalArgs 1
ParSkip 0.4
TopSep 0.5
Align Center
- AlignPossible Center
LabelType Sensitive
LabelString "Senseless!"
OptionalArgs 1
BottomSep 1.5
ParSep 1.5
Align Left
- AlignPossible Left
OptionalArgs 1
Font
Size Normal