Fix truledger html; add <pre> style on contract-language