diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css index 20845970fbc..3761be4031e 100644 --- a/doc/api_assets/style.css +++ b/doc/api_assets/style.css @@ -93,7 +93,8 @@ em code { color: white !important; margin: 0 0 1em 0; font-family: "Lato", "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Verdana, Tahoma, sans-serif; - font-weight: 700; + padding: 1em; + line-height: 1.5; } .api_stability * { diff --git a/tools/doc/html.js b/tools/doc/html.js index a48b04b379d..b0a3c13c699 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -400,7 +400,7 @@ function parseAPIHeader(text) { text = text.replace( STABILITY_TEXT_REG_EXP, - `
$1 $2$3
` + `
$1 $2$3
` ); return text; }