diff --git a/website/css/docs.css b/website/css/docs.css index f95f08d389..6be02c6343 100644 --- a/website/css/docs.css +++ b/website/css/docs.css @@ -69,6 +69,9 @@ summary { padding: 0.125rem 0.25rem; } +#content code.syntax { + padding: 0; +} #content pre { background: #efefef;