.pre-formatted{white-space:pre}[type=number].border-red{border-color:orange}