如何将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

已启动绑定here。

正如ckuijjer所说，Unsafe模块是添加不存在的属性/元素的正确方法。当然，缺少的那个应该归功于tyxml。 ：）

Answer 2

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

查看Ocsigen FAQ（查找“缺少某些HTML5元素或属性。我该怎么办？”）似乎如果使用TyXML库，则可以使用低不安全接口{{3} }。但坦率地说，我对Eliom一无所知。