diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 19:16:05 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 19:16:05 +0100 |
| commit | ef9569455f03fbc3029c661052ea3ac4abddb7d0 (patch) | |
| tree | 09777870978be0a6fb55327d28d67303f107bbad /assets/mumi.scss | |
| parent | d7f6c306183595a61fc924388c19cbbc55ad30e2 (diff) | |
view/utils: process: Do not generate "pre" elements.
The "pre" element has its own overflow setting, which causes
individual lines to be either clipped or scrolled, which looks
terrible.
Diffstat (limited to 'assets/mumi.scss')
0 files changed, 0 insertions, 0 deletions