title: Google Chrome Dev Tools - can't work out font-family
body: <p>I've got the following bit of text on a website:</p>
  
  <p><img src="https://i.stack.imgur.com/uH4D5.png" alt="caption"></p>
  
  <p>which, when I select in Dev Tools and filter by font-family, gives me the following:</p>
  
  <p><img src="https://i.stack.imgur.com/WXWcO.png" alt="Dev Tools snippet 1"></p>
  
  <p>and, further down:</p>
  
  <p><img src="https://i.stack.imgur.com/LYZGP.png" alt="enter image description here"></p>
  
  <p>Why are all the font-family attributes greyed out and how is this piece of text getting its font?</p>
  
  <p>==== UPDATE</p>
  
  <p>Just to clarify, I don't see a <code>font</code> attribute being set either. Shouldn't this element inherit from <code>body</code>? If so, why don't I see that in Dev Tools?</p>
  
  <p>==== UPDATE 2</p>
  
  <p>Looking in the Computed tab I see at the top:</p>
  
  <p><img src="https://i.stack.imgur.com/sm6Nk.png" alt="Dev Tools Computed tab top"></p>
  
  <p>and at the bottom:</p>
  
  <p><img src="https://i.stack.imgur.com/X8DB6.png" alt="Dev Tools Computed tab bottom"></p>
  
  <p>I assume the font is Courier 13. But:</p>
  
  <ol>
  <li><p>what is the Show inherited properties checkbox?</p></li>
  <li><p>what are all the lines below "font-family: monospaced, serif"?</p></li>
  <li><p>and how is that Courier 13 font being chosen (from one of those Style sheet entries in point 2 above)?  </p></li>
  </ol>