diff options
| -rw-r--r-- | html/Ocean.std-theme/ocean.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css index 3fb799cb..d7eac671 100644 --- a/html/Ocean.std-theme/ocean.css +++ b/html/Ocean.std-theme/ocean.css @@ -355,7 +355,7 @@ div#style-menu-holder { /* @group Main Content */ -#interface div.top { margin: 1em 0 0.5em 0; } +#interface div.top { margin: 1em 0 2em 0; } #interface p.src .link { float: right; |