options: {

    // Property: theme
    //   window theme, uses the window manager theme as default
    theme:         null,