diff options
Diffstat (limited to 'userContent/reproducible')
| -rw-r--r-- | userContent/reproducible/static/style.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index 8bcec8f8..d4708b7a 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -12,7 +12,7 @@ body { line-height: 20px; color: #333333; margin: 0; - height: 93%; + height: 100%; padding: 0 1em; } @@ -404,6 +404,7 @@ span.dangerous { color: orange; } border-right: 1px solid #eee; height: 100%; padding-top: 0px; + overflow: auto; } iframe#main { width: 80%; |