1 files changed, 5 insertions, 1 deletions
diff --git a/resources/lib/codex-design-tokens/theme-wikimedia-ui-legacy.less b/resources/lib/codex-design-tokens/theme-wikimedia-ui-legacy.less
index 8cf9bd8593ad..5ec29cfe94b3 100644
--- a/resources/lib/codex-design-tokens/theme-wikimedia-ui-legacy.less
+++ b/resources/lib/codex-design-tokens/theme-wikimedia-ui-legacy.less
@@ -1,6 +1,6 @@
 
 // Do not edit directly
-// Generated on Tue, 28 Mar 2023 20:41:55 GMT
+// Generated on Tue, 11 Apr 2023 21:11:33 GMT
 
 @font-size-base: 14px;
 @font-size-x-small: 0.8571429em; // `x` stands for extra. In this case extra small.
@@ -192,6 +192,10 @@
 @border-color-input-binary--active: #2a4b8d;
 @border-color-input-binary--focus: #36c;
 @border-color-input-binary--checked: #36c;
+@border-base: 1px solid #a2a9b1;
+@border-subtle: 1px solid #c8ccd1;
+@border-progressive: 1px solid #36c;
+@border-destructive: 1px solid #d33;
 @border-radius-base: 2px;
 @border-radius-sharp: 0;
 @border-radius-pill: 9999px;