Add padding around code examples.

rouilj · rouilj · commit a1897057243f · 2023-06-08T01:33:16.000-04:00
They were all squished against the edges of the box. This makes them
less squished and prevents overlap of bottom scroll bar with the bottom
row of text.
diff --git a/doc/_static/style.css b/doc/_static/style.css
@@ -440,6 +440,7 @@ div.highlight > pre {
     background-color: #f5f4d8;
     background-size: 20px 100%, 20px 100%, 16px 100%, 16px 100%;
     background-attachment: local, local, scroll, scroll;
+    padding: 0.5em;
 }
 
 /* https://moderncss.dev/totally-custom-list-styles/ make a list
diff --git a/website/www/_static/style.css b/website/www/_static/style.css
@@ -440,6 +440,7 @@ div.highlight > pre {
     background-color: #f5f4d8;
     background-size: 20px 100%, 20px 100%, 16px 100%, 16px 100%;
     background-attachment: local, local, scroll, scroll;
+    padding: 0.5em;
 }
 
 /* https://moderncss.dev/totally-custom-list-styles/ make a list

Original file line number	Diff line number	Diff line change
`@@ -440,6 +440,7 @@ div.highlight > pre {`
`440`	`440`	`background-color: #f5f4d8;`
`441`	`441`	`background-size: 20px 100%, 20px 100%, 16px 100%, 16px 100%;`
`442`	`442`	`background-attachment: local, local, scroll, scroll;`
	`443`	`+ padding: 0.5em;`
`443`	`444`	`}`
`444`	`445`
`445`	`446`	`/* https://moderncss.dev/totally-custom-list-styles/ make a list`