title: Why does this CSS ID selector include the element type?
body: <p>in some CSS code I found out this type of selector</p>
  
  <pre><code>div#someid
  </code></pre>
  
  <ol>
  <li><p>Is this formally correct?</p></li>
  <li><p>If the answer to (1) is YES, what's the need for the <strong>div</strong> selector before the #someid, shouldn't the <strong>id</strong> be unique in a valid web page?</p></li>
  </ol>
  
  <p>Thanks!</p>