# be comma-separated.
#End
-Format 11
+Format 16
Provides stdinsets 1
Size Small
EndFont
MultiPar true
+ HTMLTag span
+ HTMLAttr class='marginal'
+ HTMLStyle
+ span.marginal {
+ border: 2px solid black;
+ padding: 1ex;
+ margin: 1ex;
+ background-color: #F0F0F0;
+ float:right;
+ }
+ EndHTMLStyle
End
InsetLayout Foot
LabelString foot
LatexType command
LatexName footnote
+ Counter footnote
Font
Color foreground
Size Small
EndFont
MultiPar true
HTMLTag span
- HTMLAttr class='footnote'
+ HTMLAttr class='footwrapper'
+ HTMLLabel "<span class='notenum'>\arabic{footnote}</span>"
+ HTMLInnerTag span
+ HTMLInnerAttr class='footnote'
+ HTMLStyle
+ span.notenum {
+ vertical-align: super;
+ font-size: smaller;
+ }
+ span.footnote {
+ display: none;
+ font-size: medium;
+ font-weight: normal;
+ font-style: normal;
+ font-variant: normal;
+ }
+ span.footwrapper:hover span.footnote {
+ display: block;
+ border: 1px double black;
+ margin: 0em 1em;
+ padding: 1em;
+ }
+ EndHTMLStyle
End
InsetLayout Note:Comment
Size Small
EndFont
MultiPar true
+ HTMLTag !--
End
Size Small
EndFont
MultiPar true
+ HTMLTag span
+ HTMLAttr class='notegrey'
+ HTMLStyle
+ span.notegrey { color: gray; }
+ EndHTMLStyle
End
InsetLayout ERT
InsetLayout Info
Decoration conglomerate
+ HTMLTag span
+ HTMLAttr class='info'
+ HTMLStyle
+ span.info { font-family: sans-serif; }
+ EndHTMLStyle
End
InsetLayout Info:menu
Font
Family sans
EndFont
+ HTMLTag span
+ HTMLAttr "class='info menu'"
+ HTMLStyle
+ span.menu { font-family: sans-serif; }
+ EndHTMLStyle
End
InsetLayout Info:shortcut
Font
Family sans
EndFont
+ HTMLTag span
+ HTMLAttr "class='info shortcut'"
+ HTMLStyle
+ span.shortcut { font-family: sans-serif; }
+ EndHTMLStyle
End
InsetLayout Info:shortcuts
Font
Family sans
EndFont
+ HTMLTag span
+ HTMLAttr "class='info shortcut'"
+ HTMLStyle
+ span.shortcut { font-family: sans-serif; }
+ EndHTMLStyle
End
InsetLayout Box