miscellaneous stuff, document changing dark/light themes