Changes

<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 class "version_bar">

<!--

<!--

<span id="button_show_only_stable" style="cursor:pointer;">Stable</span> |

<span id="button_show_only_stable" style="cursor:pointer;">Stable</span> |