tree aacfd7d09e462de3c5cfc4cb5cb23840e0b5f6c3
parent 93910e666218954def8e1e3b304909f7dbb7a1b5
author Leopold Schabel <leo@monogon.tech> 1688847210 +0200
committer Leopold Schabel <leo@monogon.tech> 1688988836 +0000

webug: shrink tabs in monospace areas

This makes prototxt output more readable by saving
some horizontal space.

Change-Id: Ia0703f280dfb8c8dd9e3899cc20cefc81773d1e1
Reviewed-on: https://review.monogon.dev/c/monogon/+/1921
Tested-by: Jenkins CI
Reviewed-by: Serge Bazanski <serge@monogon.tech>