fix tippy top banner not closing on introduction and libraries pages

Author: byron-okta

src/website/introduction/index.js

@@ -1,6 +1,8 @@
 import { setupHighlighting } from "../highlighting.js";
 import { setupJwtCounter } from "../counter.js";
+import { TopBanner } from "../top-banner.js";
 
 // Initialization
 setupHighlighting();
 setupJwtCounter();
+TopBanner();

src/website/libraries/index.js

@@ -1,8 +1,10 @@
 import { setupLibraries } from "./libraries.js";
 import { setupHighlighting } from "../highlighting.js";
 import { setupJwtCounter } from "../counter.js";
+import { TopBanner } from "../top-banner.js";
 
 // Initialization
 setupLibraries();
 setupHighlighting();
-setupJwtCounter();
+setupJwtCounter();
+TopBanner();