Added the ability to enable borders for the bar. (#428)

* Added the ability to configure a border for the bar.

* Added the right color for configs

scripts/fillThemes.js

@@ -399,6 +399,7 @@ const main = () => {
     // Format: "target_key": "source_key"
     const specialKeyMappings = {
         'theme.bar.menus.menu.network.switch.enabled': 'theme.bar.menus.menu.network.iconbuttons.active',
+        'theme.bar.border.color': 'theme.bar.buttons.notifications.border',
         // Add more special mappings here if needed
     };