# be comma-separated.
#End
-Format 18
+Format 19
Provides stdinsets 1
LatexType command
LatexName marginpar
Font
- Color foreground
Size Small
- Family Roman
- Shape Up
- Series Medium
- Misc No_Emph
- Misc No_Noun
- Misc No_Bar
EndFont
LabelFont
Color marginlabel
margin: 1ex;
background-color: #F0F0F0;
float:right;
+ font-size: small;
+ font-weight: medium;
+ font-family: serif;
+ font-variant: normal;
+ font-style: normal;
}
EndHTMLStyle
End
LabelString foot
Counter footnote
Font
- Color foreground
Size Small
- Family Roman
- Shape Up
- Series Medium
- Misc No_Emph
- Misc No_Noun
- Misc No_Bar
EndFont
LabelFont
Color footlabel
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;
LabelString Idx
Decoration classic
Font
- Color foreground
Size Small
- Family Roman
- Shape Up
- Series Medium
- Misc No_Emph
- Misc No_Noun
- Misc No_Bar
EndFont
LabelFont
Color indexlabel
Size Small
EndFont
MultiPar true
+ HTMLStyle
+ div.Frameless { font-family: sans-serif; }
+ EndHTMLStyle
End
InsetLayout Box:Shaded
HTMLStyle
div.wrap {
float: right;
- width: 40%;
border: 2px solid black;
padding: 1ex;
margin: 1ex;
span.shortcuts { font-family: sans-serif; }
EndHTMLStyle
End
-
-InsetLayout Box
- HTMLStyle
- div.Frameless { font-family: sans-serif; }
- EndHTMLStyle
-End