Line 1:
Line 1:
<div style="position:sticky; position: -webkit-sticky; top:0px; padding:0.1em; padding-right:0.6em; border-radius:0.0em; background-color:#000000; color:#ffffff; text-align:right;">
<div style="position:sticky; position: -webkit-sticky; top:0px; padding:0.1em; padding-right:0.6em; border-radius:0.0em; background-color:#000000; color:#ffffff; text-align:right;">
+
<!--
<span id="button_show_only_stable" style="cursor:pointer;">Stable</span> |
<span id="button_show_only_stable" style="cursor:pointer;">Stable</span> |
<span id="button_show_only_testing" style="cursor:pointer;">Testing</span>
<span id="button_show_only_testing" style="cursor:pointer;">Testing</span>
+
-->
<span id="button_show_only_v5" style="cursor:pointer;">V5</span> |
<span id="button_show_only_v5" style="cursor:pointer;">V5</span> |
<span id="button_show_only_v4" style="cursor:pointer;">V4</span> |
<span id="button_show_only_v4" style="cursor:pointer;">V4</span> |
<span id="button_show_only_touch" style="cursor:pointer;">Touch-only</span>
<span id="button_show_only_touch" style="cursor:pointer;">Touch-only</span>
</div>
</div>