code: function checkOpenDetails() {
          if (docma.location.hash) {
              var elem = $('details#' + $.escapeSelector(docma.location.hash));
              if (elem && elem[0]) elem.attr('open', '');
          }
      }
docs: If location hash is set and we have <details/> element with a matching
  ID, we'll open/expand that node.
  @private