update css_selector to work with require

+add xkcd style
This commit is contained in:
Matthias BUSSONNIER
2013-07-19 15:57:56 +02:00
parent 843d91c9b0
commit dff7b51ba7
2 changed files with 39 additions and 25 deletions
+18
View File
@@ -0,0 +1,18 @@
@font-face {
font-family: "xkcd";
src: url('http://antiyawn.com/uploads/Humor-Sans.ttf');
}
div.cell {
border: 2px solid black;
margin-top: 10px;
margin-bottom: 10 px;
}
.CodeMirror {font-family: xkcd; font-size: 120%}
.rendered_html {font-family: xkcd; font-size: 120%}
pre, code {font-family: xkcd; font-size: 120%}
.rendered_html table {border: 2px solid black;}
.rendered_html tr {border: 2px solid black;}
.rendered_html th {border: 2px solid black; padding: 0.45em 1em;}
.rendered_html td {border: 2px solid black; padding: 0.45em 1em;}
div.prompt {font-family: xkcd; font-size: 120%}
div.output_area pre {font-family: xkcd; font-size: 120%}
+21 -25
View File
@@ -1,35 +1,31 @@
define(["require"], function(require) {
"use strict";
//console.log('here 1');
console.log('indefine')
var add_css_list = function (element,names) {
// console.log(element)
var label = $('<label/>').text('Css:');
var select = $('<select/>')
.addClass('ui-widget-content')
.append($('<option/>').attr('value', 'style.min').text('default'));
.append($('<option/>').attr('value', 'default').text('default'));
element.append(label).append(select);
// select.change(function() {
// var val = $(this).val()
// if (val == 'default'){
// $('.extracss').remove();
// return
// }
// var link = $('<link/>')
// .attr('href',require.toUrl('./css/'+val+'.css'))
// .attr('rel','stylesheet')
// .attr('type','text/css')
// .attr('class','extracss')
//
// $('head').append(link)
// });
// for (var i=0; i<names.length; i++) {
// var name = names[i];
// select.append($('<option/>').attr('value', name).text(name));
// }
select.change(function() {
var val = $(this).val()
if (val === 'default'){
$('.extracss').remove();
return
}
var link = $('<link/>')
.attr('href',require.toUrl('./css/'+val+'.css'))
.attr('rel','stylesheet')
.attr('type','text/css')
.attr('class','extracss')
$('head').append(link)
});
for (var i=0; i<names.length; i++) {
var name = names[i];
select.append($('<option/>').attr('value', name).text(name));
}
};
//console.log('here 2')
add_css_list(IPython.toolbar.element,['duck','dark'])
add_css_list(IPython.toolbar.element,['duck','dark','xkcd'])
});