Replace header image extension with webp

This commit is contained in:
Lucien Cartier-Tilet 2020-12-21 20:29:25 +01:00
parent 4cd74fd9b4
commit 9632b008ac
Signed by: phundrak
GPG Key ID: BD7789E705CB8DCA

View File

@ -3,7 +3,7 @@ import 'dart:html'
import './navbar.dart' show makeNavbar; import './navbar.dart' show makeNavbar;
const image_header = '/img/icon.png'; const image_header = '/img/icon.webp';
Future<Element> makeHeader() async { Future<Element> makeHeader() async {
var header = Element.tag('header'); var header = Element.tag('header');