- Optimise header when Google shows popup ads on top of the page

- Upgrade to Tomcat 10.1.23
codehaus-cargo · Apr 24, 2024 · 991c748 · 991c748
1 parent 75da935
commit 991c748
Show file tree

Hide file tree

Showing 313 changed files with 5,948 additions and 3,444 deletions.
diff --git a/cargo/Adding+TLD+support+to+the+Jetty+container.html b/cargo/Adding+TLD+support+to+the+Jetty+container.html
@@ -24,22 +24,30 @@
   </script>
   <script>
     window.setInterval(function() {
+      var headerPosition = "fixed";
       var ins = document.getElementsByTagName("ins");
       for (i of ins) {
-        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style && i.style.bottom) {
-          var bottom = parseInt(i.style.bottom)
-          if (!isNaN(bottom)) {
-            // The way Google handles the element is that the height (with the ad) is fixed,
-            // appearing and disappearing is handled by making the bottom style negative
-            var space = i.offsetHeight + bottom;
-            if (space < 0) {
-              space = 0;
+        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style) {
+          if (i.style.bottom) {
+            var bottom = parseInt(i.style.bottom)
+            if (!isNaN(bottom)) {
+              // The way Google handles the element is that the height (with the ad) is fixed,
+              // appearing and disappearing is handled by making the bottom style negative
+              var space = i.offsetHeight + bottom;
+              if (space < 0) {
+                space = 0;
+              }
+              document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
+              document.getElementById("cargo-content").style.paddingBottom = space + "px";
+            }
+          } else if (i.style.top) {
+            if (parseInt(i.style.top) === 0) {
+              headerPosition = "static";
             }
-            document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
-            document.getElementById("cargo-content").style.paddingBottom = space + "px";
           }
         }
       }
+      document.getElementById("cargo-header").style.position = headerPosition;
     }, 100);
   </script>
  </head>
@@ -48,7 +56,7 @@
    <tbody>
     <tr style="height:83px">
      <td colspan="2" style="padding:0px">
-      <div style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
+      <div id="cargo-header" style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
        <table class="banner" style="padding:0px;width:100%;background-image:url('attachments/cargo-banner-center.png')">
         <tbody>
          <tr>

diff --git a/cargo/Adding+a+JMS+resource+to+Resin3x.html b/cargo/Adding+a+JMS+resource+to+Resin3x.html
@@ -24,22 +24,30 @@
   </script>
   <script>
     window.setInterval(function() {
+      var headerPosition = "fixed";
       var ins = document.getElementsByTagName("ins");
       for (i of ins) {
-        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style && i.style.bottom) {
-          var bottom = parseInt(i.style.bottom)
-          if (!isNaN(bottom)) {
-            // The way Google handles the element is that the height (with the ad) is fixed,
-            // appearing and disappearing is handled by making the bottom style negative
-            var space = i.offsetHeight + bottom;
-            if (space < 0) {
-              space = 0;
+        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style) {
+          if (i.style.bottom) {
+            var bottom = parseInt(i.style.bottom)
+            if (!isNaN(bottom)) {
+              // The way Google handles the element is that the height (with the ad) is fixed,
+              // appearing and disappearing is handled by making the bottom style negative
+              var space = i.offsetHeight + bottom;
+              if (space < 0) {
+                space = 0;
+              }
+              document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
+              document.getElementById("cargo-content").style.paddingBottom = space + "px";
+            }
+          } else if (i.style.top) {
+            if (parseInt(i.style.top) === 0) {
+              headerPosition = "static";
             }
-            document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
-            document.getElementById("cargo-content").style.paddingBottom = space + "px";
           }
         }
       }
+      document.getElementById("cargo-header").style.position = headerPosition;
     }, 100);
   </script>
  </head>
@@ -48,7 +56,7 @@
    <tbody>
     <tr style="height:83px">
      <td colspan="2" style="padding:0px">
-      <div style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
+      <div id="cargo-header" style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
        <table class="banner" style="padding:0px;width:100%;background-image:url('attachments/cargo-banner-center.png')">
         <tbody>
          <tr>

diff --git a/cargo/Adding+a+Samples+Test.html b/cargo/Adding+a+Samples+Test.html
@@ -24,22 +24,30 @@
   </script>
   <script>
     window.setInterval(function() {
+      var headerPosition = "fixed";
       var ins = document.getElementsByTagName("ins");
       for (i of ins) {
-        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style && i.style.bottom) {
-          var bottom = parseInt(i.style.bottom)
-          if (!isNaN(bottom)) {
-            // The way Google handles the element is that the height (with the ad) is fixed,
-            // appearing and disappearing is handled by making the bottom style negative
-            var space = i.offsetHeight + bottom;
-            if (space < 0) {
-              space = 0;
+        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style) {
+          if (i.style.bottom) {
+            var bottom = parseInt(i.style.bottom)
+            if (!isNaN(bottom)) {
+              // The way Google handles the element is that the height (with the ad) is fixed,
+              // appearing and disappearing is handled by making the bottom style negative
+              var space = i.offsetHeight + bottom;
+              if (space < 0) {
+                space = 0;
+              }
+              document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
+              document.getElementById("cargo-content").style.paddingBottom = space + "px";
+            }
+          } else if (i.style.top) {
+            if (parseInt(i.style.top) === 0) {
+              headerPosition = "static";
             }
-            document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
-            document.getElementById("cargo-content").style.paddingBottom = space + "px";
           }
         }
       }
+      document.getElementById("cargo-header").style.position = headerPosition;
     }, 100);
   </script>
  </head>
@@ -48,7 +56,7 @@
    <tbody>
     <tr style="height:83px">
      <td colspan="2" style="padding:0px">
-      <div style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
+      <div id="cargo-header" style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
        <table class="banner" style="padding:0px;width:100%;background-image:url('attachments/cargo-banner-center.png')">
         <tbody>
          <tr>

diff --git a/cargo/Adding+a+container.html b/cargo/Adding+a+container.html
@@ -24,22 +24,30 @@
   </script>
   <script>
     window.setInterval(function() {
+      var headerPosition = "fixed";
       var ins = document.getElementsByTagName("ins");
       for (i of ins) {
-        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style && i.style.bottom) {
-          var bottom = parseInt(i.style.bottom)
-          if (!isNaN(bottom)) {
-            // The way Google handles the element is that the height (with the ad) is fixed,
-            // appearing and disappearing is handled by making the bottom style negative
-            var space = i.offsetHeight + bottom;
-            if (space < 0) {
-              space = 0;
+        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style) {
+          if (i.style.bottom) {
+            var bottom = parseInt(i.style.bottom)
+            if (!isNaN(bottom)) {
+              // The way Google handles the element is that the height (with the ad) is fixed,
+              // appearing and disappearing is handled by making the bottom style negative
+              var space = i.offsetHeight + bottom;
+              if (space < 0) {
+                space = 0;
+              }
+              document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
+              document.getElementById("cargo-content").style.paddingBottom = space + "px";
+            }
+          } else if (i.style.top) {
+            if (parseInt(i.style.top) === 0) {
+              headerPosition = "static";
             }
-            document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
-            document.getElementById("cargo-content").style.paddingBottom = space + "px";
           }
         }
       }
+      document.getElementById("cargo-header").style.position = headerPosition;
     }, 100);
   </script>
  </head>
@@ -48,7 +56,7 @@
    <tbody>
     <tr style="height:83px">
      <td colspan="2" style="padding:0px">
-      <div style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
+      <div id="cargo-header" style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
        <table class="banner" style="padding:0px;width:100%;background-image:url('attachments/cargo-banner-center.png')">
         <tbody>
          <tr>

diff --git a/cargo/Announcing+Codehaus+Cargo+1.7.16.html b/cargo/Announcing+Codehaus+Cargo+1.7.16.html
@@ -24,22 +24,30 @@
   </script>
   <script>
     window.setInterval(function() {
+      var headerPosition = "fixed";
       var ins = document.getElementsByTagName("ins");
       for (i of ins) {
-        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style && i.style.bottom) {
-          var bottom = parseInt(i.style.bottom)
-          if (!isNaN(bottom)) {
-            // The way Google handles the element is that the height (with the ad) is fixed,
-            // appearing and disappearing is handled by making the bottom style negative
-            var space = i.offsetHeight + bottom;
-            if (space < 0) {
-              space = 0;
+        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style) {
+          if (i.style.bottom) {
+            var bottom = parseInt(i.style.bottom)
+            if (!isNaN(bottom)) {
+              // The way Google handles the element is that the height (with the ad) is fixed,
+              // appearing and disappearing is handled by making the bottom style negative
+              var space = i.offsetHeight + bottom;
+              if (space < 0) {
+                space = 0;
+              }
+              document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
+              document.getElementById("cargo-content").style.paddingBottom = space + "px";
+            }
+          } else if (i.style.top) {
+            if (parseInt(i.style.top) === 0) {
+              headerPosition = "static";
             }
-            document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
-            document.getElementById("cargo-content").style.paddingBottom = space + "px";
           }
         }
       }
+      document.getElementById("cargo-header").style.position = headerPosition;
     }, 100);
   </script>
  </head>
@@ -48,7 +56,7 @@
    <tbody>
     <tr style="height:83px">
      <td colspan="2" style="padding:0px">
-      <div style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
+      <div id="cargo-header" style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
        <table class="banner" style="padding:0px;width:100%;background-image:url('attachments/cargo-banner-center.png')">
         <tbody>
          <tr>

diff --git a/cargo/Another+jump+in+Codehaus+Cargo+s+history+version+1.8.0+is+here.html b/cargo/Another+jump+in+Codehaus+Cargo+s+history+version+1.8.0+is+here.html
@@ -24,22 +24,30 @@
   </script>
   <script>
     window.setInterval(function() {
+      var headerPosition = "fixed";
       var ins = document.getElementsByTagName("ins");
       for (i of ins) {
-        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style && i.style.bottom) {
-          var bottom = parseInt(i.style.bottom)
-          if (!isNaN(bottom)) {
-            // The way Google handles the element is that the height (with the ad) is fixed,
-            // appearing and disappearing is handled by making the bottom style negative
-            var space = i.offsetHeight + bottom;
-            if (space < 0) {
-              space = 0;
+        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style) {
+          if (i.style.bottom) {
+            var bottom = parseInt(i.style.bottom)
+            if (!isNaN(bottom)) {
+              // The way Google handles the element is that the height (with the ad) is fixed,
+              // appearing and disappearing is handled by making the bottom style negative
+              var space = i.offsetHeight + bottom;
+              if (space < 0) {
+                space = 0;
+              }
+              document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
+              document.getElementById("cargo-content").style.paddingBottom = space + "px";
+            }
+          } else if (i.style.top) {
+            if (parseInt(i.style.top) === 0) {
+              headerPosition = "static";
             }
-            document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
-            document.getElementById("cargo-content").style.paddingBottom = space + "px";
           }
         }
       }
+      document.getElementById("cargo-header").style.position = headerPosition;
     }, 100);
   </script>
  </head>
@@ -48,7 +56,7 @@
    <tbody>
     <tr style="height:83px">
      <td colspan="2" style="padding:0px">
-      <div style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
+      <div id="cargo-header" style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
        <table class="banner" style="padding:0px;width:100%;background-image:url('attachments/cargo-banner-center.png')">
         <tbody>
          <tr>

diff --git a/cargo/Ant+Tasks+Reference+Guide.html b/cargo/Ant+Tasks+Reference+Guide.html
@@ -24,22 +24,30 @@
   </script>
   <script>
     window.setInterval(function() {
+      var headerPosition = "fixed";
       var ins = document.getElementsByTagName("ins");
       for (i of ins) {
-        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style && i.style.bottom) {
-          var bottom = parseInt(i.style.bottom)
-          if (!isNaN(bottom)) {
-            // The way Google handles the element is that the height (with the ad) is fixed,
-            // appearing and disappearing is handled by making the bottom style negative
-            var space = i.offsetHeight + bottom;
-            if (space < 0) {
-              space = 0;
+        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style) {
+          if (i.style.bottom) {
+            var bottom = parseInt(i.style.bottom)
+            if (!isNaN(bottom)) {
+              // The way Google handles the element is that the height (with the ad) is fixed,
+              // appearing and disappearing is handled by making the bottom style negative
+              var space = i.offsetHeight + bottom;
+              if (space < 0) {
+                space = 0;
+              }
+              document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
+              document.getElementById("cargo-content").style.paddingBottom = space + "px";
+            }
+          } else if (i.style.top) {
+            if (parseInt(i.style.top) === 0) {
+              headerPosition = "static";
             }
-            document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
-            document.getElementById("cargo-content").style.paddingBottom = space + "px";
           }
         }
       }
+      document.getElementById("cargo-header").style.position = headerPosition;
     }, 100);
   </script>
  </head>
@@ -48,7 +56,7 @@
    <tbody>
     <tr style="height:83px">
      <td colspan="2" style="padding:0px">
-      <div style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
+      <div id="cargo-header" style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
        <table class="banner" style="padding:0px;width:100%;background-image:url('attachments/cargo-banner-center.png')">
         <tbody>
          <tr>

diff --git a/cargo/Ant+support.html b/cargo/Ant+support.html
@@ -24,22 +24,30 @@
   </script>
   <script>
     window.setInterval(function() {
+      var headerPosition = "fixed";
       var ins = document.getElementsByTagName("ins");
       for (i of ins) {
-        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style && i.style.bottom) {
-          var bottom = parseInt(i.style.bottom)
-          if (!isNaN(bottom)) {
-            // The way Google handles the element is that the height (with the ad) is fixed,
-            // appearing and disappearing is handled by making the bottom style negative
-            var space = i.offsetHeight + bottom;
-            if (space < 0) {
-              space = 0;
+        if (i.className && i.className.indexOf("adsbygoogle") != -1 && i.style) {
+          if (i.style.bottom) {
+            var bottom = parseInt(i.style.bottom)
+            if (!isNaN(bottom)) {
+              // The way Google handles the element is that the height (with the ad) is fixed,
+              // appearing and disappearing is handled by making the bottom style negative
+              var space = i.offsetHeight + bottom;
+              if (space < 0) {
+                space = 0;
+              }
+              document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
+              document.getElementById("cargo-content").style.paddingBottom = space + "px";
+            }
+          } else if (i.style.top) {
+            if (parseInt(i.style.top) === 0) {
+              headerPosition = "static";
             }
-            document.getElementById("cargo-navigation").style.paddingBottom = space + "px";
-            document.getElementById("cargo-content").style.paddingBottom = space + "px";
           }
         }
       }
+      document.getElementById("cargo-header").style.position = headerPosition;
     }, 100);
   </script>
  </head>
@@ -48,7 +56,7 @@
    <tbody>
     <tr style="height:83px">
      <td colspan="2" style="padding:0px">
-      <div style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
+      <div id="cargo-header" style="position:fixed;width:100%;top:0;border-bottom:1px solid #39434F;z-index:2">
        <table class="banner" style="padding:0px;width:100%;background-image:url('attachments/cargo-banner-center.png')">
         <tbody>
          <tr>