remove unnecessary vertical scrolling code blocks

Author: williamdemeo

build-tools/static/md/mkdocs/docs/css/custom.css

@@ -196,11 +196,6 @@ body.reveal-agda-source pre.Agda.hidden-source {
 .md-main__inner {
   max-width: 78rem;  /* default ~72rem */
 }
-/* Make Agda code blocks scroll horizontally instead of overflowing. */
-.md-content pre.Agda {
-  white-space: pre;
-  overflow-x: auto;
-}
 /* Tighten sidebars slightly. */
 .md-sidebar--secondary {
   width: 14rem; /* default ~15rem */