Commit eb1208bec0ed8098f520675d12b0657656934c25

Thomas de Grivel 2024-10-12T18:28:47

highlight.js: fix font size