diff --git a/doc/rust.css b/doc/rust.css index e7329802c4ca..60c967eb3abf 100644 --- a/doc/rust.css +++ b/doc/rust.css @@ -19,7 +19,7 @@ h3 { font-size: 14pt; } pre { margin: 1.1em 0; - padding: .4em .4em .4em 1em; + padding: .4em .4em .4em 2em; font-size: 120%; }