Removed new styles of Simon, Updated tons of CSS to match new theme

We will create new PR for Simon's new style

Author: shravanngoswamii

_quarto.yml

@@ -40,7 +40,7 @@ website:
     #background: "#073c44"
     left: |
       Turing is created by <a href="http://mlg.eng.cam.ac.uk/hong/" target="_blank">Hong Ge</a>, and maintained by the <a href="/team" target="_blank">core team of developers</a>. <br>
-      © 2024 under the terms of the <a href="https://github.com/TuringLang/Turing.jl/blob/master/LICENCE" target="_blank">MIT License</a>.
+      © 2025 under the terms of the <a href="https://github.com/TuringLang/Turing.jl/blob/master/LICENCE" target="_blank">MIT License</a>.
 
   back-to-top-navigation: true
   repo-url: https://github.com/TuringLang/turinglang.github.io/

theming/theme-dark.scss

@@ -10,13 +10,11 @@ $theme: "cosmo" !default;
 $background-nav: #22272e;
 $background-body: #1c2128; // Using the darker background from new theme
 $foreground: #ffffff;
-$foreground-dark: #22272e;
 $links: #34b8bf;
 $links-hover: #31dce6;
 
 // Text colors
-$body-color: #cdd9e5; // Using new theme color for better readability
-$text-muted: #848d97;
+$text-muted: #bcbcbc;
 $li-color: #bcbcbc;
 
 // Landing Page specific colors
@@ -57,11 +55,6 @@ $body-bg: $background-body;
 /*-- scss:rules --*/
 
 // --- Global Styles ---
-body {
-    background-color: $background-body;
-    color: $body-color;
-}
-
 p {
     color: $text-muted !important;
 }
@@ -78,29 +71,6 @@ a {
     }
 }
 
-
-// --- Component Styles ---
-
-// Navbar
-.navbar {
-    background-color: $background-nav !important;
-}
-
-.navbar .nav-link,
-.navbar .navbar-brand {
-    color: $foreground !important;
-
-    &:hover {
-        color: $links-hover !important;
-    }
-}
-
-// Footer
-.footer {
-    background-color: $background-nav !important;
-    color: $foreground !important;
-}
-
 // Landing Page Buttons
 .button {
     background-color: transparent !important;
@@ -141,7 +111,7 @@ a {
 
 // Misc Quarto and site-specific rules
 .quarto-title-banner {
-    background-color: $foreground-dark !important;
+    background-color: $background-nav !important;
 }
 
 .title {