\if{html}{\out{<div><div class="w3-bar">}
  <<buttons>>
\out{</div>}}
<<tabs>>
\if{html}{\out{</div>}}