Added fixes towards new worker deployment

2021-11-17 01:49:06 +01:00
parent 00ba0638a6
commit 0cf166fdf9
14 changed files with 389 additions and 104 deletions
@@ -16,6 +16,12 @@ const theme = createMuiTheme({
    surfaceColor: "#27292d",
    inputColor: "#383B40",
    borderRadius: 5,
+		jsonTheme: "brewer",
+		reactJsonStyle: {
+			borderRadius: 5,
+			border: "1px solid rgba(255,255,255,0.7)",
+			padding: 5, 
+		},
    textFieldStyle: {
      backgroundColor: "#383B40",
      borderRadius: 5,