From bd5f55776d6a9833fbdcd518d7e096ca03f4e9cc Mon Sep 17 00:00:00 2001
From: PurpleMagick <PurpleMagick@users.noreply.github.com>
Date: Fri, 9 Dec 2022 09:58:43 +0200
Subject: [PATCH] Update selector for new structure of the top bar

A change to the top bar put the <ol> for the user profile in a <nav> element. Adjusted the selector to prevent the script from throwing errors.
---
 Websocket-Indicator/StackWebsocketIndicator.user.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Websocket-Indicator/StackWebsocketIndicator.user.js b/Websocket-Indicator/StackWebsocketIndicator.user.js
index 2f8e7ec..834e0fd 100644
--- a/Websocket-Indicator/StackWebsocketIndicator.user.js
+++ b/Websocket-Indicator/StackWebsocketIndicator.user.js
@@ -3,7 +3,7 @@
 // @description      Indicates when the websocket is connected
 // @author           CertainPerformance
 // @namespace        https://github.com/CertainPerformance/Stack-Exchange-Userscripts
-// @version          1.0.0
+// @version          1.0.1
 // @include          /^https://(?:[^/]+\.)?(?:(?:stackoverflow|serverfault|superuser|stackexchange|askubuntu|stackapps)\.com|mathoverflow\.net)//
 // @run-at           document-start
 // @grant            none
@@ -17,7 +17,7 @@
 'use strict';
 
 const changeBorder = (color) => {
-    const personalTopBar = document.querySelector('#search + ol');
+    const personalTopBar = document.querySelector('#search + nav > ol');
     personalTopBar.style.borderLeft = `4px solid ${color}`;
     personalTopBar.style.borderRight = `4px solid ${color}`;
 };