css: adjust the line height to improve readability#1045

Merged

Julow merged 5 commits intoocaml:masterfrom

sorawee:line-height-css

Nov 29, 2023

Commits on Nov 26, 2023

css: adjust the line height to improve readability
sorawee
committed

Commits on Nov 27, 2023

update odoc_html_support_files.ml
sorawee
committed

Commits on Nov 28, 2023