diff third_party/highlight/styles/devibeans.min.css @ 208:5d3e116dd745

[MrJuneJune] made it more mobile friendly.
author MrJuneJune <me@mrjunejune.com>
date Sun, 15 Feb 2026 12:33:54 -0800
parents 2db6253f355d
children
line wrap: on
line diff