{{/* An expandable section, and tabs, from one template. `<details>` needs no script; siblings sharing a
     `group` become mutually exclusive through the native `name` attribute, which is what tabs are. A
     browser too old for grouping simply opens them independently — the content is never hidden. */}}
{{define "details"}}<details{{with .Args.group}} name="{{.}}"{{end}}{{if .Args.open}} open{{end}}>
<summary>{{with .Args.summary}}{{.}}{{else}}{{with $.Args.title}}{{.}}{{else}}{{t $.Lang "details"}}{{end}}{{end}}</summary>
{{.Body}}</details>{{end}}