Commit 5c79555b2dda6cb67a22ac8c5a70f3ffa84c86df

Thomas de Grivel 2024-10-12T18:31:19

highlight.js: fix font size