rename dark theme colors

Author: Filip Łukasik

scaladoc/resources/dotty_res/styles/new-colors.css

@@ -162,156 +162,156 @@
 */
 :root.theme-dark {
 
-  --dark-grey1: #161618;
-  --dark-grey2: #1C1C1F;
-  --dark-grey3: #232326;
-  --dark-grey4: #28282C;
-  --dark-grey5: #2E2E32;
-  --dark-grey6: #34343A;
-  --dark-grey7: #3E3E44;
-  --dark-grey8: #504F57;
-  --dark-grey9: #706F78;
-  --dark-grey10: #7E7D86;
-  --dark-grey11: #A09FA6;
-  --dark-grey12: #EDEDEF;
+  --grey1: #161618;
+  --grey2: #1C1C1F;
+  --grey3: #232326;
+  --grey4: #28282C;
+  --grey5: #2E2E32;
+  --grey6: #34343A;
+  --grey7: #3E3E44;
+  --grey8: #504F57;
+  --grey9: #706F78;
+  --grey10: #7E7D86;
+  --grey11: #A09FA6;
+  --grey12: #EDEDEF;
 
   /* red colors */
-  --dark-red1: #1F1315;
-  --dark-red2: #291415;
-  --dark-red3: #3C181A;
-  --dark-red4: #481A1D;
-  --dark-red5: #541B1F;
-  --dark-red6: #671E22;
-  --dark-red7: #822025;
-  --dark-red8: #AA2429;
-  --dark-red9: #E5484D;
-  --dark-red10: #F2555A;
-  --dark-red11: #FF6369;
-  --dark-red12: #FEECEE;
+  --red1: #1F1315;
+  --red2: #291415;
+  --red3: #3C181A;
+  --red4: #481A1D;
+  --red5: #541B1F;
+  --red6: #671E22;
+  --red7: #822025;
+  --red8: #AA2429;
+  --red9: #E5484D;
+  --red10: #F2555A;
+  --red11: #FF6369;
+  --red12: #FEECEE;
 
   /* crimson colors */
-  --dark-crimson1: #1D1418;
-  --dark-crimson2: #27141C;
-  --dark-crimson3: #3C1827;
-  --dark-crimson4: #481A2D;
-  --dark-crimson5: #541B33;
-  --dark-crimson6: #641D3B;
-  --dark-crimson7: #801D45;
-  --dark-crimson8: #AE1955;
-  --dark-crimson9: #E93D82;
-  --dark-crimson10: #F04F88;
-  --dark-crimson11: #F76190;
-  --dark-crimson12: #FEECF4;
+  --crimson1: #1D1418;
+  --crimson2: #27141C;
+  --crimson3: #3C1827;
+  --crimson4: #481A2D;
+  --crimson5: #541B33;
+  --crimson6: #641D3B;
+  --crimson7: #801D45;
+  --crimson8: #AE1955;
+  --crimson9: #E93D82;
+  --crimson10: #F04F88;
+  --crimson11: #F76190;
+  --crimson12: #FEECF4;
 
   /* purple colors */
-  --dark-purple1: #1B141D;
-  --dark-purple2: #221527;
-  --dark-purple3: #301A3A;
-  --dark-purple4: #3A1E48;
-  --dark-purple5: #432155;
-  --dark-purple6: #4E2667;
-  --dark-purple7: #5F2D84;
-  --dark-purple8: #7938B2;
-  --dark-purple9: #8E4EC6;
-  --dark-purple10: #9D5BD2;
-  --dark-purple11: #BF7AF0;
-  --dark-purple12: #F7ECFC;
+  --purple1: #1B141D;
+  --purple2: #221527;
+  --purple3: #301A3A;
+  --purple4: #3A1E48;
+  --purple5: #432155;
+  --purple6: #4E2667;
+  --purple7: #5F2D84;
+  --purple8: #7938B2;
+  --purple9: #8E4EC6;
+  --purple10: #9D5BD2;
+  --purple11: #BF7AF0;
+  --purple12: #F7ECFC;
 
   /* indigo colors */
-  --dark-indigo1: #131620;
-  --dark-indigo2: #15192D;
-  --dark-indigo3: #192140;
-  --dark-indigo4: #1C274F;
-  --dark-indigo5: #1F2C5C;
-  --dark-indigo6: #22346E;
-  --dark-indigo7: #273E89;
-  --dark-indigo8: #2F4EB2;
-  --dark-indigo9: #3E63DD;
-  --dark-indigo10: #5373E7;
-  --dark-indigo11: #849DFF;
-  --dark-indigo12: #EEF1FD;
+  --indigo1: #131620;
+  --indigo2: #15192D;
+  --indigo3: #192140;
+  --indigo4: #1C274F;
+  --indigo5: #1F2C5C;
+  --indigo6: #22346E;
+  --indigo7: #273E89;
+  --indigo8: #2F4EB2;
+  --indigo9: #3E63DD;
+  --indigo10: #5373E7;
+  --indigo11: #849DFF;
+  --indigo12: #EEF1FD;
 
   /* sky colors */
-  --dark-sky1: #0C1820;
-  --dark-sky2: #071D2A;
-  --dark-sky3: #082636;
-  --dark-sky4: #082D41;
-  --dark-sky5: #08354C;
-  --dark-sky6: #083E59;
-  --dark-sky7: #064B6B;
-  --dark-sky8: #005D85;
-  --dark-sky9: #68DDFD;
-  --dark-sky10: #8AE8FF;
-  --dark-sky11: #8AE8FF;
-  --dark-sky12: #EAF8FF;
+  --sky1: #0C1820;
+  --sky2: #071D2A;
+  --sky3: #082636;
+  --sky4: #082D41;
+  --sky5: #08354C;
+  --sky6: #083E59;
+  --sky7: #064B6B;
+  --sky8: #005D85;
+  --sky9: #68DDFD;
+  --sky10: #8AE8FF;
+  --sky11: #8AE8FF;
+  --sky12: #EAF8FF;
 
   /* mint colors */
-  --dark-mint1: #081917;
-  --dark-mint2: #05201E;
-  --dark-mint3: #052926;
-  --dark-mint4: #04312C;
-  --dark-mint5: #033A34;
-  --dark-mint6: #01453D;
-  --dark-mint7: #00564A;
-  --dark-mint8: #006D5B;
-  --dark-mint9: #70E1C8;
-  --dark-mint10: #95F3D9;
-  --dark-mint11: #25D0AB;
-  --dark-mint12: #E7FCF7;
+  --mint1: #081917;
+  --mint2: #05201E;
+  --mint3: #052926;
+  --mint4: #04312C;
+  --mint5: #033A34;
+  --mint6: #01453D;
+  --mint7: #00564A;
+  --mint8: #006D5B;
+  --mint9: #70E1C8;
+  --mint10: #95F3D9;
+  --mint11: #25D0AB;
+  --mint12: #E7FCF7;
 
    /* grass colors */
-   --dark-grass1: #0D1912;
-   --dark-grass2: #0F1E13;
-   --dark-grass3: #132819;
-   --dark-grass4: #16301D;
-   --dark-grass5: #193921;
-   --dark-grass6: #1D4427;
-   --dark-grass7: #245530;
-   --dark-grass8: #2F6E3B;
-   --dark-grass9: #46A758;
-   --dark-grass10: #55B467;
-   --dark-grass11: #63C174;
-   --dark-grass12: #E5FBEB;
+   --grass1: #0D1912;
+   --grass2: #0F1E13;
+   --grass3: #132819;
+   --grass4: #16301D;
+   --grass5: #193921;
+   --grass6: #1D4427;
+   --grass7: #245530;
+   --grass8: #2F6E3B;
+   --grass9: #46A758;
+   --grass10: #55B467;
+   --grass11: #63C174;
+   --grass12: #E5FBEB;
 
    /* lime colors */
-   --dark-lime1: #141807;
-   --dark-lime2: #181D08;
-   --dark-lime3: #1E260D;
-   --dark-lime4: #252E0F;
-   --dark-lime5: #262F0F;
-   --dark-lime6: #344213;
-   --dark-lime7: #415215;
-   --dark-lime8: #536716;
-   --dark-lime9: #99D52A;
-   --dark-lime10: #C4F042;
-   --dark-lime11: #87BE22;
-   --dark-lime12: #EFFBDD;
+   --lime1: #141807;
+   --lime2: #181D08;
+   --lime3: #1E260D;
+   --lime4: #252E0F;
+   --lime5: #262F0F;
+   --lime6: #344213;
+   --lime7: #415215;
+   --lime8: #536716;
+   --lime9: #99D52A;
+   --lime10: #C4F042;
+   --lime11: #87BE22;
+   --lime12: #EFFBDD;
 
    /* yellow colors */
-   --dark-yellow1: #1C1500;
-   --dark-yellow2: #221A00;
-   --dark-yellow3: #2C2100;
-   --dark-yellow4: #352800;
-   --dark-yellow5: #3E3000;
-   --dark-yellow6: #493C00;
-   --dark-yellow7: #594A05;
-   --dark-yellow8: #705E00;
-   --dark-yellow9: #F5D90A;
-   --dark-yellow10: #FFEF5C;
-   --dark-yellow11: #F0C000;
-   --dark-yellow12: #FFFAD1;
+   --yellow1: #1C1500;
+   --yellow2: #221A00;
+   --yellow3: #2C2100;
+   --yellow4: #352800;
+   --yellow5: #3E3000;
+   --yellow6: #493C00;
+   --yellow7: #594A05;
+   --yellow8: #705E00;
+   --yellow9: #F5D90A;
+   --yellow10: #FFEF5C;
+   --yellow11: #F0C000;
+   --yellow12: #FFFAD1;
 
    /* orange colors */
-   --dark-orange1: #1F1206;
-   --dark-orange2: #2B1400;
-   --dark-orange3: #391A03;
-   --dark-orange4: #441F04;
-   --dark-orange5: #4F2305;
-   --dark-orange6: #5F2A06;
-   --dark-orange7: #763205;
-   --dark-orange8: #943E00;
-   --dark-orange9: #F76808;
-   --dark-orange10: #FF802B;
-   --dark-orange11: #FF8B3E;
-   --dark-orange12: #FEEADD;
+   --orange1: #1F1206;
+   --orange2: #2B1400;
+   --orange3: #391A03;
+   --orange4: #441F04;
+   --orange5: #4F2305;
+   --orange6: #5F2A06;
+   --orange7: #763205;
+   --orange8: #943E00;
+   --orange9: #F76808;
+   --orange10: #FF802B;
+   --orange11: #FF8B3E;
+   --orange12: #FEEADD;
 }