/* File dedicated to custom attributes */
/* Get more info here : https://pypi.org/project/mkdocs-custom-tags-attributes/ */