#
# Detailed format description is available in the customization manual
-Format 97
+Format 100
Provides stdinsets 1
background-color: #F0F0F0;
float:right;
font-size: small;
- font-weight: medium;
+ font-weight: normal;
font-family: serif;
font-variant: normal;
font-style: normal;
div.foot {
display: inline;
font-size: small;
- font-weight: medium;
+ font-weight: normal;
font-family: serif;
font-variant: normal;
font-style: normal;
span.foot_intitle {
display: inline;
font-size: small;
- font-weight: medium;
+ font-weight: normal;
font-family: serif;
font-variant: normal;
font-style: normal;
Font
Family sans
EndFont
- HTMLAttr "class='info menu'"
+ HTMLClass "info menu"
HTMLStyle
span.menu { font-family: sans-serif; }
EndHTMLStyle
Font
Family sans
EndFont
- HTMLAttr "class='info shortcut'"
+ HTMLClass "info shortcut"
HTMLStyle
span.shortcut { font-family: sans-serif; }
EndHTMLStyle
Font
Family sans
EndFont
- HTMLAttr "class='info shortcut'"
+ HTMLClass "info shortcut"
HTMLStyle
span.shortcuts { font-family: sans-serif; }
EndHTMLStyle
margin: 1ex;
}
EndHTMLStyle
- HTMLAttr "class='float-caption float-caption-standard'"
+ HTMLClass "float-caption float-caption-standard"
End