// marks row containing URL anchor. needs JQuery
sS hjs_markRowMagic(O... _) {
  optPar S color = "#99f";
  ret hjs(replaceDollarVars([[
    var rowMagic_hash = window.location.hash.substr(1);
    if (rowMagic_hash)
      $("a[name=" + rowMagic_hash + "]").closest('tr').css({ 'background-color' : '$color'});
  ]], +color));
}