Revert aside change

Author: hojberg

src/css/code/definition-doc.css

@@ -295,7 +295,7 @@
 
 .definition-doc aside {
   position: absolute;
-  right: -18rem;
+  right: -17rem;
   width: 15rem;
   font-size: var(--font-size-small);
   background: var(--color-doc-aside-bg);