remove synopsis when in frames

html/haddock-util.js

@@ -211,10 +211,16 @@ function addMenuItem(html) {
   }
 }
 
-function addFramesButton() {
+function adjustForFrames() {
   if (parent.location.href == window.location.href) {
+    // not in frames, so add Frames button
     addMenuItem("<a href='#' onclick='reframe();return true;'>Frames</a>");
   }
+  else {
+    // in frames, remove synopsis
+    var syn = document.getElementById("synopsis");
+    if (syn) { syn.parentNode.removeChild(syn); }
+  }
 }
 
 function reframe() {
@@ -282,7 +288,7 @@ function styleMenu(show) {
 
 function pageLoad() {
   addStyleMenu();
-  addFramesButton();
+  adjustForFrames();
   resetStyle();
 }