Fix header placeholder size

This commit is contained in:
Kenneth Bruen 2023-01-23 05:03:08 +01:00
parent c180e56584
commit 32facdbd72
Signed by: kbruen
GPG key ID: C1980A470C3EE5B1
2 changed files with 5 additions and 3 deletions

View file

@ -77,7 +77,7 @@ header {
left: env(titlebar-area-x, 0); left: env(titlebar-area-x, 0);
top: env(titlebar-area-y, 0); top: env(titlebar-area-y, 0);
width: env(titlebar-area-width, 100%); width: env(titlebar-area-width, 100%);
height: env(titlebar-area-height, 36px); min-height: env(titlebar-area-height, 36px);
-webkit-app-region: drag; -webkit-app-region: drag;
app-region: drag; app-region: drag;
@ -88,7 +88,9 @@ header {
} }
.header-placeholder { .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 { header.embedded {

2
sw.js
View file

@ -1,4 +1,4 @@
const VERSION = 'v30' const VERSION = 'v31'
const API_ORIGIN = 'https://scraper.infotren.dcdev.ro/' const API_ORIGIN = 'https://scraper.infotren.dcdev.ro/'
const API_TRAINS = `${API_ORIGIN}v3/trains` const API_TRAINS = `${API_ORIGIN}v3/trains`
const API_STATIONS = `${API_ORIGIN}v3/stations` const API_STATIONS = `${API_ORIGIN}v3/stations`