List theme files in OTHER_FILES for convenience
Simplify theme palettes
WIP: get rid of TextDocument color properties