Some additional style overrides

This commit is contained in:
Gabe Kangas
2022-09-10 18:06:57 -07:00
parent e037655ab2
commit 5b29abd42d
3 changed files with 101 additions and 56 deletions

View File

@@ -1,6 +1,6 @@
// Do not edit directly
// Generated on Tue, 30 Aug 2022 17:56:21 GMT
// Generated on Sun, 11 Sep 2022 00:27:11 GMT
//
// How to edit these values:
// Edit the corresponding token file under the style-definitions directory
@@ -13,6 +13,26 @@
@alert-error-bg-color: var(--theme-color-palette-4);
@alert-error-border-color: var(--theme-color-palette-error);
@popover-background: var(--theme-color-components-menu-background);
@primary-color: #7a5cf3; // Text link/secondary light text
@primary-color-hover: #2386e2; // Fun color 1
@primary-color-active: #5d38f3; // Text link hover
@primary-1: #7a5cf3; // Text link/secondary light text
@primary-2: #2386e2; // Fun color 1
@primary-3: #5d38f3; // Text link hover
@primary-4: #da9eff; // Fun color 2
@primary-5: #7a5cf3; // Text link/secondary light text
@primary-6: #2386e2; // Fun color 1
@primary-7: #5d38f3; // Text link hover
@primary-8: #da9eff; // Fun color 2
@blue-1: #7a5cf3; // Text link/secondary light text
@blue-2: #2386e2; // Fun color 1
@blue-3: #5d38f3; // Text link hover
@blue-4: #da9eff; // Fun color 2
@blue-5: #7a5cf3; // Text link/secondary light text
@blue-6: #2386e2; // Fun color 1
@blue-7: #5d38f3; // Text link hover
@blue-8: #da9eff; // Fun color 2
@component-background: #2d3748; // Dark secondary
@theme-rounded-corners: 0.5rem; // How much corners are rounded in places in the UI.
@theme-unknown-1: green; // This should never be used and it means something is wrong.
@theme-unknown-2: red; // This should never be used and it means something is wrong.