# be comma-separated.
#End
-Format 18
+Format 19
Provides stdinsets 1
margin: 1ex;
background-color: #F0F0F0;
float:right;
+ font-size: small;
+ font-weight: medium;
+ font-family: serif;
+ font-variant: normal;
+ font-style: normal;
}
EndHTMLStyle
End
font-weight: bold;
text-decoration: underline;
}
- div.foot { display: inline; }
+ div.foot {
+ display: inline;
+ font-size: small;
+ font-weight: medium;
+ font-family: serif;
+ font-variant: normal;
+ font-style: normal;
+ }
div.foot_inner { display: none; }
div.foot:hover div.foot_inner {
display: block;
MultiPar true
HTMLStyle
div.note_greyedout {
+ display: inline;
background-color: #A0A0A0;
padding-left: 1ex;
padding-right: 1ex;
Size Small
EndFont
MultiPar true
+ HTMLStyle
+ div.Frameless { font-family: sans-serif; }
+ EndHTMLStyle
End
InsetLayout Box:Shaded
span.shortcuts { font-family: sans-serif; }
EndHTMLStyle
End
-
-InsetLayout Box
- HTMLStyle
- div.Frameless { font-family: sans-serif; }
- EndHTMLStyle
-End