+
+ var r = [
+ 'font-family:' + style.font.family,
+ 'font-weight:normal',
+ 'font-style:normal',
+ 'font-stretch:normal',
+ 'font-variant:normal'
+ ];
+ if (style.font.size !== null ) {
+ r.push('font-size: ' + style.font.size + 'px')
+ }
+
+ return r.join(';')
+