rem: text.setAttribute("font-size", 0.9); text.setAttribute("y", 0.3); 
add: text.setAttribute("font-size", 0.7); text.setAttribute("y", 0.2); 
context: function makeDieText(owner, face) {  var text = document.createElementNS(svgNS, "text");  text.setAttribute("text-anchor", "middle");  text.setAttribute("font-family", "sans-serif");  text.setAttribute("font-weight", "bold");  text.setAttribute("font-size", 0.9);  text.setAttribute("y", 0.3);  // TO DO: figure out text color from background color,  // i.e. light on dark or dark on light  if (owner == 1) text.setAttribute("fill", "white");  text.textContent = face;  return text;}
meta: 3078	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3078/57e123213136cd2df89aa8c163460ab5af2df27d/main.js/clean/ui/main.js