merge conflicts
[arvados.git] / 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"];