title: CSS font stack names in multiple character sets
body: <p>E.g. for Korean, the "Dotum" font name is also written as "돋움". Is it necessary to use a font stack such as the following:</p>
  
  <pre><code>body {
     font-family: "돋움", "Dotum", sans-serif;
  }
  </code></pre>
  
  <p>This would presumably account for users who have the Korean-named version installed, but not the Romanized-name version, and vice-versa.</p>
  
  <p>If this is the case, should "Dotum" fall back to "돋움" or the other way around?</p>
  
  <p>EDIT for clarity:</p>
  
  <p>Is it necessary to specify both the Korean-named version and the Roman-named version of a given Korean font in a font-stack? Follow up: Which version is more common?</p>