diff clipkit_repo/docs/_templates/sidebar-top.html @ 0:49b058e85902 draft

"planemo upload for repository https://github.com/jlsteenwyk/clipkit commit cbe1e8577ecb1a46709034a40dff36052e876e7a-dirty"
author padge
date Fri, 25 Mar 2022 13:04:31 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/clipkit_repo/docs/_templates/sidebar-top.html	Fri Mar 25 13:04:31 2022 +0000
@@ -0,0 +1,31 @@
+<!-- Global site tag (gtag.js) - Google Analytics -->
+<script async src="https://www.googletagmanager.com/gtag/js?id=UA-169242151-1"></script>
+<script>
+  window.dataLayer = window.dataLayer || [];
+  function gtag(){dataLayer.push(arguments);}
+  gtag('js', new Date());
+
+  gtag('config', 'UA-169242151-1');
+</script>
+
+<link href='http://fonts.googleapis.com/css?family=Oxygen:300,400,700' rel='stylesheet'>
+<script async defer src="https://buttons.github.io/buttons.js"></script>
+
+{% if prerelease %}
+    <script>
+        $(document).ready(function() {
+            $('body').prepend('<div id="dev-warning">Warning: This is the documentation for a pre-release version of ClipKIT.</div>')
+        });
+    </script>
+{% endif %}
+
+<div id="logo">
+    <center>
+        <a href="{{ pathto(master_doc) }}"><img src="{{ pathto('_static/img/sidebar_logo_sphnix.jpg', 1) }}" height="150" alt="ClipKIT logo"/></a>
+    </center>
+</div>
+
+<div id="gh-buttons">
+    <a class="github-button" href="https://github.com/jlsteenwyk/clipkit" aria-label="View jlsteenwyk/clipkit on GitHub" data-style="mega">Source</a>
+    <a class="github-button" href="https://github.com/jlsteenwyk/clipkit/issues" data-icon="octicon-issue-opened" aria-label="Issue jlsteenwyk/clipkit on GitHub" data-style="mega">Issue</a>
+</div>
\ No newline at end of file