Function renderTools

website/src/scripts/pages/tools.ts:86–90

(tools: Tool[])

}

function renderTools(tools: Tool[]): void {
  const container = document.getElementById("tools-list");
  if (!container) return;
  container.innerHTML = renderToolsHtml(tools);
}

function syncUrlState(): void {
  updateQueryParams({