The new visual theme picker is awesome! Thank you! We can finally "dim the lights". Although, black and, specially, blue fonts, on a dark background, are hard on the eyes. Is there some sort of editable CSS like file that we can tune?
The quick answer is to look in the files in this folder:
plugins\com.google.dart.tools.deploy_0.2.8.r15948\themes
(where r15948
is the version of the editor)
This contains a series of xml files - one per theme, where you can edit the relevant color values.