From the docs, it looks like external .CSS sheets' user-defined styles
should appear in the style box on each page or element. However they don't
appear in the list, even if user-defined styles are selected. If I change a
tag's style (like "body") on the .CSS page that style will carry through, so
the page is linked correctly. Also custom styles can be applied inline by
hand. Am I missing something?