Simpler expand widget

[Simran-B]

Description

Simpler markup and shortcode implementation, with the added benefits that the expansion is natively handled by the browser and the in-page search opens the details automatically if the content contains a match.

• Remove expand partial and use <details> element instead.
• Combine CSS rules for .openapi-prop and generic <details> styling
• Rename expand shortcode to details, and the title parameter to summary
• Remove 4 second wait time from arangoproxy OpenAPI validation

Please check the following:

• Program options with expandable details
• OpenAPI properties that can be expanded (also nested)
• The output of generated examples
• Manual use of the expand (now details) shortcode, like the Predefined roles in ArangoGraph access control and the Batch HTTP API examples

They all worked fine in my test, and there are basically no visual oder behavioral changes.

Upstream PRs

• 3.10:
• 3.11:
• 3.12:
• 3.13:

[arangodb-docs-automation]

Deploy Preview Available Via
https://deploy-preview-786--docs-hugo.netlify.app

[nerpaula]

LGTM!