fixes #17017 (update padding:11px line 142 of rustbook.css)

diff --git a/src/rustbook/static/rustbook.css b/src/rustbook/static/rustbook.css
index 3755338f427dfe7be722c7182164056883c6d8e1..ba0151fa2ed4773116c06a94773cdb844806331b 100644 (file)
--- a/src/rustbook/static/rustbook.css
+++ b/src/rustbook/static/rustbook.css
@@ -139,7 +139,7 @@ h1, h2, h3, h4, h5, h6 {
 }
 
 pre {
-    padding: 16px;
+    padding: 11px;
     overflow: auto;
     font-size: 85%;
     line-height: 1.45;