# a document, like abstract, bibliography and such.
-Format 19
+Format 35
Style Abstract
Margin Static
LatexType Environment
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