var add_css_list = function (element,names) {
console.log(element)
var label = $('').text('Css:');
var select = $('')
.addClass('ui-widget-content')
.append($('').attr('value', 'style.min').text('default'));
element.append(label).append(select);
select.change(function() {
var val = $(this).val()
$('link:nth(7)').attr('href','/static/css/'+val+'.css')
});
for (var i=0; i').attr('value', name).text(name));
}
};
add_css_list(IPython.toolbar.element,['duck','dark'])