Remove back to top button

It's kind of ugly and weird, and probably not necessary. I might add it
back in the future if it's actually needed again.

assets/css/bobastyle.css

@@ -361,23 +361,6 @@ h1 svg.icon {
 
 /* }}} */
 
-/* Back to top {{{ */
-#top {
-  font-size: 0;
-}
-#back-to-top {
-  position: fixed;
-  float: right;
-  bottom: 25px;
-  right: 25px;
-  background-color: var(--background-1);
-  color: var(--text-1);
-  border-radius: 100%;
-  padding: 12px;
-  display: none;
-}
-/* }}} */
-
 /* Skip to main content {{{ */
 #skip-to-main {
   position: absolute;
@@ -989,10 +972,6 @@ aside.quote {
   .table-of-contents.print {
     display: block;
   }
-
-  #back-to-top {
-    display: none !important;
-  }
 }
 
 /* }}} */

assets/js/bobatheme.js

@@ -1,13 +1,3 @@
-// back to top
-const backToTop = document.getElementById("back-to-top");
-window.onscroll = function() {
-    if (document.body.scrollTop > 100 || document.documentElement.scrollTop > 100) {
-        backToTop.style.display = "block";
-    } else {
-        backToTop.style.display = "none";
-    }
-}
-
 // code block copy to clipboard
 window.onload = () => {
     document.querySelectorAll(".code-block").forEach(codeBlock => {