use details+summary for topbar to avoid copy-paste issue on mobile#271

Tom-Willemsen merged 2 commits intomainISISComputingGroup/WebDashboard:mainfrom

details_summary_for_topbarISISComputingGroup/WebDashboard:details_summary_for_topbarCopy head branch name to clipboard