Make different theme files for different OS's

Signed-off-by: Mike McClurg <mike.mcclurg@citrix.com>