284 …FAMILY;var f=document.createElement("div");f.style.fontFamily=c;f.style.fontSize=Math.round(b)+"px…
461 …it:10,fontColor:"#000000",fontBackgroundColor:null,fontBorderColor:null,fontSize:mxConstants.DEFAU…
468 …olor=a};mxAbstractCanvas2D.prototype.setFontSize=function(a){this.state.fontSize=parseFloat(a)};mx…
489 …Size=function(a){if(this.textEnabled){if(this.compressed){if(this.state.fontSize==a)return;mxAbstr…
512 …fontSize?(k=k==mxConstants.ALIGN_TOP?1:k==mxConstants.ALIGN_BOTTOM?0:.3,e=g==mxConstants.ALIGN_RIG…
513 d.fontFamily),g.setAttribute("font-size",Math.round(d.fontSize)+"px"),"start"!=e&&g.setAttribute("t…
549 …t-size: "+a.fontSize+"px; font-family: "+a.fontFamily+"; color: "+a.fontColor+"; line-height: "+(m…
553 …xt=function(a,b,c,d,e,f,g,k,l,m,n,p){n=null!=n?n:0;k=this.state;var q=k.fontSize,r=this.createElem…
560 …onstants.ABSOLUTE_LINE_HEIGHT?m.fontSize*mxConstants.LINE_HEIGHT+"px":mxConstants.LINE_HEIGHT,n.st…
699 …HEIGHT?this.size*mxConstants.LINE_HEIGHT+"px":mxConstants.LINE_HEIGHT;a.fontSize=this.size+"px";a.…
1091 …normal";this.textarea.style.fontStyle=l?"italic":"";this.textarea.style.fontSize=Math.round(d)+"px…
1992 …;d+=4){var k=document.createElement("div");k.style.height="4px";k.style.fontSize="1px";k.style.lin…
2076 …createElement("div");n.style.padding="0px";n.style.margin="0px";n.style.fontSize="18px";n.style.pa…
2080 …");g=document.createElement("td");g.setAttribute("colspan","2");g.style.fontSize="10pt";g.appendCh…
2081 ….setAttribute("type","checkbox");g=document.createElement("td");g.style.fontSize="10pt";g.appendCh…
2082 …"disabled");q.style.width="50px";g=document.createElement("td");g.style.fontSize="10pt";g.appendCh…
2089 …fontSize="10pt";mxUtils.write(p,mxResources.get("paperSize")+":");g.appendChild(p);p=document.crea…
2107 …w="ellipsis";u.style.textAlign="right";u.style.maxWidth="100px";u.style.fontSize="10pt";u.style.wi…
2110 …w="ellipsis",u.style.textAlign="right",u.style.maxWidth="100px",u.style.fontSize="10pt",u.style.wi…
2150 …tName(Graph.stripQuotes(d.fontFamily)),C.toolbar.setFontSize(parseInt(d.fontSize))));b=!1},0))};mx…
2154 …us.prototype.defaultFont),this.toolbar.setFontSize(k.currentVertexStyle.fontSize||Menus.prototype.…
2158 …urrentVertexStyle.fontFamily||"Helvetica",d=String(k.currentVertexStyle.fontSize||"12"),f=k.getVie…
2203 …alAlign="top";f.style.fontWeight="bold";f.style.marginTop="8px";f.style.fontSize="14px";f.style.co…
2583 …ernateText=function(b,d,f,c,e,g,l,k,m,q,n,H,z){if(null!=g&&0<this.state.fontSize)try{mxUtils.isNod…
2584 …tTextWithWhitespace(ca.childNodes));for(var da=Math.ceil(2*c/this.state.fontSize),Ta=[],sa=0,ya=0;…
2617 "px":mxConstants.LINE_HEIGHT;this.textarea.style.fontSize=Math.round(c)+"px";this.textarea.style.te…
2619 Math.round(c*mxConstants.LINE_HEIGHT)+"px":mxConstants.LINE_HEIGHT;this.textarea.style.fontSize=Mat…
3359 …Height:20,barGap:4,topPadding:50,leftPadding:75,gridLineStartPadding:35,fontSize:11,fontFamily:'"O…  property in EditorUi.defaultMermaidConfig.gantt
3371 Editor.defaultHtmlFont,m.style.fontSize="9pt",m.style.padding="6px",m.style.paddingLeft="10px",m.st…
3455 …erHTML="<span>+</span>";var e=c.getElementsByTagName("span")[0];e.style.fontSize="18px";e.style.ma…
3514 …ateElement("a");m.style.paddingLeft="12px";m.style.color="gray";m.style.fontSize="11px";m.style.cu…
4056 …#d0d0d0";m.style.backgroundColor="#eee";m.style.fontFamily=Editor.defaultHtmlFont;m.style.fontSize=
4058 …ition="fixed",n.div.style.fontFamily=Editor.defaultHtmlFont,n.div.style.fontSize="11px",n.div.styl…