slight css cleanup, dark theme default