   </div>
        <div id="notifications" style= "bottom: 0px; right: 0px; position: fixed; margin-top: 0px; margin-left: 10px; margin-right: 10px; margin-bottom: 0px;  display: block;">
          <div id="notifications_button" style="cursor: pointer;">⇄</div>
        </div>
        <script type="text/javascript">
          function flash_publish() {
            if ($(document).data('notifications') == true) {
              $('#publish').show('fast');
              setTimeout( function() {
               