da823554 broke tab bar style for RA

fix:

diff --git a/src/js/rulesAssistantOptions.js b/src/js/rulesAssistantOptions.js
index 3482e9d64..b3fa4b180 100644
--- a/src/js/rulesAssistantOptions.js
+++ b/src/js/rulesAssistantOptions.js
@@ -1562,7 +1562,7 @@ window.rulesAssistantOptions = (function() {
      const element = document.createElement("div");
      element.className = "ra-setters";
      this.tabButtons_ = document.createElement("div");
-     this.tabButtons_.className = "tab";
+     this.tabButtons_.className = "tabbar";
      element.appendChild(this.tabButtons_);
      return element;
    }

assigned to @ezsh

mentioned in merge request !6513 (merged)

closed via merge request !6513 (merged)

mentioned in commit ea2eeaa8