diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css index 9248b09bcf6..ecb4a35c500 100644 --- a/doc/api_assets/style.css +++ b/doc/api_assets/style.css @@ -351,7 +351,7 @@ hr { } p tt, -p code { +p code, span.type { background: #f8f8ff; border: 1px solid #dedede; padding: 0 0.2em;