Just put the ABC within <code>...</code> tags and it will do just that. Also encode any angle brackets or ampersands within the ABC, to keep them from being interpreted as HTML bracketting characters. Only problem might be with embedded tab characters--they're not always equivalent to eight-space stops.