diff options
| -rw-r--r-- | website/local.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/website/local.css b/website/local.css index cb966f8..76dc4cc 100644 --- a/website/local.css +++ b/website/local.css @@ -43,6 +43,7 @@ pre { border: 1px solid #aaa; padding: 3px 3px 3px 3px; margin-left: 2em; + overflow: scroll; } table.sitenav { |