diff options
| -rw-r--r-- | website/local.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/website/local.css b/website/local.css index 5a5fceb..3d12265 100644 --- a/website/local.css +++ b/website/local.css @@ -51,7 +51,7 @@ pre { background: #ddd; border: 1px solid #aaa; padding: 3px 3px 3px 3px; - margin-left: 2em; + margin-left: 38px; overflow: auto; } |