title: How does jQuery UI's tabs demo hide the dotted focus box?
body: <p>If you go to <a href="http://jqueryui.com/demos/tabs/" rel="nofollow">the jQuery UI tabs demo</a>, when you click on one or another tab, the styles change appropriately, and in particular, you don't get the annoying dotted line focus box that wrecks the look of the tab header.</p>
  
  <p>However, that functionality doesn't seem to be included in the Javascript or CSS for the tabs. The annoying focus box appears on the page I'm developing, and I'm not the only one; it also appears on a <strike><a href="http://jquery-ui.googlecode.com/svn/trunk/demos/tabs/vertical.html" rel="nofollow">sample vertical tabs demo</a></strike> that another question linked to (edit Feb 4/13: that link is broken now. :( &nbsp; ).</p>
  
  <p>I've looked through both the code given on the demo page <em>and</em> that page's full source code, its CSS page and the current version of the jQuery UI tabs code and can't work out how it's doing that.</p>
  
  <p>My best guess is that it's somehow done by fiddling with the size of one of the box properties of the &lt;li&gt; or &lt;a&gt; elements in the tab headers, but I'm really not seeing it.</p>
  
  <p>If you know how it's done, how clearly can you explain it, please?</p>
  
  <p>ETA: Prompted by a couple of questions, I just checked further and it only seems to be happening in Firefox 8.0.1 (and earlier? Hard to say.) - no other browsers seem to show the focus box on that site; does that mean it's a (since-fixed) Firefox bug? Even so, that doesn't really explain why it's happening on one page and not another.</p>
  
  <p>ETA (2): I genuinely appreciate people's suggestions on how <em>I</em> would/should do it, but I should clarify that that's not what I'm asking. I've read elsewhere (mostly in other questions here) about ways to get rid of that box, and am familiar with the ones I've seen so far (again, without being less appreciative of the effort and thought). What I'm interested in is how it's being done in the jQuery UI tabs demo specifically, because - as far as I can find - it's not doing any of those things.</p>
  
  <p>Edit, Feb 4, 2013:
  When I go to the jQuery UI tabs demo, I now see the dotted line around the element inside the tabs. I don't know whether it was a deficiency in the browser I was using when I saw the phenomenon (seems likely, as not many other people seemed to see it), or what. In any case, I guess the question is moot.</p>
  
  <p>I genuinely appreciate everyone who took the time to venture an answer. Thank you!</p>