diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css index 45e2c7c06b5573..95a1ac71248956 100644 --- a/doc/api_assets/style.css +++ b/doc/api_assets/style.css @@ -561,6 +561,9 @@ th > *:last-child, td > *:last-child { #content { font-size: 3.5em; } + #gtoc { + font-size: 0.6em; + } } @media print {