Margin units supported in style sheets
What units does JavaHelp support in style sheets? In the example default.css, I see font sizes specified with size "pt" but I don't see any size units for margins. Will JavaHelp support a style sheet specification of "margin-top: 10ex" or "margin-top: 10em"? If not, what is the underlying unit for the margin values in the default.css (for example, "margin-top: 10;")?