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%;