profiling, better concurrency heuristics

Jacky Zhao

2023-08-09 cea6834fef54da59fc1692d1db0221b93793238f

 quartz/theme.ts

@@ -60,5 +60,4 @@
  --highlight: ${theme.colors.darkMode.highlight};
}
`

}