Color-Theme update to match main site for consistency

_quarto.yml

@@ -17,8 +17,8 @@ website:
   navbar:
     logo: "assets/images/turing-logo.svg"
     logo-href: https://turinglang.org/
-    background: "#073c44"
-    foreground: "#ffffff"
+    # background: "#073c44"
+    # foreground: "#ffffff"
     left:
       - href: getting-started/
         text: Get Started
@@ -117,10 +117,10 @@ website:
               - developers/inference/implementing-samplers/index.qmd
 
   page-footer:
-    background: "#073c44"
+    #background: "#073c44"
     left: |
-      Turing is created by <a href="http://mlg.eng.cam.ac.uk/hong/" target="_blank">Hong Ge</a>, and lovingly maintained by the <a href="https://github.com/TuringLang/Turing.jl/graphs/contributors" target="_blank">core team</a> of volunteers. <br>
-      The contents of this website are © 2024 under the terms of the <a href="https://github.com/TuringLang/Turing.jl/blob/main/LICENCE" target="_blank">MIT License</a>.
+      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>
+      © 2025 under the terms of the <a href="https://github.com/TuringLang/Turing.jl/blob/master/LICENCE" target="_blank">MIT License</a>.
 
     right:
       - icon: twitter

theming/styles.css

@@ -44,3 +44,4 @@
     max-height: 250px;
     overflow: scroll;
 }
+

theming/theme-dark.scss

@@ -5,49 +5,50 @@
 $theme: "cosmo" !default;
 
 // Manually-added colors
-
-$background-nav: #192222;
-$background-body: #131818;
-$foreground: #1bb3ac;
-$links:#2aa198;
+$background-nav: #22272e;
+$background-body: #1c2128;
+$foreground: #ffffff;
+$links: #34b8bf;
 $links-hover: #31dce6;
-$code-background-color: #172424;
+$code-background-color: #22272e;
 $li: #bcbcbc;
+$text-muted: #848d97;
 
 // Quarto default colors
+// Updated gray-900, teal, and cyan to match the main site's theme.
 
-$white:    #ffffff !default;
+$white: #ffffff !default;
 $gray-100: #f8f9fa !default;
 $gray-200: #e9ecef !default;
 $gray-300: #dee2e6 !default;
 $gray-400: #ced4da !default;
 $gray-500: #adb5bd !default;
 $gray-600: #868e96 !default;
 $gray-700: #495057 !default;
-$gray-800: #373a3c !default;
-$gray-900: #212529 !default;
-$black:    #000000 !default;
-
-$indigo:  #6610f2 !default;
-$purple:  #613d7c !default;
-$pink:    #e83e8c !default;
-$red:     #ff0039 !default;
-$orange:  #f0ad4e !default;
-$yellow:  #ff7518 !default;
-$green:   #3fb618 !default;
-$teal:    #20c997 !default;
-$cyan:    #9954bb !default;
-
-$primary:       $links-hover !default;
-$secondary:     $gray-800 !default;
-$success:       $green !default;
-$info:          $cyan !default;
-$warning:       $yellow !default;
-$danger:        $red !default;
-$light:         $gray-100 !default;
-$dark:          $gray-800 !default;
-
-$min-contrast-ratio:   2.6 !default;
+$gray-800: #22272e !default;
+$gray-900: #1c2128 !default; // Updated from #212529
+$black: #000000 !default;
+
+$indigo: #6610f2 !default;
+$purple: #613d7c !default;
+$pink: #e83e8c !default;
+$red: #ff0039 !default;
+$orange: #f0ad4e !default;
+$yellow: #ff7518 !default;
+$green: #3fb618 !default;
+$teal: #4DB6AC !default; // Updated from #20c997
+$cyan: #39d3d7 !default; // Updated from #9954bb
+
+$primary: $links-hover !default;
+$secondary: $gray-800 !default;
+$success: $green !default;
+$info: $cyan !default;
+$warning: $yellow !default;
+$danger: $red !default;
+$light: $gray-100 !default;
+$dark: $gray-800 !default;
+
+$min-contrast-ratio: 2.6 !default;
 
 // Options
 
@@ -56,20 +57,20 @@ $enable-rounded: false !default;
 // Fonts
 
 // stylelint-disable-next-line value-keyword-case
-$font-family-sans-serif:    "Source Sans Pro", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol" !default;
-$headings-font-weight:      400 !default;
+$font-family-sans-serif: "Source Sans Pro", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol" !default;
+$headings-font-weight: 400 !default;
 
 // Tables
 
-$table-color:               initial !default;
+$table-color: initial !default;
 
 // Alerts
 
-$alert-border-width:            0 !default;
+$alert-border-width: 0 !default;
 
 // Progress bars
 
-$progress-height:               .5rem !default;
+$progress-height: .5rem !default;
 
 
 // Custom tweaks for Quarto-Cosmo 
@@ -81,23 +82,35 @@ $footer-fg: $foreground;
 $body-color: $white;
 $body-bg: $background-body;
 
-a, pre code {
+/*-- scss:rules --*/
+
+pre code {
     color: $links !important;
 }
 
 pre {
     color: $foreground !important;
 }
-a:hover {
-    color: $links-hover !important;
+
+a {
+    color: $links;
+
+    &:hover {
+        color: $links-hover !important;
+    }
 }
 
-code, p code, ol code, li code, h1 code {
+code,
+p code,
+ol code,
+li code,
+h1 code {
     background-color: $code-background-color !important;
     color: $links;
 }
 
-.cell, .anchored code {
+.cell,
+.anchored code {
     background-color: $code-background-color !important;
     color: $links;
 }
@@ -110,7 +123,7 @@ li {
     color: $li !important;
 }
 
-.menu-text:hover {   
+.menu-text:hover {
     color: $links-hover !important;
 }
 
@@ -122,9 +135,10 @@ p {
     color: #6c757d !important;
 }
 
-.ansi-bright-black-fg{
+.ansi-bright-black-fg {
     color: $foreground !important;
 }
+
 ::selection {
     color: $links-hover;
     background: $background-nav;
@@ -133,5 +147,13 @@ p {
 
 .tooltip {
     --bs-tooltip-color: $black !important;
-    --bs-tooltip-bg: $white !important;
+    // --bs-tooltip-bg: $white !important;
 }
+
+.aa-DetachedOverlay li.aa-Item[aria-selected=true] .search-item * {
+    color: white !important;
+}
+
+.aa-List li.aa-Item[aria-selected="true"] * {
+    background-color: #4DB6AC !important;
+}