add red color
authorJanicki Artur <artur.janicki@contractors.roche.com>
Mon, 23 Jul 2018 09:12:04 +0000 (11:12 +0200)
committerJanicki Artur <artur.janicki@contractors.roche.com>
Mon, 23 Jul 2018 09:12:04 +0000 (11:12 +0200)
Feature #13797

Arvados-DCO-1.1-Signed-off-by: Janicki Artur <artur.janicki@contractors.roche.com>

src/common/custom-theme.ts

index f412024a3613e20854ba3cf8954b250b31fe2b1e..c85acd9089b0011ac2a819068b55d1ce5fd35688 100644 (file)
@@ -19,7 +19,7 @@ export interface ArvadosTheme extends Theme {
     customs: any;
 }
 
-// const red = 
+const red900 = red["900"];
 const yellow700 = yellow["700"];
 const purple800 = purple["800"];
 const grey200 = grey["200"];