EndFont
MultiPar true
NeedProtect true
- HTMLTag div
HTMLStyle
div.marginal {
border: 2px solid black;
Size Small
EndFont
MultiPar true
- HTMLTag div
HTMLLabel \arabic{footnote}
HTMLInnerTag div
HTMLStyle
Size Small
EndFont
MultiPar true
- HTMLTag div
HTMLIsBlock false
# FIXME HTML Need CSS
End
EndFont
MultiPar true
HTMLStyle
- span.note_greyedout {
+ div.note_greyedout {
background-color: #A0A0A0;
padding-left: 1ex;
padding-right: 1ex;
}
EndHTMLStyle
- HTMLTag div
HTMLIsBlock false
End
Size Small
EndFont
MultiPar true
- HTMLTag div
End
InsetLayout Wrap
EndFont
MultiPar true
HTMLStyle
- span.wrap {
+ div.wrap {
float: right;
width: 40%;
border: 2px solid black;
HTMLStyle
span.info { font-family: sans-serif; }
EndHTMLStyle
+ HTMLTag span
MultiPar false
End
Font
Family sans
EndFont
- HTMLTag span
HTMLAttr "class='info menu'"
HTMLStyle
span.menu { font-family: sans-serif; }
Font
Family sans
EndFont
- HTMLTag span
HTMLAttr "class='info shortcut'"
HTMLStyle
span.shortcut { font-family: sans-serif; }
Font
Family sans
EndFont
- HTMLTag span
HTMLAttr "class='info shortcut'"
HTMLStyle
- span.shortcut { font-family: sans-serif; }
+ span.shortcuts { font-family: sans-serif; }
EndHTMLStyle
End
InsetLayout Box
HTMLStyle
- span.Frameless { font-family: sans-serif; }
+ div.Frameless { font-family: sans-serif; }
EndHTMLStyle
End