improve devtools looks somewhat and make them work up to current nightly
[themes.git] / LCARStrek / devtools / light-theme.css
2016-05-22 Robert Kaisermove devtools to separate directory, make HTML-based...