Michael Howell 8307fd7901 rustdoc: use a newline instead of <br> to format code headers
Since these elements now use `white-space: pre-wrap` since
784665d4ce59c5239791f1f96fa2137e47ca1817, it's fine to use newlines
for formatting, which is smaller and a bit less complicated.
2023-02-07 11:23:25 -07:00
..
2023-02-04 19:10:04 +01:00
2023-02-04 19:10:04 +01:00
2023-01-27 14:50:34 +01:00