use pre instead of code, tweak HTML