WordPress plugin that adds device-specific class names to the body tag