return 'background-' + color_to_css((i&0x10000) | ((i&0xff00) >> 8));
};
var stylize = function (txt, style) {
- if (txt.length == 0 || style == 0) {
+ if (txt.length == 0 || style == 0x000007) {
return txt
}
css = ''
for (i in term.text) {
div = $('<div>');
txt = ''
- a = 0;
+ a = 0x000007;
for (j in term.text[i]) {
if (term.attributes[i][j] != a) {
if (txt.length) {