[Ahmed],
We converted ours from a LaTeX system, though it had to be exported as HTML first. Sadly (as I've moaned about in the past around here) the on-fly formatting tends to still lose a lot
A shame to many of us who really appreciate the finer details of typesetting and
why it matters.
Paul.