From 32facdbd72f98358c282a0249c16ee41ad20b2ed Mon Sep 17 00:00:00 2001 From: Dan Cojocaru Date: Mon, 23 Jan 2023 05:03:08 +0100 Subject: [PATCH] Fix header placeholder size --- base.css | 6 ++++-- sw.js | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/base.css b/base.css index 78584c3..46140c8 100644 --- a/base.css +++ b/base.css @@ -77,7 +77,7 @@ header { left: env(titlebar-area-x, 0); top: env(titlebar-area-y, 0); width: env(titlebar-area-width, 100%); - height: env(titlebar-area-height, 36px); + min-height: env(titlebar-area-height, 36px); -webkit-app-region: drag; app-region: drag; @@ -88,7 +88,9 @@ header { } .header-placeholder { - margin-top: env(titlebar-area-height, 36px); + box-sizing: border-box; + height: max(env(titlebar-area-height, 36px), 42px); + margin-bottom: 2px; } header.embedded { diff --git a/sw.js b/sw.js index 3d1cbf8..6a598f9 100755 --- a/sw.js +++ b/sw.js @@ -1,4 +1,4 @@ -const VERSION = 'v30' +const VERSION = 'v31' const API_ORIGIN = 'https://scraper.infotren.dcdev.ro/' const API_TRAINS = `${API_ORIGIN}v3/trains` const API_STATIONS = `${API_ORIGIN}v3/stations`