strong><a style="color: #27ae60;">' + ver + '</a></strong>';
                }
                else {
                    elem.innerHTML = '<a href="/padl/'+ver+'">'+ver+'</a>';
                }
                verList.append(elem);
            })
          } else {
          }
        }
    </script>
  </div>
<script>
      jQuery(function () {
          SphinxRtdTheme.Navigation.enable(true);
      });
  </script> 

</body>
</html>