Load OS-dependent style sheets

There's now one stylesheet for Windows, one for Mac, and one for Linux.
Mac is not done but Linux just needs a few tweaks.