Optimize display of trick

Author: sy-records

include/layout.inc

@@ -566,7 +566,7 @@ function get_news_changes()
 function doc_toc($lang): void {
     $file = __DIR__ . "/../manual/$lang/toc/index.inc";
     if (!file_exists($file)) {
-        $lang = "en"; // Fallback on english if the translation doesn't exist
+        $lang = "en"; // Fallback on English if the translation doesn't exist
         $file = __DIR__ . "/../manual/en/toc/index.inc";
     }
     require __DIR__ . "/../manual/$lang/toc/index.inc";

styles/theme-base.css

@@ -1337,7 +1337,10 @@ div.soft-deprecation-notice blockquote.sidebar {
     height: 100%;
     width: 100%;
     position: fixed;
-    top: 64px;
+    top: 0;
+    overflow-y: auto;
+    -webkit-overflow-scrolling: touch;
+    overscroll-behavior: contain;
     z-index: 5000;
 }
 #goto div,
@@ -1351,6 +1354,14 @@ div.soft-deprecation-notice blockquote.sidebar {
     display: inline-block;
     vertical-align: top;
 }
+#trick dt {
+    margin: .5rem 0 .25rem;
+    line-height: 1.4;
+}
+#trick dd {
+    margin: 0 0 .75rem 1rem;
+    line-height: 1.6;
+}
 #trick a {
     color: #E6E6E6;
     display: block;

styles/theme-medium.css

@@ -467,7 +467,7 @@ div.warning a:focus {
   right: 0;
   bottom: 0;
   left: 0;
-  z-index: 1030;
+  z-index: 5001;
 
   justify-content: center;