Hi guys,
I've just been advertising your product on my blog [1], but was running
into a (minor) problem.
I'm using a DTD which has element names with dots in it (e.g.
code.block). So I created a CSS definition:
code.block {
white-space: pre;
display: block;
background-color: #E0E0E0;
border: thin solid gray;
font-family: monospace;
font-size: .83em;
margin-top: 1.33ex;
margin-bottom: 1.33ex;
}
but unfortunately, that style wasn't triggered. When I got rid of the
dot in the element name in both my document and stylesheet, everything
was working fine...
I tried my luck by defining my style selector using an escape character
before the dot, and behold! everything was working fine:
code\.block {
//... (leave stuff as-is)
}
Excellent product, BTW - keep up the good work!
</Steven>
[1] http://blogs.cocoondev.org/stevenn/archives/000761.html
--
Steven Noels http://outerthought.org/
Outerthought - Open Source, Java & XML Competence Support Center
Read my weblog at http://blogs.cocoondev.org/stevenn/
stevenn at outerthought.org stevenn at apache.org
