ject_indent: true,
        object_border: true,
        table_zebrastyle: true,
        table_border: true
      });
    }

    document.getElementById('theme_switcher').addEventListener('change', function() {
      theme = this.value || '';
      var mapping = {
        barebones: '',
        html: '',
        bootstrap2: 'https://netdna.bootstrapcdn.com/twitter-bootstrap/2.3.2/css/bootstrap-combined.min.css',
        bootstrap3: 'https://netdna.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css',
    