styled top-margin. bug in deleteing tab

a0b97449 · Olav Kvittem · 7d16c87b · a0b97449
Commit a0b97449 authored Jan 27, 2022 by Olav Kvittem
--- a/server/script/microdep-map.html
+++ b/server/script/microdep-map.html
@@ -85,7 +85,7 @@

 </head>

-<body style="height:50%">
+<body style="height:80%;padding-top:5px;">
  <!-- <h2>Micro dependability measurement node map</h2> -->
    <!--
    <button class=knapp id="draw">Connections</button>
@@ -343,7 +343,7 @@ function show_map (network) {
 	});

 	$(window).on("resize", function () {
-	    $("#mapid").height( $(window).height()-400 );
+	    $("#mapid").height( $(window).height()-250 );
 	}).trigger("resize"); 
    }

@@ -1644,7 +1644,7 @@ function report_summary(div_id){
      new_tab.delegate( "span.ui-icon-close", "click", function() {
 	  var panelId = $( this ).closest( "li" ).remove().attr( "aria-controls" );
 	  $( "#" + panelId ).remove();
-	  tabs.tabs( "refresh" );
+	  $("#tabs").tabs( "refresh" );
      });