Updated the style of the menu, removed useless CSS

assets/css/override.css

@@ -5,6 +5,21 @@
   * You should not modify this file.
   */
 
+/* Enable smooth scrolling for footnotes. */
+
+html {
+    scroll-behavior: smooth;
+}
+
+
+ol > li > ::first-line {
+line-height: 3.1em;
+
+}
+/*
+  * Dark theme  
+  */
+
 @media (prefers-color-scheme: dark) {
   body {
     color: #eee;