Use full Serena logo in dashboard

src/serena/resources/dashboard/dashboard.css

@@ -43,15 +43,16 @@
 body {
     font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
     margin: 0;
-    padding: 20px;
-    padding-top: 130px;
     background-color: var(--bg-primary);
     color: var(--text-primary);
     transition: background-color 0.3s ease, color 0.3s ease;
 }
 
+.main {
+    padding: 20px;
+}
+
 .header {
-    position: fixed;
     top: 0;
     left: 0;
     right: 0;
@@ -72,7 +73,7 @@ body {
 }
 
 .logo-container img {
-    max-width: 300px;
+    max-width: 250px;
     height: auto;
     display: block;
 }

src/serena/resources/dashboard/dashboard.js

@@ -993,9 +993,9 @@ class Dashboard {
         const logoElement = document.getElementById('serena-logo');
         if (logoElement) {
             if (theme === 'dark') {
-                logoElement.src = 'serena-logs-dark-mode.png';
+                logoElement.src = 'serena-logo-dark-mode.svg';
             } else {
-                logoElement.src = 'serena-logs.png';
+                logoElement.src = 'serena-logo.svg';
             }
         }
     }

src/serena/resources/dashboard/index.html

@@ -38,7 +38,7 @@
             </div>
         </nav>
     </header>
-
+    <div class="main">
     <!-- Overview Page (Landing) -->
     <div id="page-overview" class="page-view">
         <div class="overview-container">
@@ -184,6 +184,7 @@
         </div>
     </div>
 
+    </div> <!-- End of Main -->
     <script>
         $(document).ready(function () {
             const dashboard = new Dashboard();