Commit 79b731e3a173a11e7546cc012e5d2ab7a35b675e

Thomas de Grivel 2024-10-12T18:32:17

highlight.js: fix font size