MediaWiki:Common.js: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 333: Line 333:
   var font = (n%2)?"serif":"sans";
   var font = (n%2)?"serif":"sans";
   var k = Math.exp(-0.16*n);
   var k = Math.exp(-0.16*n);
   str += "<div style='font-size:"+(1.4*size*k+6)+"px; margin-left:"+(size*(n*0.5 + 12-12*k))+"px; font-family:"+font+"; color:RGB(0,"+(255-255*k)+",0); padding:0.1em 0; line-height:1.08em'>"+(lines[j].substr(n)||"&nbsp;")+"</div>";
   str += "<div style='font-size:"+(1.4*size*k+6)+"px; margin-left:"+(size*(n*0.5 + 12-12*k))+"px; font-family:"+font+"; color:RGB(0,"+(255-255*k)+",0); padding:0.125em 0; line-height:1.08em'>"+(lines[j].substr(n)||"&nbsp;")+"</div>";
   }
   }
   e[i].innerHTML = str;
   e[i].innerHTML = str;