diff --git a/gradle.properties b/gradle.properties
index 211afe6..cb129d9 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -34,7 +34,7 @@ kotlin.native.cacheKind.linuxX64=none
 # On this environment, the system JDK 21 installation lacks `jlink`, causing
 # :lynglib:androidJdkImage to fail. Point Gradle to JDK 17 which includes `jlink`.
 # This affects only the JDK Gradle runs with; Kotlin/JVM target remains compatible.
-org.gradle.java.home=/usr/lib/jvm/java-17-openjdk-amd64
+#org.gradle.java.home=/usr/lib/jvm/java-17-openjdk-amd64
 android.experimental.lint.migrateToK2=false
 android.lint.useK2Uast=false
 kotlin.mpp.applyDefaultHierarchyTemplate=true
\ No newline at end of file
diff --git a/site/src/jsMain/resources/icons/lyng-favicon.svg b/site/src/jsMain/resources/icons/lyng-favicon.svg
new file mode 100644
index 0000000..2cc5da5
--- /dev/null
+++ b/site/src/jsMain/resources/icons/lyng-favicon.svg
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- Lyng favicon: scalable SVG that adapts to light/dark themes -->
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" role="img" aria-label="Lyng favicon">
+  <style>
+    :root { color-scheme: light dark; color: #000; }
+    @media (prefers-color-scheme: dark) { :root { color: #fff; } }
+    .mark { fill: currentColor; }
+    .math { font-family: 'STIX Two Math', 'Cambria Math', 'Times New Roman', serif; }
+  </style>
+  <g class="mark math">
+    <!-- Keep favicon legible: lambda with superscript y only -->
+    <text x="3" y="17" font-size="16" font-weight="700">λ</text>
+    <text x="11.2" y="8" font-size="9">y</text>
+  </g>
+</svg>
diff --git a/site/src/jsMain/resources/icons/lyng-mark.svg b/site/src/jsMain/resources/icons/lyng-mark.svg
new file mode 100644
index 0000000..eef595c
--- /dev/null
+++ b/site/src/jsMain/resources/icons/lyng-mark.svg
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" role="img" aria-label="Lyng mark: lambda with superscript y">
+  <style>
+    :root { color-scheme: light dark; color: #000; }
+    @media (prefers-color-scheme: dark) { :root { color: #fff; } }
+    .mark { fill: currentColor; }
+    .math { font-family: 'STIX Two Math', 'Cambria Math', 'Times New Roman', serif; }
+  </style>
+  <g class="mark math">
+    <text x="3" y="17" font-size="16" font-weight="700">λ</text>
+    <text x="11.2" y="8" font-size="9">y</text>
+  </g>
+</svg>
diff --git a/site/src/jsMain/resources/index.html b/site/src/jsMain/resources/index.html
index cacc43e..06fdc28 100644
--- a/site/src/jsMain/resources/index.html
+++ b/site/src/jsMain/resources/index.html
@@ -21,6 +21,8 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <title>Lyng language</title>
+    <!-- Site favicon (SVG, adapts to light/dark) -->
+    <link rel="icon" type="image/svg+xml" href="icons/lyng-favicon.svg" />
     <!-- GitHub Markdown CSS (light and dark). We toggle these from the app. -->
     <link
       id="md-light"
@@ -189,7 +191,15 @@
     <nav class="navbar navbar-expand-lg bg-body-tertiary fixed-top border-bottom" role="navigation" aria-label="Primary">
       <div class="container-fluid">
         <a class="navbar-brand d-flex align-items-center gap-2" href="#">
-          <i class="bi bi-braces-asterisk"></i>
+          <!-- Inline SVG brand icon: λ with superscript y and subscript ng. Uses currentColor to match theme. -->
+          <svg xmlns="http://www.w3.org/2000/svg" width="30" height="30" viewBox="0 0 24 24" role="img" aria-hidden="true">
+            <g fill="currentColor" color="inherit" font-family="'STIX Two Math', 'Cambria Math', 'Times New Roman', serif">
+              <!-- Main lambda -->
+              <text x="3" y="17" font-size="16" font-weight="700">λ</text>
+              <!-- Superscript y -->
+              <text x="11.2" y="8" font-size="10">y</text>
+            </g>
+          </svg>
           Lyng
         </a>
         <button