remove duplicate variables

Author: raclim

client/styles/abstracts/_variables.scss

@@ -32,21 +32,16 @@ $darkest: #000;
 $themes: (
   light: (
     admonition-background: #E4F8FF,
-    admonition-background: #E4F8FF,
-    admonition-border: #22C8ED,
     admonition-border: #22C8ED,
     admonition-text: #075769,
-    admonition-text: #075769,
     background-color: $lighter,
     button-active-color: $lightest,
-    button-active-color: $lightest,
     button-background-active-color: $p5js-active-pink,
     button-background-color: $light,
     button-background-hover-color: $p5js-pink,
     button-border-color: $middle-light,
     button-color: $black,
     button-hover-color: $lightest,
-    button-hover-color: $lightest,
     button-nav-inactive-color: $middle-gray,
     button-secondary-background-color: $medium-light,
     codefold-icon-closed: url("../images/triangle-arrow-right.svg?byUrl"),
@@ -63,64 +58,35 @@ $themes: (
     file-hover-color: $light,
     file-selected-color: $medium-light,
     form-input-placeholder-text-color: $middle-light,
-    form-input-placeholder-text-color: $middle-light,
     form-input-text-color: $dark,
-    form-input-text-color: $dark,
-    form-navigation-options-color: $middle-dark,
     form-navigation-options-color: $middle-dark,
     form-secondary-title-color: $medium-dark,
-    form-secondary-title-color: $medium-dark,
-    form-title-color: rgba(51, 51, 51, 0.87),
     form-title-color: rgba(51, 51, 51, 0.87),
     heavy-text-color: $darker,
     hint-arrow-background-active-color: $p5js-active-pink,
-    hint-arrow-background-active-color: $p5js-active-pink,
-    hint-arrow-background-color: #ed225ddd,
     hint-arrow-background-color: #ed225ddd,
     hint-arrow-color: $lightest,
-    hint-arrow-color: $lightest,
-    hint-arrow-focus-outline-color: $middle-dark,
     hint-arrow-focus-outline-color: $middle-dark,
     hint-background-color: $white,
-    hint-background-color: $white,
     hint-fun-active-border-bottom-color: #0B7CA9,
-    hint-fun-active-border-bottom-color: #0B7CA9,
-    hint-fun-text-color: #0B7CA9,
     hint-fun-text-color: #0B7CA9,
     hint-inline-text-color-light: $middle-light,
-    hint-inline-text-color-light: $middle-light,
-    hint-inline-text-color: $middle-gray,
     hint-inline-text-color: $middle-gray,
     hint-item-active-background-color: $middle-gray,
-    hint-item-active-background-color: $middle-gray,
-    hint-item-active-outline-offset: 0,
     hint-item-active-outline-offset: 0,
     hint-item-active-outline: none,
-    hint-item-active-outline: none,
     hint-item-active-text-color: $white,
-    hint-item-active-text-color: $white,
-    hint-item-active-type-text-color: $white,
     hint-item-active-type-text-color: $white,
     hint-item-border-bottom-color: $white,
-    hint-item-border-bottom-color: $white,
-    hint-item-hover-background-color: #f4f4f4,
     hint-item-hover-background-color: #f4f4f4,
     hint-keyword-text-color: #7A5A3A,
-    hint-keyword-text-color: #7A5A3A,
-    hint-no-link-background-color: $medium-light,
     hint-no-link-background-color: $medium-light,
     hint-text-color: $dark,
-    hint-text-color: $dark,
     hint-type-text-color: $medium-dark,
-    hint-type-text-color: $medium-dark,
-    hint-var-active-border-bottom-color: #D52889,
     hint-var-active-border-bottom-color: #D52889,
     hint-var-text-color: #D52889,
-    hint-var-text-color: #D52889,
-    icon-color: $middle-gray,
     icon-color: $middle-gray,
     icon-hover-color: $darker,
-    icon-hover-color: $darker,
     icon-toast-hover-color: $lightest,
     ide-border-color: $medium-light,
     inactive-text-color: $middle-dark,
@@ -134,27 +100,21 @@ $themes: (
     logo-background-color: $lightest,
     logo-color: $p5js-pink,
     modal-background-color: $light,
-    modal-background-color: $light,
-    modal-border-color: $middle-light,
     modal-border-color: $middle-light,
     modal-button-color: $dark,
     nav-border-color: $middle-light,
     nav-hover-color: $p5js-pink,
     preferences-button-background-color: $medium-light,
-    preferences-button-background-color: $medium-light,
     preferences-warning-color: $p5js-pink,
     primary-text-color: $dark,
     progress-bar-active-color: $p5js-active-pink,
-    progress-bar-active-color: $p5js-active-pink,
-    progress-bar-background-color: $middle-gray,
     progress-bar-background-color: $middle-gray,
     search-background-color: $lightest,
     search-clear-background-color: $light,
     search-hover-background-color: $medium-dark,
     search-hover-text-color: $lightest,
     secondary-text-color: $medium-dark,
     shadow-color: rgba(0, 0, 0, 0.16),
-    shadow-color: rgba(0, 0, 0, 0.16),
     table-button-active-color: $lightest,
     table-button-background-active-color: #00A1D3,
     table-button-background-color: $middle-gray,
@@ -169,22 +129,17 @@ $themes: (
     toolbar-button-color: $dark,
   ),
   dark: (
-    admonition-background: #105A7F,
     admonition-background: #105A7F,
     admonition-border: #22C8ED,
-    admonition-border: #22C8ED,
-    admonition-text: #FFFFFF,
     admonition-text: #FFFFFF,
     background-color: $darker,
     button-active-color: $lightest,
-    button-active-color: $lightest,
     button-background-active-color: $p5js-active-pink,
     button-background-color: $dark,
     button-background-hover-color: $p5js-pink,
     button-border-color: $middle-dark,
     button-color: $light,
     button-hover-color: $lightest,
-    button-hover-color: $lightest,
     button-nav-inactive-color: $middle-light,
     button-secondary-background-color: $medium-dark,
     codefold-icon-closed: url("../images/triangle-arrow-right-white.svg?byUrl"),
@@ -201,59 +156,32 @@ $themes: (
     file-hover-color: $dark,
     file-selected-color: $medium-dark,
     form-navigation-options-color: $middle-light,
-    form-navigation-options-color: $middle-light,
     form-secondary-title-color: $medium-light,
-    form-secondary-title-color: $medium-light,
-    form-title-color: $lightest,
     form-title-color: $lightest,
     heavy-text-color: $lightest,
     hint-arrow-background-active-color: $p5js-active-pink,
-    hint-arrow-background-active-color: $p5js-active-pink,
-    hint-arrow-background-color: #ed225ddd,
     hint-arrow-background-color: #ed225ddd,
     hint-arrow-color: $lightest,
-    hint-arrow-color: $lightest,
     hint-arrow-focus-outline-color: #cfcfcf,
-    hint-arrow-focus-outline-color: #cfcfcf,
-    hint-background-color: $darker,
     hint-background-color: $darker,
     hint-fun-active-border-bottom-color: #0F9DD7,
-    hint-fun-active-border-bottom-color: #0F9DD7,
-    hint-fun-text-color: #0F9DD7,
     hint-fun-text-color: #0F9DD7,
     hint-inline-text-color-light: $middle-gray,
-    hint-inline-text-color-light: $middle-gray,
-    hint-inline-text-color: #cfcfcf,
     hint-inline-text-color: #cfcfcf,
     hint-item-active-background-color: #cfcfcf,
-    hint-item-active-background-color: #cfcfcf,
     hint-item-active-outline-offset: 0,
-    hint-item-active-outline-offset: 0,
-    hint-item-active-outline: none,
     hint-item-active-outline: none,
     hint-item-active-text-color: $darker,
-    hint-item-active-text-color: $darker,
-    hint-item-active-type-text-color: $darker,
     hint-item-active-type-text-color: $darker,
     hint-item-border-bottom-color: $darker,
-    hint-item-border-bottom-color: $darker,
-    hint-item-hover-background-color: $medium-dark,
     hint-item-hover-background-color: $medium-dark,
     hint-keyword-text-color: #B58318,
-    hint-keyword-text-color: #B58318,
-    hint-no-link-background-color: $medium-dark,
     hint-no-link-background-color: $medium-dark,
     hint-text-color: $light,
-    hint-text-color: $light,
-    hint-type-text-color: $light,
     hint-type-text-color: $light,
     hint-var-active-border-bottom-color: #DE4A9B,
-    hint-var-active-border-bottom-color: #DE4A9B,
-    hint-var-text-color: #DE4A9B,
     hint-var-text-color: #DE4A9B,
     icon-color: $middle-light,
-    icon-color: $middle-light,
-    icon-hover-color: $lightest,
     icon-hover-color: $lightest,
     icon-toast-hover-color: $lightest,
     ide-border-color: $middle-dark,
@@ -268,27 +196,21 @@ $themes: (
     logo-background-color: $lightest,
     logo-color: $p5js-pink,
     modal-background-color: $dark,
-    modal-background-color: $dark,
-    modal-border-color: $middle-dark,
     modal-border-color: $middle-dark,
     modal-button-color: $lightest,
     nav-border-color: $middle-dark,
     nav-hover-color: $p5js-pink,
     preferences-button-background-color: $middle-dark,
-    preferences-button-background-color: $middle-dark,
     preferences-warning-color: $yellow,
     primary-text-color: $lightest,
     progress-bar-active-color: $p5js-active-pink,
-    progress-bar-active-color: $p5js-active-pink,
-    progress-bar-background-color: $middle-gray,
     progress-bar-background-color: $middle-gray,
     search-background-color: $darker,
     search-clear-background-color: $medium-dark,
     search-hover-background-color: $p5js-pink,
     search-hover-text-color: $lightest,
     secondary-text-color: $medium-light,
     shadow-color: rgba(0, 0, 0, 0.16),
-    shadow-color: rgba(0, 0, 0, 0.16),
     table-button-active-color: $lightest,
     table-button-background-active-color: #00A1D3,
     table-button-background-color: $middle-gray,
@@ -304,21 +226,16 @@ $themes: (
   ),
   contrast: (
     admonition-background: #000000,
-    admonition-background: #000000,
-    admonition-border: #22C8ED,
     admonition-border: #22C8ED,
     admonition-text: #ffffff,
-    admonition-text: #ffffff,
     background-color: $darker,
     button-active-color: $dark,
-    button-active-color: $dark,
     button-background-active-color: $yellow,
     button-background-color: $dark,
     button-background-hover-color: $yellow,
     button-border-color: $middle-dark,
     button-color: $light,
     button-hover-color: $dark,
-    button-hover-color: $dark,
     button-nav-inactive-color: $light,
     button-secondary-background-color: $medium-dark,
     codefold-icon-closed: url("../images/triangle-arrow-right-white.svg?byUrl"),
@@ -335,59 +252,32 @@ $themes: (
     file-hover-color: $dark,
     file-selected-color: $medium-dark,
     form-navigation-options-color: $middle-light,
-    form-navigation-options-color: $middle-light,
     form-secondary-title-color: $medium-light,
-    form-secondary-title-color: $medium-light,
-    form-title-color: $lightest,
     form-title-color: $lightest,
     heavy-text-color: $yellow,
     hint-arrow-background-active-color: #F5DC23,
-    hint-arrow-background-active-color: #F5DC23,
     hint-arrow-background-color: #F5DC23DD,
-    hint-arrow-background-color: #F5DC23DD,
-    hint-arrow-color: $darker,
     hint-arrow-color: $darker,
     hint-arrow-focus-outline-color: $lighter,
-    hint-arrow-focus-outline-color: $lighter,
-    hint-background-color: $darkest,
     hint-background-color: $darkest,
     hint-fun-active-border-bottom-color: none,
-    hint-fun-active-border-bottom-color: none,
-    hint-fun-text-color: #00FFFF,
     hint-fun-text-color: #00FFFF,
     hint-inline-text-color-light: $middle-gray,
-    hint-inline-text-color-light: $middle-gray,
-    hint-inline-text-color: #cfcfcf,
     hint-inline-text-color: #cfcfcf,
     hint-item-active-background-color: unset,
-    hint-item-active-background-color: unset,
-    hint-item-active-outline-offset: -2px,
     hint-item-active-outline-offset: -2px,
     hint-item-active-outline: 2px solid $lighter,
-    hint-item-active-outline: 2px solid $lighter,
-    hint-item-active-text-color: $lighter,
     hint-item-active-text-color: $lighter,
     hint-item-active-type-text-color: $lighter,
-    hint-item-active-type-text-color: $lighter,
-    hint-item-border-bottom-color: $medium-dark,
     hint-item-border-bottom-color: $medium-dark,
     hint-item-hover-background-color: $dark,
-    hint-item-hover-background-color: $dark,
     hint-keyword-text-color: #F5DC23,
-    hint-keyword-text-color: #F5DC23,
-    hint-no-link-background-color: $medium-dark,
     hint-no-link-background-color: $medium-dark,
     hint-text-color: $medium-light,
-    hint-text-color: $medium-light,
-    hint-type-text-color: $middle-light,
     hint-type-text-color: $middle-light,
     hint-var-active-border-bottom-color: none,
-    hint-var-active-border-bottom-color: none,
-    hint-var-text-color: #FFA9D9,
     hint-var-text-color: #FFA9D9,
     icon-color: $medium-light,
-    icon-color: $medium-light,
-    icon-hover-color: $yellow,
     icon-hover-color: $yellow,
     icon-toast-hover-color: $yellow,
     ide-border-color: $middle-dark,
@@ -402,27 +292,21 @@ $themes: (
     logo-background-color: $darker,
     logo-color: $yellow,
     modal-background-color: $dark,
-    modal-background-color: $dark,
-    modal-border-color: $middle-dark,
     modal-border-color: $middle-dark,
     modal-button-color: $dark,
     nav-border-color: $middle-dark,
     nav-hover-color: $yellow,
     preferences-button-background-color: $medium-light,
-    preferences-button-background-color: $medium-light,
     preferences-warning-color: $yellow,
     primary-text-color: $lightest,
     progress-bar-active-color: $p5js-active-pink,
-    progress-bar-active-color: $p5js-active-pink,
-    progress-bar-background-color: $middle-gray,
     progress-bar-background-color: $middle-gray,
     search-background-color: $darker,
     search-clear-background-color: $medium-dark,
     search-hover-background-color: $yellow,
     search-hover-text-color: $dark,
     secondary-text-color: $lighter,
     shadow-color: rgba(0, 0, 0, 0.16),
-    shadow-color: rgba(0, 0, 0, 0.16),
     table-button-active-color: $dark,
     table-button-background-active-color: #00FFFF,
     table-button-background-color: $middle-gray,