diff options
| author | alexbiehl <alex.biehl@gmail.com> | 2017-04-26 07:07:04 +0200 |
|---|---|---|
| committer | Alex Biehl <alexbiehl@gmail.com> | 2017-04-26 07:13:50 +0200 |
| commit | 4346ad26ac1346aa5e59991315f6969c844bea60 (patch) | |
| tree | 36c7b2e991bf21a6044d9acd35a74d82c10757b5 /haddock-api/resources/html/Ocean.std-theme | |
| parent | e41e21e6caccfe18c5a291c8c0f8be143552cc27 (diff) | |
Remove anything related to obsolete frames mode
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme')
| -rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 4 |
1 files changed, 0 insertions, 4 deletions
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; |