1 files changed, 2 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css
index 614f437..68a8e19 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -65,11 +65,12 @@ td.narrow {
 pre {
  font-family: "Courier New", "Courier", "fixed";
  font-size: 14px;
- margin-left:96px;
+ margin-left: 64px;
  margin-right: 64px;
  width: auto;
  background-color: e5e5e5;
  padding: 8px;
+ padding-left: 16px;
 }
 ul {
  list-style-type: none;