From 9632b008aca1b1e5a1b882851bb96c9fc12e8d6a Mon Sep 17 00:00:00 2001
From: Lucien Cartier-Tilet <lucien@phundrak.com>
Date: Mon, 21 Dec 2020 20:29:25 +0100
Subject: [PATCH] Replace header image extension with webp

---
 web/dart/reorganize_html.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/dart/reorganize_html.dart b/web/dart/reorganize_html.dart
index b48d8dd..6390231 100644
--- a/web/dart/reorganize_html.dart
+++ b/web/dart/reorganize_html.dart
@@ -3,7 +3,7 @@ import 'dart:html'
 
 import './navbar.dart' show makeNavbar;
 
-const image_header = '/img/icon.png';
+const image_header = '/img/icon.webp';
 
 Future<Element> makeHeader() async {
   var header = Element.tag('header');