Commit fd347eb0f2791e56a3694c974cc30f8c97ea1e90

Thomas de Grivel 2025-07-27T12:42:09

css: add margin-bottom to <pre>