From 4346ad26ac1346aa5e59991315f6969c844bea60 Mon Sep 17 00:00:00 2001
From: alexbiehl <alex.biehl@gmail.com>
Date: Wed, 26 Apr 2017 07:07:04 +0200
Subject: Remove anything related to obsolete frames mode

---
 haddock-api/resources/html/Ocean.std-theme/ocean.css | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'haddock-api/resources/html/Ocean.std-theme')

diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css
index 9d2c644f..3bfc8982 100644
--- a/haddock-api/resources/html/Ocean.std-theme/ocean.css
+++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css
@@ -327,10 +327,6 @@ div#style-menu-holder {
 }
 
 #synopsis {
-  display: none;
-}
-
-.no-frame #synopsis {
   display: block;
   position: fixed;
   right: 0;
-- 
cgit v1.2.3