guidelines/github, Fix pre styling

w3c · Apr 29, 2019 · 6a57fb4 · 6a57fb4
1 parent d8ba4ab
commit 6a57fb4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/guidelines/github.html b/guidelines/github.html
@@ -47,6 +47,7 @@
 	padding: 0 0.4em;
 	white-space: nowrap;
 	}
+pre { margin-left: 7.5%; }
 </style>
 <script type="text/javascript" src="../../i18n-drafts/javascript/articletoc-html5.js"></script>
 </head>