fixed the favicon and image on top left fix on all 4 sites

Author: antedotee

.github/workflows/deploy.yml

@@ -157,13 +157,12 @@ jobs:
             lang = rel.split(os.sep, 1)[0]
             prefix = f"{base_path}/{lang}" if base_path else f"/{lang}"
 
-            favicon_path = f"{prefix}/assets/images/favicon.png"
-            favicon_ico_path = f"{prefix}/assets/images/favicon.ico"
+            favicon_path = f"{prefix}/assets/images/favicon-76x76.png"
             
             # Replace favicon link tags
             content = re.sub(
               r'<link[^>]*rel=["\'](?:shortcut )?icon["\'][^>]*>',
-              f'<link rel="icon" href="{favicon_ico_path}">\n    <link rel="icon" type="image/png" href="{favicon_path}">',
+              f'<link rel="icon" href="{favicon_path}" type="image/png">',
               content,
               flags=re.IGNORECASE
             )
@@ -173,7 +172,7 @@ jobs:
               # Insert before </head>
               content = re.sub(
                 r'(</head>)',
-                f'    <link rel="icon" href="{favicon_ico_path}">\n    <link rel="icon" type="image/png" href="{favicon_path}">\n\\1',
+                f'    <link rel="icon" href="{favicon_path}" type="image/png">\n\\1',
                 content,
                 flags=re.IGNORECASE
               )
@@ -200,6 +199,7 @@ jobs:
                 <meta charset="utf-8" />
                 <meta name="viewport" content="width=device-width, initial-scale=1" />
                 <meta http-equiv="refresh" content="0; url=./en/" />
+                <link rel="icon" href="./en/assets/images/favicon-76x76.png" type="image/png" />
                 <link rel="canonical" href="./en/" />
                 <title>omegaUp Documentation</title>
                 <script>

build_all.py

@@ -87,6 +87,7 @@ def main():
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <meta http-equiv="refresh" content="0; url=./en/" />
+    <link rel="icon" href="./en/assets/images/favicon-76x76.png" type="image/png" />
     <link rel="canonical" href="./en/" />
     <title>omegaUp Documentation</title>
     <script>

docs/en/assets/images/favicon-76x76.png

@@ -75,7 +75,7 @@
 }
 
 /* Fix logo rendering on homepage - prevent cropping */
-.md-typeset img[alt*="omegaUp Logo"],
+.md-typeset img[alt*="Logotipo"],
 .md-typeset img[src*="omegaup.svg"],
 .md-typeset img[src*="omegaup.png"] {
   max-width: 100%;

docs/es/assets/images/favicon-76x76.png

@@ -75,7 +75,7 @@
 }
 
 /* Fix logo rendering on homepage - prevent cropping */
-.md-typeset img[alt*="omegaUp Logo"],
+.md-typeset img[alt*="Logotipo"],
 .md-typeset img[src*="omegaup.svg"],
 .md-typeset img[src*="omegaup.png"] {
   max-width: 100%;

docs/es/stylesheets/omegaup-theme.css

@@ -75,7 +75,7 @@
 }
 
 /* Fix logo rendering on homepage - prevent cropping */
-.md-typeset img[alt*="omegaUp Logo"],
+.md-typeset img[alt*="Logotipo"],
 .md-typeset img[src*="omegaup.svg"],
 .md-typeset img[src*="omegaup.png"] {
   max-width: 100%;

docs/pt-BR/assets/images/favicon-76x76.png

@@ -7,6 +7,7 @@
 """
 
 import http.server
+import re
 import socketserver
 import os
 import sys
@@ -16,11 +17,39 @@
 ROOT = Path(__file__).parent
 SITE_DIR = ROOT / "site"
 
+
+def _warn_if_favicon_href_mismatch():
+    """Partial single-language rebuilds leave other site/<lang>/ trees stale (wrong favicon, assets)."""
+    hrefs = {}
+    for lang in ("en", "es", "pt", "pt-BR"):
+        idx = SITE_DIR / lang / "index.html"
+        if not idx.is_file():
+            continue
+        text = idx.read_text(encoding="utf-8", errors="replace")
+        for tag in re.finditer(r"<link\b[^>]*>", text, re.IGNORECASE):
+            t = tag.group(0)
+            if not re.search(r'rel\s*=\s*["\']icon["\']', t, re.IGNORECASE):
+                continue
+            hm = re.search(r'href\s*=\s*(["\'])([^"\']+)\1', t, re.IGNORECASE)
+            if hm:
+                hrefs[lang] = hm.group(2)
+            break
+    unique = set(hrefs.values())
+    if len(unique) > 1:
+        print(
+            "Warning: <link rel=\"icon\"> href differs between languages (stale site/ output).\n"
+            "  Run: python3 build_all.py\n"
+            f"  Seen: {hrefs}"
+        )
+
+
 if not SITE_DIR.exists():
     print(f"Error: {SITE_DIR} does not exist.")
     print("Please build the site first using: zensical build")
     sys.exit(1)
 
+_warn_if_favicon_href_mismatch()
+
 os.chdir(SITE_DIR)
 
 PORT = 8000