Refactored HTML paragraph generation to enable consistent JavaDoc rendering across all 3 major Java IDEs.

Also added support for <ol> marker types.