如何将 Bootstrap 与 Eliom 集成

Question

我正在尝试在 Eliom 框架中使用 Bootstrap，但我无法弄清楚如何正确使用某些 html 属性。以引导程序网站 （http://getbootstrap.com/components/#btn-groups） 中的以下代码为例：

<div class="btn-group" role="group" aria-label="...">
<button type="button" class="btn btn-default">Left</button>
<button type="button" class="btn btn-default">Middle</button>
<button type="button" class="btn btn-default">Right</button>
</div>

我不知道如何在 Eliom 中复制role和aria-label的属性。它们未列在 type base_attributes 、 type button_attrib 或 type common （http://ocsigen.org/tyxml/3.4/api/Html5_types#TYPEcommon） 下。上面的代码可以在 Eliom 中复制吗？

Answer 1

此处开始绑定。

正如 ckuijjer 所说，不安全模块是添加不存在的属性/元素的正确方法。当然，缺少的应该贡献给tyxml。:)

Answer 2

role 和 aria-... 属性用于提供提示，以增强残障人士的可访问性（请参阅 MDN 上的这篇 ARIA 文章）。根据可访问性要求，您必须决定是否需要它们，Bootstrap的样式和JavaScript组件不依赖于它们。

查看 Ocsigen FAQ（查找"缺少某些 HTML5 元素或属性。我能做什么？似乎如果使用 TyXML 库，则可以使用低不安全接口Html5_sigs。T.不安全。但坦率地说，我对埃利姆一无所知。