textarea instead of pre for easier copying