diff --git a/doc_src/user_doc.css b/doc_src/user_doc.css index bdbc1a54a..f514892c2 100644 --- a/doc_src/user_doc.css +++ b/doc_src/user_doc.css @@ -105,7 +105,7 @@ h1, h2, h3, h4, h5, h6 { h1 { margin: 1.6rem 0 1rem 0; font-weight: 700; - font-size: 1.7rem; + font-size: 2.5rem; } h2 { margin: 1.6rem 0 1rem 0;