# a document, like abstract, bibliography and such.
-Format 22
+Format 42
Style Abstract
Margin Static
LatexType Environment
Align Block
LabelType Centered_Top_Environment
LabelString "Abstract"
- LabelBottomSep 0.5
+ LabelBottomSep 0.5
Font
Size Small
EndFont
Series Bold
Size Large
EndFont
+ HTMLLabelFirst 1
+ HTMLForceCSS 1
+ HTMLStyle
+ div.abstract {
+ margin: 4ex;
+ }
+ div.abstract_item {
+ font-size: small;
+ padding-top: 1ex;
+ }
+ div.abstract_label {
+ font-weight: bold;
+ }
+ EndHTMLStyle
End