diff options
Diffstat (limited to 'userContent')
| -rw-r--r-- | userContent/reproducible/static/style.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css index cb2bf2d0..4d882d1a 100644 --- a/userContent/reproducible/static/style.css +++ b/userContent/reproducible/static/style.css @@ -418,6 +418,15 @@ span.dangerous { color: orange; } padding-top: 0px; overflow: auto; } + .mainbody { + width: 80%; + float: left; + box-sizing: border-box; + border: none; + height: 100%; + padding: 0.5em; + overflow: auto; + } iframe#main { width: 80%; float: right; |