diff options
Diffstat (limited to 'html/Ocean.std-theme/ocean.css')
| -rw-r--r-- | html/Ocean.std-theme/ocean.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css index 205b8e6e..e683efcc 100644 --- a/html/Ocean.std-theme/ocean.css +++ b/html/Ocean.std-theme/ocean.css @@ -296,6 +296,11 @@ div#style-menu-holder { } #synopsis { + display: none; +} + +.no-frame #synopsis { + display: block; position: fixed; right: 0; height: 80%; |