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